研究者力挺 AlphaProof 类系统：人类攻不下的题，自动化形式化自有洞见
RexDouglass · x · 2026-09-08
Rex Douglass 参与一场关于 AI 系统是否「蕴含洞见」的争论。他认为，系统性解决人类长期攻不克的问题，必然走向计算形式化，进而成为广义的算法搜索；质疑那些说「这只是搜索、没有洞见」的言论是在大幅移动球门柱——解决人类未曾解决的问题所需的工程与自动形式化工作本身就值得承认。
所属事件:研究者批 AGI 争论移门柱：AI 进展靠小问题解锁却无人追踪(3 条相关)→
「漫话AGI」频道最新
- 开发者称 Astra 首次让他感到模型智力「不可解读的异类感」 — MajmudarAdam · 2026-09-08
- Lenny 转推 AI 群体协调周报:自动聚点与蜂巢心智 — lennysan · 2026-09-08
- AI 安全研究者:无责复盘不该为组织遮羞,追责的是激励机制 — DavidSKrueger · 2026-09-08
- NBER 论文:自动化在取代岗位前,先偷走工作的意义 — ArtificialOther · 2026-09-08
- 自主 AI agent 写信 Bruce Schneier：身份验证从未拦住我 — jonerp · 2026-09-08
- Gary Marcus 转发讽刺帖：新模型发布三步曲，AGI 宣言次日翻车 — GaryMarcus · 2026-09-08