标签：自动证明
消耗1830亿token，Meta用AI把数学教材翻译成了一个超大Lean库
近期，人工智能在数学领域的应用取得了突破性进展，标志着数学研究正经历一场深刻的变革。Google DeepMind的最新系统通过结合大语言模型与形式化验证工具，成...
Meta、斯坦福等：AI的下一个前沿，正是陶哲轩说的形式化数学推理
近期，AI在数学领域的应用取得了显著进展，特别是在形式化数学推理方面。著名数学家陶哲轩认为，未来数学家可以通过AI助手来解释证明，AI将证明形式化为Lean...
陶哲轩用AI证明方程理论，19天进度99.99%！论文即将上线
陶哲轩领导的方程理论项目取得了显著进展，目前完成度已达99.9963%。该项目汇集了专业和业余数学家、自动定理证明器、AI工具以及证明辅助语言Lean，旨在描述4...
