Grothendieck梗图碰上AI数学争论
teortaxesTex · x · 2026-07-20
- 这条帖子本身是在开玩笑：说 Grothendieck 现在大概会站到“机器”这边。
- 配图里的讨论聚焦一个代数几何话题：有人回忆，十多年前研究者曾在约 16 个变量上暴力搜索 Jacobian Conjecture 的反例；而最近据称某个系统在 7 次幂的情形下找到了反例，显得非常反直觉。
- 评论区对结果保持怀疑：有人猜测这可能更像营销包装，质疑如果不公开完整 LLM 对话历史，很难判断 AI 在证明里到底起了多大作用；也有人追问这个反例是否本来就在搜索空间里。
- 还有回复补充了该框架下反例下界的历史：早先大约是 100，后来在一篇 arXiv 论文中提高到 108。
所属事件:传Claude Fable 5推翻雅可比猜想引发AI数学狂欢(75 条相关)→
「Fun」频道最新
- 开发者用 Claude Opus 5.5 做出交互式像素风个人主页 — CatAstro_Piyush · 2026-10-27
- RTX 5090 卖到 7000 美元，PC 游戏社区集体否认 AI 热潮 — PAstynome · 2026-10-27
- 「我能给五岁小孩讲清我的研究——理论上」学者自嘲走红 — prof_kamilov · 2026-10-27
- 前雅虎 CEO Marissa Mayer 用 AI 替女儿完成学校作业的择优描述 — Polymarket · 2026-10-27
- 科普作家 Pickover 出谜题:AI 能破译这段维京卢恩文字吗 — pickover · 2026-10-27
- AI 视频：布洛克·莱斯纳对决「高个邓肯」玩具对决 — KloneStudios · 2026-10-27