近日，OpenAI发布了一项令人瞩目的成果：其内部通用大语言模型（推测为GPT 5.6）在不到32小时、花费不足1000美元的计算资源下，成功反驳了1946年Erdős提出的著名平面单位距离问题。该成果不仅刷新了数学界对该问题的认知，也展示了通用AI模型在复杂数学推理中的强大能力。
这项研究成果长达125页，其中第39页的关键论证引发了广泛关注。OpenAI团队强调，这是一项反例证明（disproof），虽然没有直接给出完整证明，但已足以推翻该猜想，预示着未来AI在科学研究中更深层次推理的潜力。
数学界对此反应积极，Fields奖得主Timothy Gowers称这是AI首次明确解决一个知名开放数学问题的实例。OpenAI研究员吴洪勋也表示，这标志着内部推理型大语言模型在解决“最难问题”上的里程碑。多位专家认为，这一突破远超此前AI在奥林匹克数学竞赛中的表现，显示出AI在长远推理上的巨大进步。
此外，OpenAI透露该模型尚未被完全挖掘潜力，未来将面向公众开放。此次发布的推理总结庞大，约125页，激发了业界对推理计算资源与效率的讨论，许多观察者认为推理时的计算扩展是当前AI进步的关键路径。
本次突破不仅是数学领域的重大进展，也为AI在科学研究、工程和复杂任务中的应用提供了新的思路和信心。未来，随着模型能力的提升和推理效率的优化，AI有望在更多学科领域实现类似的创新。
相关动态简述
- Cohere发布Command A+模型，采用Apache 2.0开源许可，支持多模态，优化硬件需求，适合企业级部署。
- Google推出Gemini 3.5 Flash和Omni，前者强调速度和成本优势，后者聚焦多模态视频编辑。
- AI代理和记忆系统评测显示当前模型在系统级工程和长上下文记忆方面仍有挑战。
- 社区关注Qwen系列模型发展，期待更多中大型开源模型发布，满足本地推理需求。
此次OpenAI的数学突破不仅刷新了人们对AI推理能力的认知，也为未来AI辅助科学研究开辟了新方向。随着技术不断进步，AI将在更多复杂领域展现出前所未有的潜力。
