#1 （转载）Re: 陶哲轩又送福利，数学分析1被改写成了Lean语言形式，想学AI数学证明的可以看看
发表于 ： 2025年 7月 1日 00:06
此帖转自 heteroclinic 在 STEM 的帖子：Re: 陶哲轩又送福利，数学分析1被改写成了Lean语言形式，想学AI数学证明的可以看看
苏联笑话
废纸篓里三张废纸在白话
A : 我支持AI
B : 我反对AI
C : 我就是AI
苏联笑话
废纸篓里三张废纸在白话
A : 我支持AI
B : 我反对AI
C : 我就是AI