Static

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

First reported by The Decoder · 5m ago

The signal ●○○○ Brief pending · reported by The Decoder, the single source so far

What happened

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.

Source description shown. AI brief pending.

AI Dev

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

Related