OpenAI 攻克千禧年大奖难题,为何软件仍bug不断
ziv_ravid · x · 2026-09-09
作者提出一个解释:数学与软件的可验证性差异决定了 AI 在两者上的进展速度。
- OpenAI 报告动用约 1 万个 agent 同时工作,攻克了千禧年大奖难题。形式数学中问题与假设固定,证明可被机器完全校验,是一份「干净稳定」的任务,适合海量 agent 并行并复用彼此结果。
- 软件看似也能靠运行测试验证,但它运行在更大系统中:用户行为不可预期、物理设备会故障、外部系统会变化,规格说明往往覆盖不了所有场景,测试通过不等于处处正确。
- 因此更多 agent 并不能自动带来对用户与外部环境的理解,更好的代码模型也不会消除对程序员的需求——「后 AGI」世界里 AI 或许能解数十年未解的数学题,软件照样会有 bug。
「漫话AGI」频道最新
- 网友:不担心末日但担心竞赛,一年内世界将根本改变 — justalexoki · 2026-09-09
- Reddit 讨论:AI 用户间的能力鸿沟为何如此悬殊? — Ambitious-Prompt-975 · 2026-09-09
- 博主：旧金山正处人类历史转折点，AGI 到 ASI 正在到来 — sudoraohacker · 2026-09-09
- 开发者喊话 AI 实验室:别让机器抹掉人类的署名与喜悦 — yunta_tsai · 2026-09-09
- MCP 作者:AI 已进入「高算力机制」,规划要相应调整 — hrishioa · 2026-09-09
- FDA 发布生成式 AI 医疗器械监管讨论稿：静态审批框架失效 — jonc101x · 2026-09-09