Bloomberg zufolge erklärte OpenAI vergangenen Monat, einen KI-generierten Beweis für das Navier-Stokes-Problem erstellt zu haben. Dem Bericht zufolge lösen große Sprachmodelle, die früher beim Zählen schlecht abschnitten, inzwischen mathematische Probleme, an denen sich Menschen seit Jahrzehnten die Zähne ausbeißen.

Bloomberg berichtete außerdem, dass KI den Bildungsbereich vor neue Herausforderungen stellt: Lehrkräfte haben zunehmend Schwierigkeiten, da LLMs inzwischen die Hausaufgaben der Schüler erledigen können. Justin Solomon, stellvertretender Dekan für Ingenieurausbildung am Massachusetts Institute of Technology, spricht darüber, wie Mathematiker darauf reagieren und wie er seinen Unterrichtsansatz verändert.