姚期智与杨植麟联合发布TCSExam评测框架，Kimi在图论构造中多出一条边

姚期智与月之暗面创始人杨植麟联合提出TCSExam评测框架，用100项理论计算机科学任务测试AI科研能力。Kimi K3构造出630条边的无三角形无四边形图，刷新629条边的参考纪录；GPT-6 Astra将Alon–Jaeger–Tarsi猜想的已知证明范围从8维推进至9维。