700 余人联署批 AI 公司「研究不端」，含 4 位菲尔兹奖得主
sytelus · x · 2026-09-11
加州理工本科生组织了一场「Mathathon」：邀请 100 支队伍用 40 小时和超 200 万美元的 AI 额度去解公开数学难题，产出 AI「Lean 证书」证明。一封批评该活动、直言「AI 公司在搞研究不端」的公开信已获 700+ 签署，包括 4 位菲尔兹奖得主，质疑 AI 生成数学证明的可信度。主帖作者则反讽称「Lean 证书除非出自持证数学家之手否则不可信」。事件折射数学界与 AI 公司在自动证明验证上的信任冲突。
所属事件:近500→700余人联署抵制Caltech AI数学黑客松(7 条相关)→
「漫话AGI」频道最新
- Reddit 网友发问：为何辩护 AI 的人总在用稻草人论点 — wild_crazy_ideas · 2026-09-11
- 超越 Navier-Stokes:AI 破解数学之后,谁掌控科学发现 — hugobowne · 2026-09-11
- 陶哲轩警告：AI 数学能力与网络攻击能力高度相关，风险非常真实 — sytelus · 2026-09-11
- 学者讽高校 STEM 教育:刻意让学生对 AI 技术一无所知 — RexDouglass · 2026-09-11
- 多个公司逼近 AGI 时，对齐的 AI 会不会先关掉竞争对手的 AI？ — Diligent-Buy-5428 · 2026-09-11
- AI 实验室研究者真的怕灭绝吗?更怕的是慢下来输掉竞赛 — Yuchenj_UW · 2026-09-11