【#AI写出1600万行数学代码#】 眼前这块像活字印刷的东西,其实是AI写的数学代码。 Axiom把七千多页的Stacks Project炼成约1600万行Lean库并开源;人工细审大约只占千分之二,代码和对照站都已公开:http://t.cn/AXYqdvGD #AI# #形式化数学# #Lean# http://t.cn/AXYVxk3B
0
2
4