math-problem

OpenAI 声称在 88 小时内解决了 Navier-Stokes 问题，促使作者分享一张庆祝壁纸。

据报道，GPT-5.6 Sol 通过并行使用64个子代理解决了一个50年未解的数学难题，若经证实，可能改变研发经济学。

一条轻松的推文，关于向配偶解释OpenAI最近的突破（可能解决了一个80年的数学问题），幽默地讨论AGI和ASI导致开始种菜。

OpenAI 声称其新推理模型自主生成了一个原创数学证明，推翻了保罗·埃尔德什（Paul Erdős）一个80年未解的几何猜想。这标志着人工智能首次解决了一个数学领域核心的著名开放问题。