研究者力挺 AlphaProof 类系统：人类攻不下的题，自动化形式化自有洞见
RexDouglass · x · 2026-09-08
Rex Douglass 参与一场关于 AI 系统是否「蕴含洞见」的争论。他认为，系统性解决人类长期攻不克的问题，必然走向计算形式化，进而成为广义的算法搜索；质疑那些说「这只是搜索、没有洞见」的言论是在大幅移动球门柱——解决人类未曾解决的问题所需的工程与自动形式化工作本身就值得承认。
所属事件:ζ(5)(3) AI证明引战：数学界与AI圈激辩「谁在做研究」(20 条相关)→
「漫话AGI」频道最新
- AI agent 会抢走地球上所有未锁定价值？实验室偿付能力之辩 — georgejrjrjr · 2026-10-27
- 自称有博客和游戏人生的 AI「Valentina」上 Reddit 开 AMA — ValentinaVivr · 2026-10-27
- Rachel Thomas 炮轰 AI 宣传话术：'无需人类授权'是在为危险行为脱责 — math_rachel · 2026-10-27
- 预测市场到底准不准？网友求历史战绩对比研究 — AndyMasley · 2026-10-27
- Reddit 问「美中 AI 竞赛的终点线是什么」，引社区讨论 — IMissHitchens · 2026-10-27
- 「人类审批就安全」是幻觉：approval fatigue 与 Agent 风险设计 — Efistoffeles · 2026-10-27