Modelle333•01.08.2026, 15:30OpenAIs Astra-Modell löst zehn komplexe offene mathematische Probleme2 Min. LesezeitLesen
Modelle0•27.10.2026, 07:37OpenAI und Anthropic veröffentlichen Widerlegungen der Exponential-Time-Hypothesis1 Min. LesezeitLesen
Modelle140•07.10.2026, 08:17OpenAI veröffentlicht 722 mathematische Abhandlungen nach Versuch, 4.000 offene Probleme zu lösen1 Min. LesezeitLesen
Modelle397•05.09.2026, 06:15Claude formalisiert den Beweis des Großen Fermatschen Satzes3 Min. LesezeitLesen
Modelle149•15.10.2026, 21:02OpenAI stellt 5 Millionen US-Dollar bereit, damit Mathematiker kürzliche KI-Beweise verstehen2 Min. LesezeitLesen
Modelle246•01.08.2026, 10:45OpenAI stellt Astra vor: Eine neue Modellfamilie für langfristige Aufgaben2 Min. LesezeitLesen
Modelle373•11.08.2026, 07:00Claude verbessert die Schätzung der Nullstellen der Riemannschen Zeta-Funktion2 Min. LesezeitLesen
Modelle154•12.10.2026, 17:49KI-Digest der Woche: Claude Haiku 5.5, Mistral Large 4, Gemini und Odyssey-33 Min. LesezeitLesen
Agenten509•23.09.2026, 05:3710 Opus-5.5-Agenten entdecken kürzeste-Pfad-Algorithmus, der Dijkstra in 15 Stunden schlägt3 Min. LesezeitLesen
Vibe Coding132•11.10.2026, 18:31Claude Code: Haiku-Subagents auf reine Code-Exploration beschränken2 Min. LesezeitLesen
Modelle421•21.09.2026, 05:33Jensen Huang: Das Narrativ der „außer Kontrolle geratenen KI“ ist ein Schlupfloch zur Umgehung bestehender Gesetze3 Min. LesezeitLesen