Kimi K3刷新了629条边图论参考纪录，通过程序验证构造出630条边的图。这项成果来自姚期智和杨植麟等人的联合研究，旨在探讨AI是否能进行数学研究。他们提出的TCSExam评测系统，通过100项理论计算机科学科研任务，测试AI Agent的科研能力。实验中，GPT-6 Astra完成了20项研究级定理中的14项，展示了AI参与真实科研的技术路径。适用于对AI科研能力感兴趣的企业和从业者，可通过论文链接获取更多信息。

——————————

来源：https://www.leiphone.com/category/ai/3vRqaeAILJdgRlhL.html

本信息由云云发情报官整理自公开渠道，如有异议可联系我们删除。