OpenAI präsentiert einen Durchbruch: Eine interne Version des kommenden Frontier-Modells Astra hat zehn mathematische und theoretische Informatik-Probleme gelöst, an denen die Forschung jahrzehntelang stagnierte. Das Unternehmen gibt unter 2.000 Dollar pro Lösung aus und stellt sogar Lean-4-Formalierungen sowie einen Paper mit LLM-generierten Beweiswerkzeugen zur Verfügung. Der Fund kommt kurz nach ähnlichen Claims von Anthropic (cryptographische Schwächen mit Claude) und wirft tiefe Fragen auf: Mathematiker debattieren kontrovers, ob dies eine Befreiung der Disziplin oder eine „spirituelle Krise" bedeutet. Terence Tao sieht darin die Chance für „Big Mathematics" – eine Zukunft, in der Menschen die kreative Arbeit leisten und KI die technische Schwerstarbeit übernimmt.
