Announcement
OpenAI announces AI-generated results in mathematics, computer science and physics
OpenAI announced three AI-generated discoveries: a local smoothing proof, an Exponential Time Hypothesis disproof and a QCD existence proof.
TLDR
OpenAI says its models proved the local smoothing conjecture, refuted the Exponential Time Hypothesis and produced an existence proof for certain quantum field theories, including QCD. It has released natural-language and Lean proofs for the math and computer science claims. An external group is organizing an open examination of the computer science claim, while the physics group has deferred release of its AI-produced materials.
Combined views
1M
8 Sources, first seen ago
