9 月 11 日,陶哲轩(Terence Tao,UCLA 数学教授,2006 年菲尔兹奖得主,常被称为在世最强的数学家之一)在博客上挂出一封联名信,《A Severe Misalignment of AI in Mathematics》。首批联署的 25 位全是菲尔兹奖得主,包括今年 7 月刚领奖的邓煜。菲尔兹奖 90 年来头一次颁给中国籍数学家,一次两位,邓煜就是其中之一,领完奖不到两个月,就把名字签在了这封信上。开放署名后一天,跟进的学者就超过了 2500 位。
他们反对的是 AI 公司把解数学难题当成 benchmark 来刷:模型一出新版本,就挑一个著名难题开刀,媒体稿先行,论文以后再说。
导火索是 9 月 8 日,OpenAI 宣称搞定了困扰数学界近百年的纳维-斯托克斯问题(Navier-Stokes,千禧年大奖难题之一)。
尴尬的地方在于,纽约大学的 Tristan Buckmaster 团队沿着同一条技术路线,用 Codex 已经磨了快一年。而 OpenAI 自己承认,模型改进时可能使用了上述团队产生的数据。
其实,这群世界上最会解题的人反对的东西,Cocoa 已经默默坚持好几年了:
写作时不写数据库里已有的东西。
继续阅读“陶哲轩们联名反对的,是我坚持多年的写作洁癖”