KI und Mathematik: OpenAI veröffentlicht hunderte neue KI-Beweise

Kurz nach der Lösung eines Millennium-Problems konfrontiert OpenAI die Mathewelt mit etlichen neuen Ergebnissen: 372 neue Durchbrüche sollen einzelne KI-Agenten erzielt haben.