今年のIMOで金メダルレベルの成績を収めました!私たちのモデルは、明確で平易な英語で証明を考え、書きます - 正式なコードは必要ありません。 過去のコンペティションで使用されていた狭いシステムとは異なり、私たちのモデルは、コンテストの問題をはるかに超えて、広く推論するように構築されています。