Ein KI-Sprachmodell von OpenAI hat eine 80 Jahre alte Vermutung von Paul Erdös widerlegt – und damit erstmals ein wirklich bedeutendes Problem der Mathematik gelöst.
Durch eine ungeahnte Verbindung zwischen Geometrie und Wahrscheinlichkeitstheorie haben Fachleute eine wichtige Vermutung bewiesen. Dabei hat ihnen auch ChatGPT geholfen.