OpenAI asks outside experts to verify AI math proofs

OpenAI says its internal models have solved three major open problems in math, computer science and physics, one tied to a $1M Millennium Prize problem. Outside experts, including a Nobel laureate, are checking the proofs. If the computer science proof holds, hundreds of papers lose their foundation.

• OpenAI may merge ChatGPT and Codex usage limits2026-11-01
• AI smart glasses can answer 80% of SAT questions, study finds2026-11-01
• OpenAI internal model produced 722 math manuscripts2026-10-31
• OpenAI cuts funding target by $10B; valuation falls to $1.25T2026-10-31
• GPT-5.6 Sol beats Factorio on peaceful mode2026-10-31