Rising1 sources· last seen 13h ago· first seen 13h ago
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 groun
Lead: The DecoderBigness: 29openaidumps372ai-generatedmath
📡 Coverage
10
1 news source
🟠 Hacker News
0
🔴 Reddit
0
📈 Google Trends
83
OpenAI: 83/100
Full methodology: How scoring works
Receipts (all sources)
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
RSS · The Decoder · 13h ago
score 164
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 groun