AI Matters
Why it matters
OpenAI submits claimed math and science proofs for expert review
OpenAI asked external academic experts and a Nobel laureate to verify proofs its AI models generated for long-standing math and science problems.
Why it matters
Verification of these solutions could validate AI as a useful tool for solving complex, unsolved scientific problems.
Latest brief · Oct 28, 2026