Millennium-Probleme 10.000 KI-Agenten liefern nach 88 Stunden einen Millennium-Beweis Rund 10.000 KI-Agenten erzeugten in 88 Stunden einen 165-seitigen Beweis zu einem der sieben Millennium-Probleme der Mathematik.