Lates News

OpenAI: An internal version of our next-generation primary model has achieved 10 new results on long-standing open problems in the fields of mathematics and theoretical computer science, with a computational cost of approximately $2000 in token expenses calculated based on the GPT-5.6 Sol API rate. We will publish these manuscripts, formal Lean proof certificates, and explanations of the reasoning process for mathematicians to review the results and further develop them based on related research ideas. These results cover areas such as sphere packing, coding theory, group theory, quantum complexity, lattice cryptography, and extremal combinatorics. Among them are: proving the existence of non-sofic groups and achieving exponential improvements on the bounds of high-dimensional sphere packing.