杨植麟、姚期智发布TCSExam 基准(100)

💥炸了！Kimi创始人杨植麟 x 图灵奖得主姚期智首次联手推出新论文，抛出真正的理论计算机科学“科研考卷”TCSExam！其中GPT-6 Astra裸考定理证明直接70%！Kimi K3.1 Pro紧随其后38.3%！其余模型全灭！

100道专家级任务，覆盖定理证明、求解器工程、数学构造、开放猜想，全部用Lean内核或可执行检查器硬核验证。

结果如下：
🔹定理证明：GPT-6 Astra在“只给命题、零提示”下成功率高达70%，Kimi K3.1 Pro第二名38.3%，其他模型最高不到12%。

🔹数学构造：GPT-6 Astra综合得分104.9%，直接超过人类现有最优结果！
Kimi K3实打实刷新纪录
▫️124顶点无3/4环图边数从629推到630
▫️量子纠错码从[[25,7,5]]提升到[[25,7,6]]

🔹开放猜想：30个真正未解决的猜想，目前没有任何模型能独立完整攻克。

结论很清晰：AI还不能独自攻克最前沿开放问题，但它已经能产出可验证、可被人类继续推进的真实科研成果，甚至开始改写记录。

理论计算机科学的新时代，真的来了。

论文：
#TCSExam #姚期智 #杨植麟 #AI科研 #大模型 #GPT6Astra #Kimi #清华大学