完成

分类

形式化

联名文章的作者们预计，三年之内，大部分数学都能以可供继续构建的方式完成形式化。

文章

影响

这家2025年成立的公司此前已相继完成了素数间隔246定理的形式化，把张益唐2013年开启的素数间隔前沿结果完整搬进了交互式定理证明器Lean（一种既能编写程序、也能检查数学证明的软件）；

文章