DeepMind最近在自然杂志上发表了一篇名为FunSearch的论文，该论文使用LLM引导的函数搜索，寻找数学和计算机科学中的开放问题的解决方案。它解决了capset问题，并发现了迄今为止最大的capsets。FunSearch的算法可以在...

FunSearch是一种人工智能系统，可以与特别训练的大型语言模型进行交互，创建生成数学问题解决方案的计算机程序。该系统会检查这些解决方案是否优于已知的解决方案，如果不是，它会向LLM提供反馈，以便下一轮改进。它...

最近的一项研究引入了一种名为“从错误中学习”（LeMa）的方法，通过从错误中学习来教授大型语言模型解决数学问题，类似于人类学生通过纠正错误来提高自己。

ToRA是一系列工具集成的推理代理人，旨在通过与工具交互来解决具有挑战性的数学推理问题。通过与定理证明器、计算机代数系统等工具进行交互，ToRA能够发现新的证明策略，并在证明过程中自动应用这些策略。目前，ToRA...

近日，人工智能技术公司Hugging Face Hub发布了一款名为Math Mistral的模型，该模型针对数学及推理能力进行了训练，具备强大的能力和广泛的应用场景。 Math Mistral是一种基于自然语言处理技术的模型，它可以帮助用...

尽管有人声称MathGLM可以解决数学问题，但实际上它仍然无法胜任这项任务。这一现象凸显了仅仅依赖于大型语言模型的局限性。近年来，基于神经网络的自然语言处理技术取得了长足进步，但在某些特定领域，仍然需要更为...

证明助手工具（如Lean）是在计算机上形式化和证明数学概念的神奇方法。Morph Labs正在与许多团体合作建立开放式的证明助手。其第一个模型基于Mistral，极为高效，并有望帮助开启更多数学知识。

在自然语言处理领域，语言模型已经取得了重大的突破，但是在数学领域，语言模型的应用却相对较少。Llemma是一种面向数学的开放式语言模型，它基于GPT-3模型，可以处理数学领域的自然语言文本，如数学公式、定理和证...