#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