Anthropic
Claude 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.
