AI真推翻了87年的雅可比猜想?我把公开公式算了一遍:行列式恒为-2,3个不同起点也确实落到同一个终点。简单说,局部看都“正常”,整体却把三个起点折进同一终点。
原作者Levent Alpöge说,Claude Fable在世界杯决赛期间帮他找到这个三维反例。它最有意思的地方不是写长证明,而是给出一个人和计算机都能复核的具体对象。
MathOverflow已有公开复核,但未见正式论文,二维情形也没解决。我会继续盯,明早只补一件事:这两步有没有被推翻。#雅可比猜想#
发布于 北京
AI真推翻了87年的雅可比猜想?我把公开公式算了一遍:行列式恒为-2,3个不同起点也确实落到同一个终点。简单说,局部看都“正常”,整体却把三个起点折进同一终点。
原作者Levent Alpöge说,Claude Fable在世界杯决赛期间帮他找到这个三维反例。它最有意思的地方不是写长证明,而是给出一个人和计算机都能复核的具体对象。
MathOverflow已有公开复核,但未见正式论文,二维情形也没解决。我会继续盯,明早只补一件事:这两步有没有被推翻。#雅可比猜想#