AI Daily · Oct 28, 2026 · Wednesday
OpenAI brings in outside experts to check AI-generated maths and physics proofs
AI summary
OpenAI has brought in outside experts to act as shepherds and check proofs its AI has produced in maths, computer science and physics, handling each according to the advice of specialists in that field. The maths and computer science proofs have been translated into Lean, and the computer science result claims to overturn the exponential time hypothesis (ETH).
Model releases
Genie 4: A new generation of world simulation
Genie 4: our new world model unlocking unprecedented realism in real-time simulation.
Build specialized multimodal models with LFM3
LFM3 is our new generation of Liquid Foundation Models (LFMs), built to be the starting point for specialized intelligence. It brings text, vision, audio, omni, and decision models onto one shared backbone, all in the 2B parameter range.
Research
OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics
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.