[これはFrancesco Maggi氏によるゲスト投稿です。このブログ記事は当初、異なるファイル形式で書かれ、AIによって変換されました。— T.] 大規模言語モデル（LLM）とその周辺に構築された研究システム（一般に「人工知能」として知られる）は、数学的証明の生成において驚くべき能力を示しています。その品質と限界は […]