mathlib4

OpenAI announced the solution to ten open problems in mathematics, all discovered by a yet-unreleased model, marking a significant advance in AI's capability to do frontier mathematical research. The …

OpenAI published ten results on long-standing mathematical problems, including high-dimensional sphere packing and Connes's rigidity conjecture, found by an internal model called Astra at a token cost…