Bild: KI-generiertOpenAI meldet Lösung des Navier-Stokes-Problems
OpenAI will das seit rund 90 Jahren offene Navier-Stokes-Problem mit etwa 10.000 parallelen KI-Agenten gelöst haben. Der Beweis wurde in Lean formalisiert, doch eine unabhängige Begutachtung und die Anerkennung durch das Clay Mathematics Institute stehen noch aus.
Bild: KI-generiertClaude formalisiert Fermats Beweis in 13 Mio. Zeilen
Anthropic hat mit einem Schwarm aus Claude-Agenten eine computerverifizierte Fassung des Beweises von Fermats letztem Satz erstellt. Entscheidend waren nicht nur die Modelle, sondern die Orchestrierungsplattform Prove2Me und rund sechs Milliarden Output-Token. Für Unternehmen zeigt das Projekt sowohl das Potenzial formaler Verifikation als auch deren erheblichen Ressourcenbedarf.