11月12日，图灵奖得主姚期智与月之暗面创始人杨植麟首次联合发布研究，探讨AI参与数学研究的潜力。研究中，Kimi K3在图论极值构造任务中，将124个点的无三角形和四边形图边数从629条刷新至630条，突破人类参考纪录。此外，团队提出包含100项任务的TCSExam评测系统，全面测试AI科研能力。实验中，GPT-6 Astra成功将Alon-Jaeger-Tarsi猜想的证明范围从8维推进至9维。这表明AI已能在部分研究级任务上产出机器可核验的新结果，标志着AI科研正从辅助工具向实质性参与定理证明迈进。