OpenAI hat hunderte mathematische Beweise mit maschineller Verifizerbarkeit (in Lean) auf GitHub veröffentlicht – ein bedeutsamer Schritt für die automatisierte Mathematik. Jeder Beweis erforderte durchschnittlich etwa drei Stunden Rechenzeit mit ChatGPT Pro Thinking. Die Initiative wirft allerdings tiefe Fragen auf: 25 renommierte Fields-Medaillen-Träger warnen davor, dass die Massenproduktion von mathematischen Wahrheiten den „fruchtbaren Boden" der Forschung zerstören könnte, statt echte neue Erkenntnisse zu fördern. Dies berührt eine fundamentale Debatte über die Rolle von KI in der Wissenschaft – nutzt sie uns oder erstickt sie kreative Forschung?
