研究者批 AGI 争论移门柱：AI 进展靠小问题解锁却无人追踪

研究者 Rex Douglass 连发多条观点：一是力挺 AlphaProof 类系统，认为系统性攻克人类长期无法解决的难题必然走向计算形式化与算法搜索，反驳「这只是搜索」的质疑；二是指出 AI 研究进展实由大量被解锁的小问题构成，却没有人追踪这些问题；三是批评 AGI 争论存在「移动球门柱」与历史修正主义，圈内往往只关心 AI 当下做不到的事。

2026-09-08 ~ 2026-09-08 · 3 条相关