今天看啥  ›  专栏  ›  机器之心

刚刚,Claude完成费马大定理首个完整形式化证明

机器之心  · 公众号  · AI  · 2026-09-05 07:08
    

原文地址: 访问原文地址
总结与预览地址:访问文章预览/总结
文章地址: 访问文章快照