The Decoder· Maximilian Schreiner·· 6 h ago
OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics
OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics
AI summary
OpenAI says its internal AI models have cracked three major open questions in math, computer science, and physics. One of them is part of a famous Millennium Prize Problem, each of which carries a $1 million prize. Outside experts, including a Nobel laureate, are now checking whether the proofs hold up.
Selection record
Threshold 76Media and individualsFirst 88Second 88
AdmittedSum of both 176 ≥ 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 outside experts check three AI-produced proofs separately and publishes the raw data and Lean proofs, showing how AI research results are verified and where the disputes lie.
- 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