00:42
The Rundown AI@therundownai
The Rundown AI@therundownai推荐理由：GPT-5.6-Sol断网跑16小时独立拿出22年数学猜想的证明，这波是AI科研能力的实弹演示。
Crouzeix猜想
共 1 条相关 AI 资讯
8月15日
00:42
北京神经外科住院医师Shanmu Jin用GPT-5.6-Sol在ChatGPT Work中自学脑超声数学时，将模型断网启动，16小时后获得Crouzeix猜想的证明。该猜想由Michel Crouzeix于2004年提出，22年未解。数学家Alex Townsend参与验证，称几年前难以想象AI能在重大猜想证明中贡献决定性思路。