数学家用AI证明ℤ方程问题遭抨击,反AI阵营被指「表演式纠结」
RexDouglass · x · 2026-11-07
数学家 Elliot Glazer 反问反 AI 硬线派:他用 AI 完成「ℤ 在 ℚ 中是 Diophantine」的证明后,究竟怎样做才能让他们满意——私下找一位专家写报告,还是干脆搁置?有没有任何形式的 AI 数学传播能被接受?Rex Douglass 则尖锐回应:没有人有真正的「人类 slop」理论,反 AI 者发明各种区分标准只是因为有趣和作为道德表态装置,这些人从未认真对待过元科学(meta-science)。
「Fun」频道最新
- 新民间基准诞生：AI 能否排查家里被 Z-Wave 设备闹鬼的房间 — DynamicWebPaige · 2026-11-07
- 机器人创业者吐槽：开公司一半时间都在拆快递箱 — viktor_vrp · 2026-11-07
- 开发者吐槽：等 LLM 能写软件了才肯出货十年烂应用 — ludwigABAP · 2026-11-07
- 用 Claude Opus 驱动的无限自进化 Backrooms 游戏火了,连作者都不知道下一间房是什么 — noahsolomon · 2026-11-07
- AI 圈热梗:圣战后研究者围着躺碎 GPU 床的 Eliezer — akbirthko · 2026-11-07
- 「别告诉 Sam Altman RAM 卡车也能买」戳中内存荒梗 — djcows · 2026-11-07