Das KI-Unternehmen hat ein internes KI-Modell auf tausende Probleme aus der Mathematik angesetzt. Fur ein Zehntel davon hat es relevante Losungen generiert.