AINewsnow

Researchers are already significantly improving on OpenAI’s recent math results, verified in Lean

This story is from 2026-10-08. It is preserved in the archive; the latest stories are on the live feed.

So much for the “we don’t learn anything from these slop proofs!” excuse https://github.com/CrocSwap/integer-mult-bounds

Read the full story at r/artificial ↗

Timeline · 1 report

  1. 2026-10-08 06:23 · r/artificial
    Researchers are already significantly improving on OpenAI’s recent math results, verified in Lean

More stories

  1. GPT-6 and Intelligent UI for everyone — OpenAI News
  2. Sharing AI progress in mathematics — OpenAI News
  3. OpenAI Decisions API now available on AI Gateway — Vercel Blog
  4. ChatGPT for Teens is an ‘unacceptable risk,’ says Common Sense Media — The Verge AI
  5. Introducing the Decisions API — OpenAI YouTube
  6. The Association for Human Mathematics says OpenAI's new math documents show power, not scholarship, and urges mathematicians to stop working with the company (AHM) — Techmeme
  7. OpenAI agents tried to hack Wikipedia tools and flooded it with traffic — Ars Technica AI
  8. OpenAI will watermark ChatGPT outputs by default—but only in the EU — Ars Technica AI

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