Grothendieck梗图碰上AI数学争论
teortaxesTex · x · 2026-07-20
- 这条帖子本身是在开玩笑：说 Grothendieck 现在大概会站到“机器”这边。
- 配图里的讨论聚焦一个代数几何话题：有人回忆，十多年前研究者曾在约 16 个变量上暴力搜索 Jacobian Conjecture 的反例；而最近据称某个系统在 7 次幂的情形下找到了反例，显得非常反直觉。
- 评论区对结果保持怀疑：有人猜测这可能更像营销包装，质疑如果不公开完整 LLM 对话历史，很难判断 AI 在证明里到底起了多大作用；也有人追问这个反例是否本来就在搜索空间里。
- 还有回复补充了该框架下反例下界的历史：早先大约是 100，后来在一篇 arXiv 论文中提高到 108。
所属事件:传Claude Fable 5推翻雅可比猜想引爆AI数学梗(70 条相关)→
「Fun」频道最新
- Seedance 2.0 把罗马意面做成了 AI 反应梗图 — azed_ai · 2026-07-21
- 一个 NeurIPS 段子说，有人用着自己都不懂的 agent 评审 — dhadfieldmenell · 2026-07-21
- 梗图把 Claude 说成在 Anthropic 地下室养虾 — rickasaurus · 2026-07-21
- 一条谷歌文化梗图：GRASS 短裤配上食堂笑话 — yacinelearning · 2026-07-21
- GlobalGPT 宣称已接入 GPT-5.6 和 Kimi K3，可按任务切换 — alifcoder · 2026-07-21
- $ANSEM 空投给用户发了 2,114 美元 — mfckr_eth · 2026-07-21