数学最有用的应该是工具化
最基本的计算、指对数、方程式、微积分
AI出现让一些大师很紧张
什么猜想假说可能很快被破解
还要出来组数学复仇者联盟
但这不就证明 AI 可以无穷模拟运算
人类几乎不可能赢
未来可能靠AI就能解决这些问题
所以一堆很刁的问题是没有意义的吧