Ein OpenAI-Modell half Forschern dabei, ein Gegenbeispiel zu einer 80 Jahre alten Erdős-Vermutung zu finden — ein konkreter Fall von KI-gestützter mathematischer Entdeckung.
Ein OpenAI-Modell widerlegt autonom eine Erdős-Vermutung von 1946; Aleph Prover formalisiert das Ergebnis in Lean 4 — erste KI, die ein bedeutendes offenes Matheproblem löst.
OpenAIs universelles LLM löste die seit 1946 offene Erdős-Einheitsdistanzvermutung ohne speziellen Scaffold oder Fine-Tuning — bestätigt von OpenAI-Forscher Noam Brown.
Googles AlphaProof Nexus löste 9 offene Erdős-Probleme (zwei davon seit 56 Jahren offen), 44 OEIS-Probleme und zwei jahrzehntealte mathematische Herausforderungen per Gemini-Agentensuche.
OpenAIs allgemeines KI-Modell widerlegt eigenständig eine 80 Jahre alte Erdős-Vermutung — der erste KI-Durchbruch bei einem zentralen offenen Problem der Kombinatorischen Geometrie.
DeepMinds KI-Mathematiker erzielt 48 % auf FrontierMath Tier 4 und setzt damit einen neuen KI-Rekord auf dem anspruchsvollsten formalen Mathematik-Benchmark.
OpenAIs GPT-5.4 Pro trug zur Lösung eines 60 Jahre alten Erdős-Problems bei — ein konkreter Meilenstein für KI-gestützte Mathematikforschung.
Kuratierte AI-Einblicke — wir senden, wenn es sich lohnt.