Tagged #ai

Mathematicians will need years to check what the proof machine just wrote

A system produced a 400-page argument for an old conjecture overnight. Verifying it is now a human-sized problem.

Agents could upend food delivery before the apps notice

If an assistant orders dinner for you, the app that spent a decade designing for your thumb may stop mattering.