察元AI教程库 · 文章 · 提示词

少即是多：认知负荷与LLM数学推理中的单提示天花板

我们系统性地研究了在SAIR等式理论阶段1竞赛背景下，用于形式数学推理的提示工程。该任务要求判断一个等式定律是否在所有魔方上隐含另一个等式定律——这是一个一般情况下不可判定但可判定的问题

作者:Manuel Israel Cazares · 语言:en

简介