察元AI教程库 · 文章 · 大模型

大型语言模型作为证明者和验证者的数学应用

在2024年和2025年，关于大型语言模型（LLMs）证明定理能力的讨论开始报告出有趣的成功案例，主要涉及难题（如国际数学奥林匹克竞赛问题），也包括猜想 [Feldman & Karbasi, arXi

作者:Hieu Le Duc, Leo Liberti · 语言:en

前往原址学习

简介

在2024年和2025年，关于大型语言模型（LLMs）证明定理能力的讨论开始报告出有趣的成功案例，主要涉及难题（如国际数学奥林匹克竞赛问题），也包括猜想 [Feldman & Karbasi, arXi

返回教程库 · 察元AI产品家族