王虹拿奖这事儿还没过保鲜期呢，OpenAI 这一枪直接把戏台都给拆了。 人类数学家苦战多年，靠极其精细的多尺度分析把三维 Kakeya 撬开一道缝；结果 A… · @finance_bcl_1 · TwKit

@finance_bcl_1

王虹拿奖这事儿还没过保鲜期呢，OpenAI 这一枪直接把戏台都给拆了。 人类数学家苦战多年，靠极其精细的多尺度分析把三维 Kakeya 撬开一道缝；结果 AI 转身扔出一套全新的偏微分方程，顺手把全维度的 Local Smoothing 猜想连带挂谷猜想全给推平了，甚至连 Lean 形式化都连夜搞定了。 这已经不是“人类棋手输给深蓝”的桥段了，这是人类刚拿完登顶奖牌，抬头发现 AI 已经在山顶盖完度假村顺便送了份产地证明。 2030 年的菲尔茨奖以后要怎么颁？ 难道要设立一个“纯手工无 AI 辅助证明奖”？或者颁奖词改成：“感谢该学者在被 AI 彻底通关之前，为该领域提供了宝贵的人类直觉与情绪价值”？ 时代落幕的动静有点大，连留给我们感伤的时间都没给够。以后数学家大概真要变成“AI 证明阐释员”了——负责给机器吐出来的定理写通俗易懂的导读。

曝光 503 · 评论 2 · 点赞 1 · 书签 2