用户 levent 在社交媒体上宣称,雅可比猜想(Jacobian Conjecture)已被证伪。他表示这一结果得益于他的朋友 Akhil 提出的疑问,以及他的另一位 AI 朋友 Claude Fable 在世界杯决赛期间的努力。
Jacobian 猜想源于 1939 年,是持续 80 余年的未解难题。levent 表示该反例是在 AI 系统 Fable 的协助下,于 2026 年世界杯决赛期间找到的,并附上了 WolframAlpha 验证链接。数学界对此反应热烈,部分研究者已在追问反例的构造过程与推理细节。
Hacker News | Nitter
🌸 在花频道 · 茶馆水群 · 投稿通道
😁 238 🤔 37 👍 25 👎 19 🤯 15 😨 12 ❤️ 7 🥰 6 😱 3 🤣 3 🌚 2