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