Grothendieck梗图碰上AI数学争论
teortaxesTex · x · 2026-07-20
- 这条帖子本身是在开玩笑：说 Grothendieck 现在大概会站到“机器”这边。
- 配图里的讨论聚焦一个代数几何话题：有人回忆，十多年前研究者曾在约 16 个变量上暴力搜索 Jacobian Conjecture 的反例；而最近据称某个系统在 7 次幂的情形下找到了反例，显得非常反直觉。
- 评论区对结果保持怀疑：有人猜测这可能更像营销包装，质疑如果不公开完整 LLM 对话历史，很难判断 AI 在证明里到底起了多大作用；也有人追问这个反例是否本来就在搜索空间里。
- 还有回复补充了该框架下反例下界的历史：早先大约是 100，后来在一篇 arXiv 论文中提高到 108。
所属事件:传Claude Fable 5推翻雅可比猜想引发AI数学狂欢(75 条相关)→
「Fun」频道最新
- a16z 合伙人呼吁国有化前沿 AI？作者道歉：可能被钓鱼了 — S_OhEigeartaigh · 2026-09-11
- Google Docs 仍把 compute 当错词，AI 时代的语言滞后一景 — chrisrohlf · 2026-09-11
- Linus 并不用 GitHub 写内核：绿格子其实来自邮件列表工作流 — _jaydeepkarale · 2026-09-11
- AI 五年改变世界,Google Docs 却仍把「compute」当名词标错 — ohlennart · 2026-09-11
- AI 智能体协作优化 secp256k1 量子电路,挑战打破 ECDSA — StefanoGogioso · 2026-09-11
- 网友上线「求 AI 别杀我」注册网站,黑色幽默拉满 — motionbynick · 2026-09-11