定理发现 - AI话题 - AI快开门

2024-06-16

AI for Math与形式化证明

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

AI数学 Lean 形式化证明陶哲轩定理发现