700 余人联署批 AI 公司「研究不端」，含 4 位菲尔兹奖得主
sytelus · x · 2026-09-11
加州理工本科生组织了一场「Mathathon」：邀请 100 支队伍用 40 小时和超 200 万美元的 AI 额度去解公开数学难题，产出 AI「Lean 证书」证明。一封批评该活动、直言「AI 公司在搞研究不端」的公开信已获 700+ 签署，包括 4 位菲尔兹奖得主，质疑 AI 生成数学证明的可信度。主帖作者则反讽称「Lean 证书除非出自持证数学家之手否则不可信」。事件折射数学界与 AI 公司在自动证明验证上的信任冲突。
所属事件:数百数学家联署抵制 Caltech AI 黑客松(9 条相关)→
「漫话AGI」频道最新
- 反 AI 内容算法爆火很赚钱，作者：两边都在卖货 — annetgriffin · 2026-10-26
- 硅谷解读：斯坦福 20 公里圈五巨头市值约 18 万亿美元 — FinanceYF5 · 2026-10-26
- 从 Claude 到 AlphaEvolve：AI 自我改进离「奇点」还有多远 — Exponential View (Azeem Azhar) · 2026-10-26
- 人形机器人两年跑赢人类：半马破纪录、百米超博尔特 — ben_j_todd · 2026-10-26
- Stephen Casper 播客畅谈：AI 会否成为网络空间的「寄生(peer)物种」 — StephenLCasper · 2026-10-26
- EMNLP 主题演讲背后：用语言模型「模拟学习者」生成儿童语言习得新假设 — najoungkim · 2026-10-26