OpenAI berichtet, dass sein System Astra zehn klassische mathematische Probleme mit Lean-zertifizierten Beweisen gelöst hat – zu Kosten von nur etwa 2.000 Dollar an Token. Das klingt nach einem Wendepunkt für wissenschaftliche Entdeckungen, wirft aber kritische Fragen auf: Wie schnell können Experten diese Beweise wirklich validieren? Und was bedeutet das für Mathematiker als Beruf? Das Item behandelt auch größere Trends wie Agent-Sicherheit, Hyperscaler-Investitionen und den Aufstieg ultraeffizienter kleiner Modelle – ein Blick auf strukturelle Veränderungen in der KI-Ökonomie.
