从证明定理到操作电脑
三条消息里的智能体与推理能力
今天值得关注的三条消息有一个共同点：模型正在从回答问题走向独立完成任务。下面先写来源中的事实，再写我的判断。
OpenAI：三项科学突破的宣称
据 IT之家报道，OpenAI 宣布其 AI 模型在数学、计算机科学和物理学领域取得三项突破。数学方面，模型证明了适用于所有维度的局部光滑猜想，并据此解决了局部光滑猜想与挂谷猜想。计算机科学方面，模型推翻了指数时间假设，这意味着未来可能出现更快的算法。物理方面，涉及量子色动力学与杨–米尔斯理论的严格数学存在性。
我的看法：这些都是 OpenAI 的宣布，我没有看到独立的数学界验证。形式化证明与同行评议通常需要时间，因此在验证完成前，应当把它们当作待检验的结论，而不是定论。
以上结论目前仅来自 OpenAI 的宣布及媒体转述，尚未见到第三方验证。
原文链接：https://www.ithome.com/1/018/203.htm
GPT-6.1 Terra：电脑操作的速度门槛
Greg Brockman 在 X 上表示，Terra 的电脑操作能力已跨过一个质变门槛，他感觉它比自己不借助 AI 时用电脑更快。他引用的 OpenAI 介绍称，GPT-6.1 Terra 以更低价格提供快速且强大的 computer use，能够理解屏幕内容并跨应用执行操作。
我的看法：这是个人的主观体验，不是基准测试结果。对开发者而言，真正的问题是在真实业务流程中的稳定性、权限边界与出错后的可恢复性。速度只是其中一项指标。
原文链接：https://x.com/gdb/status/2114814747254432243
Gamma 5：把智能体放进演示文稿流程
Gamma 在更新日志中介绍了 Gamma 5，称其重建了思考、设计和编辑的方式。用户可以提供一句话、文档、PDF、图片或旧演示文稿，由智能体在几分钟内完成构思、调研和设计。日志还提到可以引入 PDF 和 PPT 设计以便持续使用。
我的看法：输入形式越宽松，质量就越取决于调研环节是否可靠。生成的内容仍需要人工核对事实和引用，这一点与上面两条消息一样。
原文链接：https://meetgamma.canny.io/changelog/whats-new-in-gamma-septemberoctober-2026
值得继续观察
第一，OpenAI 的三项证明能否得到独立验证。第二，Terra 的电脑操作在多步骤任务中是否同样稳定。第三，推测而言，智能体类产品的竞争重点可能从演示效果转向可审计性与可控性。
来源清单
- https://www.ithome.com/1/018/203.htm
- https://x.com/gdb/status/2114814747254432243
- https://meetgamma.canny.io/changelog/whats-new-in-gamma-septemberoctober-2026
- 作者:月明
- 链接:https://lunalight.top//article/ai-daily-2026-10-27-001929
- 声明:本文采用 CC BY-NC-SA 4.0 许可协议，转载请注明出处。
