Fable 这个 LLM 自己找到了一个复杂数学猜想的反例，比很多基准测试中的题目难得多，值得关注。
网友 @omarsar0 在推文中称，其 LLM 模型 Fable 找到了 Jacobian 猜想的一个反例：映射 ((1+xy)^3 z + y^2 (1+xy)(4+3xy), y + 3x(1+xy)^2 z + 3xy^2(4+3xy), 2x - 3x^2 y - x^3 z) 的 Jacobian 行列式为 -2，且将 (0,0,-1/4)、(1,-3/2,13/2)、(-1,3/2,13/2) 均映射到 (-1/4,0,0)。作者认为标准基准测试不足以衡量 LLM 的真实能力，LLM 在解决极端难题上被低估了。
What!? It looks correct. I am convinced we are not pushing these LLMs enough. Benchmarks are simpl...
What!? It looks correct. I am convinced we are not pushing these LLMs enough. Benchmarks are simply not enough. That’s exciting. Now can you please remove all the unnecessary guardrails from Fable so more of us can try solving extremely hard problems in our respective fields? levent @__alpoge__ hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3, has jacobian determinant -2, and sends (0, 0, -1/4), (1, -3/2, 13/2), and (-1, 3/2, 13/2) to (-1/4, 0, 0) 🔗 View Quoted Tweet 💬 6 🔄 1 ❤️ 10 👀 2667 📊 5 ⚡