当 AI 改写 O(n²):优雅数学定理会被 LLM 逐一打破吗

teortaxesTex · x · 2026-10-06

teortaxesTex 提出一个有趣猜想:LLM 可能会接连冲击数学中那些被视为「精巧、接近上帝设计」的优雅结果,把整数常数改成 2.95、把 −1 变成 −0.7902 之类的「丑陋但更快」的近似,如同无理数曾摧毁毕达哥拉斯的信仰。引用者补充了计算机视角的具体例子:O(n²) 曾被当作问题的宇宙级硬极限,但 O(n^1.9992) 这类微小改进一旦出现,旧的确定性边界就没了——边界到底在哪?还能再改进多少?这是一场关于 AI 冲击数学美学与理论极限边界讨论。