Google DeepMindのAI「Gemini Deep Think」が、2025年国際数学オリンピックに公式参加して6問中5問を解き、金メダル相当の成績を達成した。人間が介在せず、自然言語の問題から直接証明を生成した。OpenAIのAIも非公式ながら同等の成績を記録している。