Zuletzt habe ich mich besonders für die faszinierenden Mathematikfähigkeiten großer KI-Sprachmodelle interessiert. Sie werden für das traditionelle Fach zunehmend zur Herausforderung, wie ich für den Standard berichtet habe.

Insbesondere hat mich die Lösung eines der Millenium Prize Problems durch KI-Modelle interessiert, ebenso wie ein Wettrennen zwischen einer österreichischen Mathematikerin und mehreren KI-Unternehmen. Enjoy!

Der Kriminalfall um den KI-Beweis eines der wichtigsten Mathematikprobleme

Junge steirische Mathematikerin sorgt mit Beweis über Primzahlen für Furore

KI schrieb bei „neuer“ Lösung von Matheproblem von Menschen ab, ohne sie zu zitieren

Terence Tao: Beweise sind nicht mehr das Wichtigste in der Mathematik

Künstliche Intelligenz: Wie lange sind wir Maschinen noch überlegen?

KI findet verblüffend einfache Lösung für ein Jahrhundertproblem der Mathematik

Bisher bedeutendster mathematischer Beweis mittels Sprach-KI verblüfft Fachleute