https://www.quantamagazine.org/at-the-international-mathematical-olympiad-artificial-intelligence-prepares-to-go-for-the-gold-20200921/

AIが数学オリンピックで優勝する日は来るのか？
2012年からこの試みは行われてきた

AlphaGoなどが活躍するボートゲームと比べて何が難しいかといえば、特定の空間の定義や要素の制限など統一されたルールが無いことである
従って、あらゆる数学のコンセプトから自らルールを探すことは現状、不可能というかムーンショットの一部に入る

今できることは、数学のライブラリの充実化と数学オリンピックの過去問のかなり厳密な証明準備し、
これらをフィードして試して行くしかない。

来年から数学オリンピックにAIも参戦することは
興味がそそられる