形式化证明 - AI话题

2024-06-16

陶哲轩等顶尖数学家公开宣称AI将颠覆数学研究，Lean等形式化工具可一次性秒杀成百上千条定理，预示数学证明进入“半自动化”时代，为AI科学发现树立新范式。

2024-04-09

菲尔兹奖得主陶哲轩等领衔的《美国数学学会通报》特刊集中发表11篇论文，系统展示大模型在猜想生成、证明辅助与形式化验证中的突破性应用，预示AI将重塑数学发现与验证流程。

AI快开门