※ 引述《jackliao1990 (j)》之铭言：
: https://mathandai.org/
: 此份声明由世界最强数学家陶哲轩撰写并由25位菲尔兹奖(数学最高荣誉)签署
: 《AI在数学领域中的严重错位》
: AI公司为了展示技术却将破解百年数学难题简化为展示算力与模型能力的跑分指标。然而
: 题目的价值不在于答案对错，而在于创造新的理论和概念、推动数学进展。而AI解题时没
: 有提出新理论，无法带来有用的观念启发。
: 大型科技公司在使用数学家的公开研究论文、课本进行模型训练时，缺乏透明度与开源精
: 神。当AI给出真假难辨的数学论证时，其内部黑盒子让数学家极难进行同侪审查，这正在
: 动摇学术诚信的根基。
: AI应定位于辅助，AI应聚焦于帮人理解数学而非试图取代人
: 类思考。
tao 其实有出来说,以前证明稀缺,所以一个证明出来,很多同行愿意免费(低价)验证/审议
但现在证明满坑满坑多到满出来,没有人力做验证,结果瓶颈反而卡在这边
所以他有在推动如果是AI的证明,那么验证者也应该挂名
甚至更激进一点,证明成功的属名应该是能做解释作验证的人,而不是用AI做出解法但无法解释验证的人
其实跟 programmer 很像
AI 产 code 的速度,人类已经快要 maintain 不了了
很多 programmer 都已经开始放弃 code review 了
但是台面上大家基于专业,尊严,惯性etcetc,很多人还是不愿承认这一点
但 AI 没在管你人类能不能接受,早晚,不管是写code,还是数学证明,人类都要面临一次重大的范式变革~