AI 破解数学难题遭学界“使绊子”,作者发 12 问抨击学术机构
RexDouglass · x · 2026-09-09
研究者 RexDouglass 发长推批评:AI 在数学难题求解上取得进展后,学术机构没有为此高兴,反而用“非常典型的非科学手段”制造市场区隔(如质疑解法是否新颖、是否符合人类审美标准)。他认为数学本应是衡量 AI 能力的“北极星”,如今却被拖入门户之争,并连发 12 条推文展开论证:学界未证明 AI 解法无用、对 AI 用了人类自己都达不到的可解释性标准、优雅的证明文字未来也会是 AI 的副产品、而可证明有效的更高效算法在经济上远比论文散文重要。
所属事件:ζ(5)(3) AI证明引战:数学界与AI圈激辩「谁在做研究」(20 条相关)→
「漫话AGI」频道最新
- 微软被曝自愿离职涉6万人,博主追问AI到底为谁而造 — _jaydeepkarale · 2026-10-27
- PHP2Shell 漏洞已被实战利用:攻击者疑似借 agentic AI 平台做后渗透 — AravSrinivas · 2026-10-27
- LukeW:技术限制都是暂时的,唱衰 AI 的人正被反噬 — LukeW · 2026-10-27
- GiveDirectly 在卢旺达试点 AI 聊天机器人辅助现金援助 — NathanpmYoung · 2026-10-27
- 前 Anthropic 员工长文:公司优化的是「被视为好人」而非真正的善 — RichardMCNgo · 2026-10-27
- 投资人泼冷水:别信模型型号,真正的只有数据中心利润率 — StewartalsopIII · 2026-10-27