1. September 2026
  2. Claude formalizes Fermat's Last Theorem in Lean (anthropic.com)
    AI · · September 5, 2026 · Anthropic · Math · Research
  3. Nvidia buys Hugging Face for $12.9 billion (techcrunch.com)
    AI · · September 5, 2026 · Nvidia · Hugging Face · Open Models
  4. OpenAI agents ran loose on a public wiki for a month (techcrunch.com)
    AI · · September 5, 2026 · OpenAI · Agents · AI safety
  5. Why coding agents are quietly reshaping frontend development (nolanlawson.com)
    AI · · September 4, 2026 · Agents · Engineering · Coding
  6. Astra beats humans on the one ARC-AGI metric that was supposed to hold (arcprize.org)
    AI · · September 4, 2026 · OpenAI · Evaluation · Agents
  7. Reasoning models more than doubled the pace of AI progress, Epoch finds (epoch.ai)
    AI · · September 4, 2026 · Forecasting · Evaluation · Research
  8. OpenAI ships GPT-6 Astra, its answer to Claude Fable (openai.com)
    AI · · September 4, 2026 · OpenAI · Models · Evaluation
  9. K2 Horizon ships six fully open models from 0.9B to 375B (ifm.ai)
    AI · · September 4, 2026 · Open Models · Models · Evaluation
  10. The same model, nine agent harnesses, and a 17x cost gap (frontierharness.org)
    AI · · September 3, 2026 · Agents · Evaluation · Coding
  11. AI agents remove the signal that told you to refactor (rosenfeld.page)
    AI · · September 3, 2026 · Agents · Engineering · Coding