新浪新闻客户端

新浪看点

新闻看点>正文
新浪新闻客户端
新浪新闻客户端
新浪新闻公众号
新浪新闻公众号
新浪新闻视频号
新浪新闻视频号
新浪新闻抖音
新浪新闻抖音
新浪新闻快手
新浪新闻快手
新浪新闻小红书
新浪新闻小红书
新浪新闻B站
新浪新闻B站
热搜时代小宇宙
热搜时代小宇宙
×
点击任意位置关闭

AI写出1600万行数学代码

AI写出1600万行数学代码
2026年11月07日 11:01 新浪网 作者
avatar
知识引力场
缩小字体 放大字体 收藏 微博 微信 0
AI写出1600万行数学代码 AI写出1600万行数学代码
【#AI写出1600万行数学代码#】眼前这块像活字印刷的东西，其实是AI写的数学代码。Axiom把七千多页的Stacks Project炼成约1600万行Lean库并开源；人工细审大约只占千分之二，代码和对照站都已公开：#AI# #形式化数学# #Lean#
特别声明：以上文章内容仅代表作者本人观点，不代表新浪网观点或立场。如有关于作品内容、版权或其它问题请于作品发表后的30日内与新浪网联系。
赛博对话
赛博对话
热搜时代
热搜时代
一天零一页
一天零一页
无双
无双
热浪之外
热浪之外
来自于： 河北
权利保护声明页/Notice to Right Holders

新媒体实验室

举报邮箱：jubao@vip.sina.com

Copyright © 1996-2026 SINA Corporation

All Rights Reserved 新浪公司 版权所有