Kann KI neuartige internationale Mathematik-Olympiadeprobleme in einigen Kategorien lösen ?
DeepMind's AlphaProof + AlphaGeometry 2 erreichte auf dem IMO 2024 Silbermedaillen-Niveau und näherte sich bis 2025 in Geometrie und Zahlentheorie Gold an. ---...