OpenAI hat Hunderte von KI-generierten Lösungen und Beweisen für Mathematikprobleme veröffentlicht, darunter 722 Manuskripte eines neuen Modells. Diese Entwicklungen haben zu einer Diskussion unter Experten geführt, ob KI Mathematiker ersetzen kann, während Stephen Wolfram erklärt, dass sie dies nicht tun wird. Die mathematische Gemeinschaft steht vor der Herausforderung, sich neu zu erfinden, um mit den rasanten Fortschritten Schritt zu halten. Die jüngsten Erfolge, darunter die Lösung der Quasi-Riemann-Hypothese, haben zu Bedenken über die Rolle von KI in der Mathematik und dem Vertrauen in die von Algorithmen produzierten Ergebnisse geführt.