.png)
11月12日，图灵奖得主姚期智与月之暗面创始人杨植麟首次联合发布研究，探讨AI参与数学研究的潜力。研究中，Kimi K3在图论极值构造任务中，将124个点的无三角形和四边形图边数从629条刷新至630条，突破人类参考纪录。此外，团队提出包含100项任务的TCSExam评测系统，全面测试AI科研能力。实验中，GPT-6 Astra成功将Alon-Jaeger-Tarsi猜想的证明范围从8维推进至9维。这表明AI已能在部分研究级任务上产出机器可核验的新结果，标志着AI科研正从辅助工具向实质性参与定理证明迈进。
原文链接
本文链接：https://kx.umi6.com/article/38749.html
转载请注明文章出处
分享至
打开微信扫一扫
内容投诉
生成图片
.png "38749")
相关推荐
.png)
换一换
投资界24h | SK海力士发巨额年终奖，人均64万；Kimi正敲定新一轮融资；上海浦东打造百亿国资运营平台
2026-01-21 12:03:45
解密Kimi：大模型应用当红顶流是如何练成的？
2024-05-20 14:39:07
Kimi 正在重新定义「AI 搜索」
2024-10-15 17:37:20
Kimi 发布视觉思考模型 k1：试题拍照给出答题思考全过程
2024-12-16 10:33:37
《Science》最新专访：中国材料科学领域顶级学者李昊和AI for Science的三项代表性工作
2026-05-11 17:22:58
我国最大规模科学智能集群接入全国一体化算力网
2026-04-28 16:27:10
体验Kimi的新功能后，我为月之暗面捏把汗
2025-04-30 22:06:18
被英伟达点名的杭州团队，补上了AI for Science的「最后一公里」
2026-09-16 12:34:38
Kimi 首个多模态功能体验，AI 一键为音乐生成MV，月之暗面不再只卷长文本
2024-11-18 12:24:36
国产大模型独角兽，困在光环里
2024-11-20 10:07:11
独家｜Kimi 新一轮10亿美元融资正在进行 估值涨至180亿美元
2026-03-14 19:22:08
黄仁勋2026大模型座上宾：杨植麟
2026-02-04 11:35:00
独家|Kimi连续融资超12亿美元 估值翻倍突破100亿美元
2026-02-17 14:30:36
790 文章
1082181 浏览
24小时热文
更多
-
2026-11-12 21:09:13 -
2026-11-12 21:07:43
-
2026-11-12 19:01:01
