AlphaProof
https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level
by
Google DeepMind
AlphaProof と AlphaGeometry 2 というモデルで 2024 年国際数学オリンピック銀メダリストと同等レベルに達した
今後はAIが数学者と協力して仮説を探索し、長年の問題を解決する新しいアプローチを試みる