Tag: Mathematics

  1. AI labs claim their models refuted a core complexity assumption (techcrunch.com)
    AI · · October 29, 2026
  2. AI agents help formalize the Classification of Finite Simple Groups in Lean (cfsg.axiommath.ai)
    AI · · October 28, 2026
  3. A mathematician asks whether AI brings math a golden age or a dark age (terrytao.wordpress.com)
    AI · · October 19, 2026
  4. OpenAI's math proofs don't yet meet mathematicians' standards (techcrunch.com)
    AI · · October 9, 2026
  5. OpenAI publishes 722 AI-generated math manuscripts (github.com)
    AI · · October 7, 2026
  6. Mathematicians form an advisory group as OpenAI claims 100 solved problems (terrytao.wordpress.com)
    AI · · September 22, 2026
  7. One in four math preprints now admits to using AI (epoch.ai)
    AI · · September 20, 2026
  8. A developer used AI agents to prove an open math conjecture (overreacted.io)
    AI · · September 19, 2026
  9. OpenAI claims a Navier-Stokes proof, and a mathematician cries foul (techcrunch.com)
    AI · · September 9, 2026
  10. Agents from rival model families found new math records together (arxiv.org)
    AI · · August 29, 2026
  11. AI's math edge may be memory, not reasoning (davidepiffer.com)
    AI · · August 16, 2026
  12. An OpenAI model disproves a 1946 unit-distance conjecture (openai.com)
    AI · · May 20, 2026
  13. Gemini Deep Think solved open math problems and got a paper into ICLR (deepmind.google)
    AI · · February 11, 2026

← all tags