22:16
elvis@omarsar0 网友 @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 在解决极端难题上被低估了。
推荐理由:Fable 这个 LLM 自己找到了一个复杂数学猜想的反例,比很多基准测试中的题目难得多,值得关注。