OpenAI publishes 372 AI-generated math proofs on GitHub, daring academia to keep up
The Decoder · rss · 2026-10-07
OpenAI has published 372 AI-generated mathematical results on GitHub, including Lean formalizations for machine verification, telling the academic world to keep up. 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 ground for research rather than bring new ideas to life.
More from AGI Musings
- After OpenAI's 722 math papers, a framework for which jobs AI automates first — ziv_ravid · 2026-10-07
- Math PhD now feels like swinging a scythe against millions of autonomous harvesters — FlorianGallwitz · 2026-10-07
- Dev observation: our AI outputs are becoming data packets passed agent-to-agent — aloncarmel · 2026-10-07
- Nobel economist Daron Acemoglu: making 100 people 5% more productive beats automating 5% — cen6wkf · 2026-10-07
- NYT Essay: Didi Drivers to DoorDash Workers, the Shared Feeling of Being Harvested by AI's Future — S_OhEigeartaigh · 2026-10-07
- Scott Alexander fires back at Pinker in debate over AI prediction track records — deanwball · 2026-10-07