分页: 1 / 1

#1 (转载)Re: 陶哲轩又送福利,数学分析1被改写成了Lean语言形式,想学AI数学证明的可以看看

发表于 : 2025年 7月 1日 00:06
huangchong
此帖转自 heteroclinic 在 STEM 的帖子:Re: 陶哲轩又送福利,数学分析1被改写成了Lean语言形式,想学AI数学证明的可以看看

苏联笑话
废纸篓里三张废纸在白话
A : 我支持AI
B : 我反对AI
C : 我就是AI