Major breakthrough: OpenAI says its AI has cracked decades-old problems across mathematics, computer science, and physics, with key proofs formally verified in Lean.

These are original discoveries that could reshape entire fields, from the limits of computation to the mathematical foundations of particle physics. Independent experts are now examining the work; if it holds up, this is a major milestone for AI making new science.