The Decoder· Matthias Bastian·· 9 d ago
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
AI summary
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 ground rather than bring new ideas to life.
Selection record
Threshold 76Media and individualsFirst 78Second 88
AdmittedSum of both 166 ≥ twice the threshold 152
- Source tier
- Media and individuals; this tier's threshold is 76
- Pre-filter
- passed：OpenAI发布AI模型生成的数学证明
- Why it was chosen
- OpenAI has put 372 AI-generated mathematical results straight onto GitHub, opening up a split in the maths world over mass-produced proofs.
- Same event
A model scores each item twice, independently, against one written standard, out of 100. An item is admitted only when the two scores add up to twice the threshold. The threshold is set per source tier.
Source: The Decoder · the-decoder.com