AINewsnow

OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up

OpenAI has published 372 AI-generated mathematical results on GitHub, including Lean formalizations for machine verification. Each result consumed about three hours of ChatGPT Pro compute on average. But 25 Fields Medal winners warn that mass-producing mathematical truths could destroy fertile grou…

Read the full story at The Decoder ↗

Timeline · 1 report

  1. 2026-10-07 08:54 · The Decoder
    OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up

More stories

  1. Sharing AI progress in mathematics — OpenAI News
  2. ChatGPT for Teens is an ‘unacceptable risk,’ says Common Sense Media — The Verge AI
  3. Introducing the Decisions API — OpenAI YouTube
  4. Together Link: open models in the harness you already use. Start with one command today. — Together AI Blog
  5. OpenAI will watermark ChatGPT outputs by default—but only in the EU — Ars Technica AI
  6. OpenAI DevDay 2026 Keynote (FULL) — OpenAI YouTube
  7. Decisions API is now available in Public Beta — r/OpenAI
  8. OpenAI launches visual ads that appear alongside image generation results — TechCrunch AI

Get the daily brief of stories like this at 6:30 every morning →