OpenAI把千禧年数学难题塞进GitHub开源仓库，直接用GPT的Pro模型跑推导。
据说在这套操作下，平均每三个小时就能推平一个数学博士得熬一辈子去钻研的方向。
陶哲轩转发这条推文后，AHM人类数学协会正式要求同行切断与这家公司的联系。
数学界这次是真的破防了。
按照呼吁里的说法，他们极度愤怒，觉得人类数学家被严重冒犯了。
其实你把这事揉碎了看，特别能理解这种憋屈。
你是个从小脑子就灵光的数学天才，苦哈哈地熬了几十年，就指望在黑板上解开个重要猜想，拿个菲尔兹奖证明自己。
结果现在机器连个招呼都不打，直接把没解决的难题拿去搞批发。
人类拿菲尔兹奖是凭心血研究，机器靠推理模型跑出一样的结果，这怎么比？这奖以后还有啥含金量？
更膈应人的还在后面。
就算AI真的把那层窗户纸捅破了，推导出了结果，它吐出来的那一堆复杂的推理过程，最后还得靠这帮人类数学家去一步步验证。
本来大家都是搞尖端突破的行业大佬，现在全被逼成了给AI做交叉审核的质检员。
而且在研究机器推导逻辑的这个过程里，必然还会扯出无数个解释不清的新麻烦。
所以他们现在气不过，想要集体拉黑OpenAI。
但这也就是个情绪宣泄。
拉黑了这一家，回头自己研究卡壳的时候，转头去偷偷用Claude行不行？
大家心里都明镜似的，你怎么知道Claude解不出这些题？没准人家只是没公开张扬而已。
掩耳盗铃是没用的。
物理界、化学界，还有所有搞基础学科的人，其实现在都在同一条船上。
摆在所有人面前还没结清的烂摊子是，等机器把越来越多的难题解答甩出来之后，那些负责去验证推理过程的繁琐工作，到底该由谁来买单。