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

版主： huangchong

1 帖子 • 分页： 1 / 1

huangchong（净坛使者）楼主: 论坛元老

2023-24年度优秀版主; 帖子互动： 3499; 帖子： 55994; 注册时间： 2022年 7月 22日 01:22

帖子由 huangchong（净坛使者）楼主 » 2025年 7月 1日 00:06

此帖转自 heteroclinic 在 STEM 的帖子：Re: 陶哲轩又送福利，数学分析1被改写成了Lean语言形式，想学AI数学证明的可以看看

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

1 帖子 • 分页： 1 / 1