Darunter einige der bedeutendsten: KI von OpenAI soll Hunderte Mathematik-Probleme gelöst haben