导语：本轮最重要的四件事：Kimi K3 与姚期智、杨植麟团队联合发布 TCSExam 评测框架，并构造出 … Continue reading “【AI观察】2026-11-12 21:00 — Kimi K3 联手姚期智团队刷新图论纪录，AI 首次产出「机器可核验」的数学研究成果”
导语：本轮最重要的四件事：Kimi K3 与姚期智、杨植麟团队联合发布 TCSExam 评测框架，并构造出 … Continue reading “【AI观察】2026-11-12 21:00 — Kimi K3 联手姚期智团队刷新图论纪录，AI 首次产出「机器可核验」的数学研究成果”