数学家解决当代未解之谜的一个重要目的
就是期待他能想出新的数学工具以解决新的问题
但 AI 解数学之谜却不是这样 AI 都只会用当代已有的数学工具去解问题
就好比爬山 AI 就只是找到一条蜿蜒又长的小道
中间的每一步都平平无奇 为人类已知的手法 之所以未解 是因为没人想走这么长的道路
但对真正的数学家来说 一直都是瞄准想出新的数学工具
就比如王虹 王虹开发的多尺度归纳工具证明：
任何看似混乱的三维挂谷集，在特定尺度放缩后，必定会涌现出“黏性”结构。
这一反复推进的归纳机制，成功将三维挂谷集的维度下界一步步推升至极限。
这种思维 是 AI 无论如何都想不到的
※ 引述《hayuyang (凤山蠹)》之铭言：
: ....
: ai公司的人真的傻逼
: 以前的猜想重要是激发了很多思路跟理论
: 这些理论跟思路可能不一定解决原问题
: 但扩展人类数学理论的边界
: 不管是希尔伯特问题
: Klein纲领
: Langlands Program
: 然后ai公司 ：喔喔 是喔真的假的 猜想这么重要 解决他 end
: 假设未来ai量产证明猜想 人类数学家时间没有多到消化
: 人类没时间消化 就没活水 新的"理论" 新的"猜想“ 给ai训练 跟解决
: 啊 有人说 ai可以提出猜想啊 啊我要解决 历史上大数学家提出的问题
: 还是你ai公司提出的猜想