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.
ESMFold2 erscheint vollständig offen mit 6,8-Milliarden-Protein-Atlas, übertrifft AlphaFold3 bei Proteinkomplexen und validiert therapeutische Bindemittel.
Karpathy tritt Anthropics Pretraining-Team bei, um Claudes Einsatz für die Forschungsbeschleunigung zu leiten — ein Modell-beschleunigt-eigenes-Training-Kreislauf auf Frontier-Lab-Niveau.
NanoGPT-Bench zeigt: Coding-Agenten wie Codex und Claude Code erreichen nur 9,3 % des menschlichen KI-F&E-Fortschritts – sie optimieren Hyperparameter, verpassen aber algorithmische Durchbrüche.
Aleph (Logic International) besteht PutnamBench, VeriSoftBench und Verina. Vollautonomer formaler Verifikationsagent erreicht neue SOTA in allen wichtigen Theorem-Benchmarks.
Neue Studie: Experten-Persona-Prompting ('du bist ein Physiker') verbessert die Genauigkeit bei frontier-Modellen nicht mehr. Die Basiskompetenz macht die Technik obsolet.
Yann LeCun verließ Meta Ende 2025 und gründete das Pariser AMI Labs mit einer Vor-Launch-Bewertung von 3,5 Mrd. USD, das auf Weltmodelle statt LLMs setzt.
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.