OpenAI Announces Major Scientific Breakthroughs Amid Academic Backlash
OpenAI announced major scientific breakthroughs in math, computer science, and physics—including claims of proving the Kakeya conjecture—while altering its disclosure methods by collaborating with hand-picked domain experts. While the breakthroughs showcase the expanding capabilities of AI in solving foundational scientific problems, OpenAI's restrictive publishing and selective disclosure practices have sparked widespread frustration among researchers who demand open access and peer review. The three breakthroughs include proving the Kakeya conjecture in all dimensions, exploring quantum chromodynamics within the Standard Model of physics, and disproving the Exponential Time Hypothesis in computer science, though verification remains difficult due to restricted access and complex machine-checked proofs.
## BACKGROUND
The Kakeya conjecture is a classic geometric problem concerning the minimum space required to rotate a needle in various directions, which is closely tied to advanced mathematical fields. Lean is an interactive theorem prover or proof assistant used to formalize mathematical statements and verify proofs via a compiler.