Formula-One Prompting

新的 Formula-One Prompting 提升 LLM 数学解题能力

研究人员开发了一种名为 Formula-One Prompting (F-1) 的新提示技术，显著提高了语言模型解决应用数学问题的能力。F-1 提示模型首先形式化问题的控制方程，然后再采用选定的求解策略，如 Chain-of-Thought 或 Program-of-Thought。这种源自对数万亿个 token 分析的方程优先方法，在各种基准测试中，尤其是在金融领域，通过以更少的 token 实现更高的准确性，证明比现有方法更有效。