← 返回话题列表

# 定理发现

相关话题

2024-06-16

AI for Math与形式化证明

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