AI Matters

Why it matters

OpenAI submits claimed math and science proofs for expert review

The Decoder OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics

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.