KI löst Mathematikprobleme
Ein KI-Modell von OpenAI hat offenbar
Lösungen für
offene Mathematik-
Die Veröffentlichung von
wissen-
schaftlichen Arbeiten sorgt in der
Forschungsgemeinde für Aufsehen.
Dem KI-Modell wurden mehr als 4.000
Aufgaben vorgelegt. Durchschnittlich
benötigte das System etwa drei Stun-
den Rechenzeit pro Problem. Ein Teil
der Ergebnisse wurde mit der Pro-
grammiersprache Lean überprüft.
