社科研究者反思:超过半数仍迷信同行评审这道门禁
RexDouglass · x · 2026-10-09
- Rex Douglass 认为,用 Agent 对数学成果做自动形式化其实意义有限:数学证明充满歧义、缩写和跳步,「证明甚至算不上证明」,把成果自动形式化是个大麻烦。
- 他同时抨击学术评审文化:社科领域至少还有一半人没接受现实——真正有水平的人早已不信「通过了某个守门环节就等于正确」,那只是「讲给小孩和终身教授听的童话」。
「漫话AGI」频道最新
- 交互式对齐论文:演化博弈论检验 AI 群体长期对齐人类 — sebkrier · 2026-10-09
- 美国私人AI投资是中国的23倍，模型领先却只剩2.7% — heyshrutimishra · 2026-10-09
- 超智能来临:把工作当手段的人有福,当目的的人倒霉 — CatAstro_Piyush · 2026-10-09
- 科学家：AI 会试遍所有有用方向，基础科学反而更值得下注 — OdedRechavi · 2026-10-09
- 「权重有意识吗?」Anthropic 被解读为默认模型可能有意识 — akbirthko · 2026-10-09
- 预训练算力占比跌至 7%，Yudkowsky 式 AI 末日剧本重新复活 — DKokotajlo · 2026-10-09