※ 引述《jackliao1990 (j)》之銘言：
: https://mathandai.org/
: AI公司為了展示技術卻將破解百年數學難題簡化為展示算力與模型能力的跑分指標。然而
: 題目的價值不在於答案對錯，而在於創造新的理論和概念、推動數學進展。而AI解題時沒
: 有提出新理論，無法帶來有用的觀念啟發。
: 大型科技公司在使用數學家的公開研究論文、課本進行模型訓練時，缺乏透明度與開源精
: 神。當AI給出真假難辨的數學論證時，其內部黑盒子讓數學家極難進行同儕審查，這正在
: 動搖學術誠信的根基。
: 數學家的訴求
: 1.尊重智慧財產：AI公司在抓取數學家成果時須有明確授權與利益回饋機制。
原文沒有提到「要求授權」
: 2.AI應定位於輔助，AI應聚焦於幫人理解數學（如形式化驗證工具 Lean)而非試圖取代人
: 類思考。
後半是加料，原文沒有提到 Lean或其他形式化驗證。
: 3.建立科學界監督機制：重大數學AI模型評估應由獨立學術委員會主導而非由商業利益驅
: 動
這不是超譯，已經完全是自己編的了。
根本沒有甚麼「監督機制」、「獨立學術委員會」、「評估」、「商業利益驅動」
重點就一個
AI 只負責提出解答，無法啟發新的概念，這些解答還常常沒有好好整理，甚至瓢竊前人
研究
In recent months, the success of AI in solving major mathematical problems
has made headlines even outside mathematical circles. But solving problems is
only a tool and proxy for achieving the primary goal of conceptual
understanding and insight. Forgetting this in the world of AI may turn the
tool against the primary goal. Indeed, the mass production at faster and
faster pace of "true/false" statements could destroy fertile ground instead
of breathing life into new ideas.
Often these solutions are announced in a rush, leaving no time for a proper
writeup, the isolation of new methods and ideas, and citing relevant previous
work of others. As in all creative professions, this raises severe
attribution and plagiarism questions. Moreover, without the willing
mathematicians who must take care of their development and integration into
the mathematical canon, AI-conceived ideas would never become fully alive and
the crucial human transmission chain between mathematicians would be lost.