AI Agents Are Now Doing Original Mathematics — and Rebuilding Software From Binaries
The week in agentic capability Two results landed in the same news cycle in May 2026, and together they mark a shift that is easy to miss if you read them as separate model upgrades. The first is a week-long agent run that formalized a deep theorem in algebraic geometry into roughly 600,000 lines o