本記事ではLLMによる定理証明における重要な進展を紹介します。 定理証明は、LLMの推論能力を客観的に評価できる重要な指標としても注目されていますが、学習データの不足が大きな課題となっています。スタンフォード大学の研究チ … 続きを読む LLMの定理証明力を2倍に向上させる「予想と証明を繰り返させる」手法　限られたデータの中で