📰 25位菲尔兹奖得主联名发声，把AI公司和数学界的矛盾彻底摆上台面。他们认为，OpenAI、Anthropic等公司把攻克著名难题当成模型测试，会挤压数学真正看重的概念理解和新思想。
🔥 导火索是N-S方程。OpenAI称，未公开的内部模型用88小时解决了其存在性与光滑性问题。但在前一天，数学家特里斯坦·巴克马斯特与Anthropic研究员莱文特·阿尔珀格已经公开相关成果。
👀 更敏感的是，巴克马斯特曾把未发表草稿和推导放进OpenAI的代码工具，随后怀疑模型“偷看”。OpenAI否认这一说法，但承认无法完全排除用户数据间接参与训练。目前数学界尚未正式认可OpenAI的证明，OpenAI也没有申领100万美元悬赏。

💡 说实话，争议不是AI能不能做数学，而是谁先提出想法、训练数据从哪来、机器给出的长证明有没有人真正理解。菲尔兹奖得主斯米尔诺夫的比喻很直接：挖掘机确实更快，但也可能毁掉考古现场里的珍贵文物。
🤔 如果AI用了研究者未发表的草稿，最后又先一步给出证明，你觉得成果应该算模型的、公司的，还是原作者的？
#人工智能 #OpenAI #数学研究 #AI伦理