标签：形式化证明
啥？陶哲轩18个月没搞定的数学挑战，被这个“AI高斯”三周完成了
Gauss是一款表现惊人的新AI Agent，它仅用三周时间就完成了陶哲轩和Alex Kontorovich提出的在Lean中形式化强素数定理的数学挑战，而陶哲轩等人花了18个月才取...
DeepSeek开源数学大模型，高中、大学定理证明新SOTA
数学家陶哲轩在牛津数学公开讲座中提出，人工智能（AI）与数学的结合将推动形式化证明的编写超越人类，这不仅将验证现有证明，还将创造新的数学知识。AI在形...
跨越300多年的接力：受陶哲轩启发，数学家决定用AI形式化费马大定理的证明
在数学界，人工智能的应用正在逐渐扩展，特别是在数学探索和证明方面。近年来，受到陶哲轩等人的启发，越来越多的数学家开始尝试利用人工智能，特别是定理证...
