#协和医生用AI解决22年数学难题#
网传协和医生,靠AI破解了悬置22年的世界级数学难题...
先划重点:
⚠️消息半真半假!
金山木,协和神经外科博士后,和董某莹是同班同学...
他确实提交了一份预印本论文,宣称证明 Crouzeix猜想。但不是AI自己算出来的,人全程主导思路,AI只做复杂推导试错...
更关键的是:
预印本平台只是存档,没有同行评审盖章,证明依然有可能被推翻...
大模型数学推理本身经常出现隐蔽逻辑错误,预印本不等于最终定论,需要漫长同行评审...
16小时“完全自主跑出证明”这个戏剧性说法,有自媒体放大爽文的成分,人依然承担核心的选题、框架设计、校验工作,不是AI凭空做题...
AI并不会取代数学家,但会成为跨界研究者的一把利器~#热点跨界共创#
发布于 四川
