※ 引述《shala (沙罗是转换后的文字档打m)》之铭言：
: 不知道有多少人真的看过声明的英文原文，
: 但原PO写的中文大意其实有不小的落差。
: 这件事情其实跟现在资工业面临的两难非常像。
: 数学家要证明的命题当然是无穷无尽的，
: 但真正能让数学家名留青史的重大难题并没有想像中那么多。
: 所以数学家赖以追求学术成就、建立历史地位的空间，可能会被AI抢答大幅压缩。
: 而且现在AI做数学证明，基本上还是大量建立在既有的数学知识、定理以及现有工具之上
: 。
: 这跟人类数学家最大的不同，在于人类在解题的过程中，有可能发明全新的概念、方法或
: 理论。
: 如果未来越来越多重要的数学问题都被AI直接解决，人类创造新数学的机率就更低了。
: 这个问题的影响不只在数学本身。
: 数学是科学之母，物理、工程、电脑科学等领域的很多重大突破都建立在数学理论与工具
: 持续发展的基础上。
: 数学本身如果停止进步，长期下来，其他科学又要靠什么继续往前走？
: AI会走到“能做数学证明”这一步也不是意外，
: Curry-Howard correspondence早就揭示了数学证明和电脑程式之间的对应关系，
: 所以数学家写出的证明可以交给像Lean这样的程式进行形式化验证。
: 反过来看也一样，
: 既然数学证明本身可以被形式化成电脑能够表示、搜寻、检查的东西，
: 那么AI最后具备数学证明的能力就必然会发生。
: 一言以蔽之，大家担不担心AI让人类创造新数学的动力逐渐消失？
: 如果不担心，那就原地解散吧。
: ※ 引述《jackliao1990 (j)》之铭言：
应该说
未来AI发展必然是走向特化的
就好像目前的电脑一样
泛用型的与专业制图的，或者是电竞比赛用的
规格需求完全都不同
现在数学难题能让数学家配合AI解答
那接着的方向
不可能是穷究世界万物真理
而是朝着更难的命题前进
只是AI的出现，推动了这个进程快速地通过而已
如同计算机的问世
到电脑的问世
数学家，或者是科学家从来也没有停止使用这些工具
早晚会走到泛用型无法轻易解答的数学难题之上
那时仍旧必须回归专业特化型的LLM模型与数学家的配合
至于最近那个阴谋论
说几年内AI可以怎样毁灭人类啥的
听听就好
这么浑沌无序的现实世界
光靠AI所谓的自我提升就能突破
除非他的前提是算力无限大，时间也推到无限大
但这个物理限制本质就不可能去除掉
算力是有限的
人类给出算力，也有获利需求的
所以给AI一句变强
就可以在理论上无限变强
但实际上，还就是一堆幻觉以及幻觉还有幻觉
没办法啊，对无序浑沌的事物语料品质就这么低
没有无限算力与时间
哪来的正面突破机会？
而工业革命以来
科学的发展很多都奠基于数学难题的被突破
现在AI应用发达
过去的难题也被一一解破
那对于科学界而言
也许又有一波新的提升潮将来到未也可知