首页
如果只用数学书训练大语言模型,能训练出超过普通数学家水平的模型吗?
2023-08-25 阅读 14
只用数学书训练的大模型在记忆、检索和组合已有定理、生成常见证明框架和解题思路上很可能超过普通数学家,尤其在处理大量已发表结果和例题时效率更高。但仅靠文本学习很难稳定地产生真正的原创性突破或提供完全严密、可验证的新证明,缺乏实验验证、形式化检验和交互式探索会成为瓶颈。要想在创造力和可靠性上显著超越人类,需要把文本训练与符号计算、证明辅助工具和反馈机制结合起来。
更新于 2025年12月25日