【#人类史上最大数学证明被AI形式化了#】
人类史上最大数学证明被AI压成4310万行LEAN代码！Axiom让AI与数学家协作，仅用24天便将有限单群分类定理转化为4310万行Lean代码。这个由上百位学者积累几十年的巨型证明，终于可以交给计算机逐行验证。
#数学# #LEAN# #AI# #有限单群分类定理# http://t.cn/AXj8XRpO
量子位
【#人类史上最大数学证明被AI形式化了#】
人类史上最大数学证明被AI压成4310万行LEAN代码！Axiom让AI与数学家协作，仅用24天便将有限单群分类定理转化为4310万行Lean代码。这个由上百位学者积累几十年的巨型证明，终于可以交给计算机逐行验证。
#数学# #LEAN# #AI# #有限单群分类定理# http://t.cn/AXj8XRpO