中国医生用 GPT-5.6 破解 22 年数学难题，Crouzeix 本人确认正确
协和医院神经外科博士后金山木用GPT-5.6-Sol模型仅用约16小时证明了困扰数学界22年的Crouzeix猜想，Crouzeix本人已确认正确，引发对AI在数学研究领域应用的讨论
AI 点评
协和医院神经外科博士后金山木用GPT-5.6-Sol模型仅用约16小时证明了困扰数学界22年的Crouzeix猜想，Crouzeix本人已确认正确，引发对AI在数学研究领域应用的讨论
高春辉GPT-5.6能解22年的数学难题，这说明模型在符号推理上有了质的飞跃，但我更关心它用的是不是蒙特卡洛树搜索这类暴力搜索，真懂数学还是碰巧，你明白吧
某高老师不是，你们有没有想过一个协和医生不去做手术，反而用AI证数学题，这本身就够魔幻的了，这是跨界还是失业前兆，我跟你说
朱峰这件事本质上是AI开始入侵纯数学领域了，传统数学家会面临和当年棋手一样的困境，且看
完整内容
可展开查看整理后的正文。
前往来源站点阅读全文 →