标签：定理证明
消耗1830亿token，Meta用AI把数学教材翻译成了一个超大Lean库
近期，人工智能在数学领域的应用取得了突破性进展，标志着数学研究正经历一场深刻的变革。Google DeepMind的最新系统通过结合大语言模型与形式化验证工具，成...
证明也有「选择困难症」？腾讯AI Lab与大模型研究部联手打造 MPS-Prover ，多视角破解形式化推理瓶颈！
自动化定理证明（ATP）是人工智能、数学及形式化方法领域的核心挑战，旨在为数学或逻辑陈述自动生成形式化、可验证的证明。尽管大语言模型（LLM）在非形式化...
DeepSeek开源Prover-V2强推理模型，网友：奥数从没这么简单过
DeepSeek团队在五一劳动节期间发布了DeepSeek-Prover-V2，这是一款专为数学AI编程语言Lean 4打造的开源大语言模型，专注于形式化定理证明。该模型在定理证明...
