16小时自主运行、断网多分支审计，GPT-5.6帮协和神外医生金山木拿下Crouzeix猜想。更关键的是论文、提示词、Lean 4代码全开源，AI科研不能只看惊艳结果，复现链路才是硬标准。 协和医生用AI解决22年数学难题 ​