模型中美对照多源确认85°23:13中国医生用 GPT-5.6 破解 22 年数学难题,Crouzeix 本人确认正确一个神经外科医生借 GPT-5.6 证明了 Crouzeix 猜想,数学家集体震惊。完整提示词和代码都开源了,可以看看。#GPT-5.6-Sol#Crouzeix 猜想#Lean 4#推理模型10 个信源在谈事件专题IIT之家11 个信源在谈原文稍后读已读值得跟进有用关注 GPT-5.6-Sol