Etwas wirklich Großartiges an der Autoformalisierungs-AI ist, dass wir sehr zuversichtlich in die Gültigkeit dieser generierten Beweise sein können. Dies ist ein Verifizierungsniveau, das viele von Menschen verfasste Arbeiten vermissen und von dem sie profitieren würden. Vielen Dank an das großartige Aristoteles-Modell von @HarmonicMath!

GPT-5.2 ist wirklich ein gutes Modell in Mathe, Sir OpenAI hat da gut mit dem Knoblauch gekocht

Eines ist mir sehr klar: Alle anderen Labore sind OpenAI in Bezug auf das Denken so weit hinterher, und das ist nicht einmal nah dran. Die anderen Labore müssen Halluzinationen und Faulheit in den Griff bekommen.