每天听简报，了解最新科技、AI、软件资讯
OpenAI 在 2026 年 10 月 26 日的一串推文里称，模型做出三项结果，分别关于调和分析、计算复杂度和量子场论。他们把文稿称作原始研究数据。数学这项，他们称证明了任意维度的局部平滑猜想，并因此解决 Kakeya 猜想和 Stein 的限制猜想，模型稿和 Lean 证明已经公开。计算机这项，他们称系统证明指数时间假设不成立，随后用 Lean 核过，原始材料也按合作者的要求公开了。物理这项，他们称给出四维里某些含规范场和费米子的量子场论的存在性证明，子问题包括纯杨米尔斯理论的存在性。他们说物理材料何时公开，要听外部合作小组的。这三项都还是他们的发布。
进度保存在本设备 · 登录同步