AI最新动态共1篇
由AIHOT聚合 · 原文见来源

AI快讯

AIHOT

精选快讯 3条

Axiom 智能体集群用 24 天完成有限单群分类定理的机器验证

简短导读

作者称 Verified AI 迎来标志性月份,Axiom 的 AI 智能体集群用 24 天完成数学史上最长证明的验证,将跨越 500 多篇论文的 15,000 页有限单群分类定理(CFSG)转化为 3800 万行以上机器验证代码,并发现已发表记录中的 34 处严重出入。引用内容补充称该形式化证明可能是最大的开源项目之一,图中显示 Axiom CFSG 达 …

行业资讯 · X:Rohan Paul (@rohanpaul_ai) · 发布

数据范围与核验

最近168小时内具有真实发布时间、已取得且经共享完整发布水位确认的外部精选缓存。公开接口分页结束不代表覆盖完整;迟到记录及尚未取得的内容可能缺失。撤回最迟在下一完整共享核验提交后生效;部分同步期间保留上次完整结果。

资讯核验:11-03 22:32

热点核验:11-03 22:32

本站文章与深度解读

本分类的本站内容;筛选、排序与分页沿用原栏目。