LLMはどんな数学が得意なのか？ティム・ガワーズが語る

Tim Gowers: What sort of maths are LLMs good at?

OpenAIが数学と理論計算機科学の10の主要問題を解決したことを受け、ティム・ガワーズはLLMがどのような数学的問題を得意とするのかを考察する。反例の発見に強いという説を検証し、ヴィノグラードフの定理とグルスキンの定理を例に、量化子の構造と問題の本質を分析。LLMの現在の能力と限界を探る。