これは、最近噂を聞いたByteDance IMOの論文です。彼らは、リーンとLLMを使用するハイブリッドシステムを構築しました。彼らは、Seed-Prover と Seed-Geometry の 2 つのシステム (弱いリーン ジオメトリ機能を改善する) を使用して 5/6 の問題を解決することができました。 IIUCのみのシード・プロバーがIMOに公式に参加し、4/6を解決して銀メダルを獲得しました。