OpenAI 宣布，其即将推出的模型 GPT 5.6 "Sol" 的一个内部版本在数学和理论计算机科学领域生成了 10 个新颖的结果。这些突破解决了包括球体打包、编码理论和量子复杂性在内的各个领域的长期存在的开放性问题。OpenAI 发布了相关的论文、正式的 Lean 证书和推理演练，以促进数学界的审查和进一步研究。这些发现的计算成本约为 2,000 美元的代币使用费。 AI
影响 展示了 AI 在抽象推理和解决问题方面的先进能力，有可能加速科学发现。
排序理由 前沿实验室模型发布，附带系统卡
AI 生成摘要 · Google Gemini · 来自 4 个来源。 我们如何撰写摘要 →
We’re releasing the manuscripts, formal Lean certificates, and reasoning walkthroughs so mathematicians can examine these results and build on their ideas. https://t.co/oDT2J8F6Ez
The results span sphere packing, coding theory, group theory, quantum complexity, lattice cryptography, extremal combinatorics, and more. Among them: establishing the existence of non-sofic groups and exponential improvements to bounds on high dimensional sphere packing.
Mathematics helps us understand how traffic moves, how diseases spread, and how cells build proteins. It also underpins everyday technologies, from GPS and weather forecasting to medical imaging. Progress in foundational mathematics can ripple across science and technology.
An internal version of our next major model produced 10 new results on long-standing open problems in mathematics and theoretical computer science, using roughly $2,000 worth of tokens at GPT-5.6 Sol API rates. https://t.co/4cgowmPOpY