Daily AI CatchupToday's Catch-up
Sunday, September 6, 2026Reasoning
Claude formally proves Fermat's Last Theorem—a 350-year-old math problem
Anthropic's Claude AI formally verified one of math's most famous unsolved problems in 11 days.
RoboticsOpenAI will build humanoid robots, moving into hardware beyond software
Sam Altman confirms OpenAI's shift into robotics, promising to manufacture humanoid robots.
BenchmarksLlamaIndex's ExtractBench exposes frontier models failing on structured data extraction
GPT-5 and Gemini-3 hit 0% accuracy on wide-schema structured extraction—a real blind spot.
AgentsCohere Labs finds only 2.6% of AI agent tools actually work reliably
ATE Dataset reveals a usability crisis: most agent tools fail in practice.
CodingNVIDIA's Nemotron beats top human coder at the Coding Olympics
NVIDIA's reasoning-focused model outperforms elite human competitors in competitive programming.