OpenAI's AI cracks decade-old math problems, including a major group theory question
Ten advances in mathematics and theoretical computer science
OpenAI has released ten new results in mathematics and theoretical computer science, all achieved by an internal version of its upcoming Astra model. The solutions tackle problems that have been open for at least a decade, including new upper bounds on sphere packing, a disproof of Connes's rigidity conjecture, and a construction of non-sofic groups. The company also published Lean formalizations and model narrations of its thinking process.
We believe attribution should honestly reflect how a result was produced: claiming human authorship for a proof generated entirely by an AI system would misrepresent both the system’s contribution and the nature of genuine human intellectual work.