KI wird gut in Mathe. Hier ist der Grund.

Der Essay berichtet, dass ein internes OpenAI-Modell die Erdős-Einheitsdistanz-Vermutung (offen seit 1946) widerlegt, die Cycle-Double-Cover-Vermutung bewiesen und zehn weitere offene Probleme gelöst hat — und analysiert warum: Modelle suchen tiefenzuerst mit automatisierten Verifizierern und tauschen Zeit gegen Rechenleistung, sodass gewöhnliche Hinweise umsetzbar werden und Fehlversuche zu negativen Hinweisen. OpenAI-Mathematiker Jacob Tsimerman wird zitiert: KI könne länger und in tückischeren Gewässern spielen als Mathematiker, ohne überwältigt zu werden. Wichtig als Rahmen zur Vorhersage, welche Probleme die KI als Nächstes knackt.

• Latent Space2026-10-23 15:19