大規模言語モデル

ケンブリッジ大学の数学者ティモシー・ガワーズによる、大規模言語モデルが数学的証明発見においてなぜもっと優秀でないのかを探求する講演である。加法組合せ論の具体例を通じて、LLMが「推測と検証」に過度に依存し、人間のように失敗から学んで調整する...