Was bedeutet es für die Mathematik, dass OpenAI auf einmal über 700 KI-generierte Beweise offener Probleme veröffentlicht hat?

Am 6. Oktober veröffentlichte OpenAI über 700 Manuskripte mit angeblichen Lösungen offener Probleme. Die Reaktionen reichen von Interesse bis Trauer; geprüft wurde noch nichts.

• Neue Ära: KI beschleunigt mathematische Entdeckungen
• Nur wertvoll, wenn Menschen sie prüfen und verstehen
• Ein Verlust: die menschliche Schönheit des Entdeckens schwindet
• Übertreibung: die meisten Behauptungen halten nicht stand
• Beunruhigend: auch Verschlüsselung könnte gefährdet sein