Mathematiker gegen Maschinen? Warum KI-Beweise für Streit sorgen

OpenAI und andere KI-Firmen liefern mathematische Durchbrüche. Doch viele Fachleute warnen vor mangelnde Nachvollziehbarkeit, Kontrollverlust und Wissensraub