登录

数学

分类

证明

Lean是一种编程语言，它允许计算机验证数学证明。

文章

研究

同时，数学研究的未来不能仅仅局限于理解人工智能实验室的成果。

文章

方向

查阅发现，上述数学成果包括米尔恩理性猜想与代数特化、准黎曼假设、希尔伯特第十问题等重要数学方向。

文章