先了解这件事
摘要更新于 10-30 04:34 · AI 根据来源整理 · 每句均有原文出处- AI数学公司Axiom宣布，其AI智能体在Lean证明助手中完成有限单群分类定理的完整形式化验证，历时24天写出约4310万行代码并开源。1
热榜标题称“AI完成证明”，检索材料称系Axiom公司AI智能体完成形式化验证，主体与性质需以公司公告为准。
Axiom称AI智能体完成有限单群分类定理形式化验证
首次上榜 10-29 21:09 · 最近在榜 10-30 09:04
本轮未出现在准入热榜上
热度走势
近 24 小时 · 每 30 分钟计算一次报道时间线
按原文发布时间 · 网络检索列在最后没有找到同一事件的快讯报道。摘要引用的是下面的网络检索。
- 网络检索
