Stephen Wolfram: Warum KI die reine Mathematik nicht ersetzen wird
What's the Future for Pure Math Research in the Age of AI?
Stephen Wolfram widerspricht der These, KI könne die mathematische Forschung übernehmen. Er argumentiert, dass reine Mathematik auf menschlicher Vorstellungskraft beruht, die bestimmt, welche Fragen gestellt werden. Moderne KI sei zwar nützlich, um die Wissensbasis der Mathematik zu durchsuchen und Verbindungen herzustellen, doch sie bleibe auf vorhandenes Wissen beschränkt. Echte neue Mathematik entstehe durch Computation und menschliche Kreativität – nicht durch bloßes Ableiten aus Axiomen.
Am Kern der reinen Mathematik steht die menschliche Vorstellungskraft, die bestimmt, welche Fragen gestellt werden.
- alok-g
Ich sehe zwei Annahmen im Kernargument, die beide angreifbar sind.
1. KI kann Beweise führen, aber die Entscheidung, welche Probleme gelöst werden sollen, welche Mathematik nützlich ist, liegt bei Menschen.
2. Die ausgewählte Mathematik muss für Menschen verständlich sein.
Zu #1: KI könnte eine bedeutende, wenn nicht sogar übernehmende Rolle dabei spielen, herauszufinden, welche Mathematik nützlich ist.
Zu #2: Verständlichkeit für Menschen mag vorerst gut sein, könnte sich aber auch als erhebliche Einschränkung erweisen. Korrektheit ist ein Ziel, Vertrauen ist eine wichtige Anforderung, menschliche Verständlichkeit mag ein Zwischenschritt dorthin sein, aber nicht unbedingt das Endziel.
Mit anderen Worten: Der Artikel mag den aktuellen Stand der Technik widerspiegeln, aber schon in ein paar Jahren könnte er nicht mehr haltbar sein.
- veexx103
Einige Argumente basieren auf „früheren Erfahrungen...“
Allerdings sind solche Erfahrungen keine absoluten Wahrheiten und können nicht mit der aktuellen Situation gleichgesetzt werden.
- suopspaces
Vom Autor gelesen https://www.youtube.com/live/gPrWX8i1htM (mit mehrfachen Erwähnungen der Wolfram-Sprache und dergleichen)
- jaykru
Wolfram liefert eine sehr wichtige und nüchterne Einschätzung zum gegenwärtigen Zustand und zur Zukunft der reinen Mathematik. Ich habe folgende Kernaussagen mitgenommen:
1. Ein wesentliches Ziel der Mathematik ist menschliches Verständnis. Die Berechnung von Beweistermen bereichert nicht unbedingt das menschliche Verständnis. Der Beweis des Vier-Farben-Satzes ist ein gutes Beispiel, und formale Verifikation/SAT-Solving liefert viele weitere: Das sind Ergebnisse, denen man bis zu dem Grad vertrauen kann, wie man dem System vertraut, das sie erzeugt hat, und sie können in der Praxis genutzt werden, aber sie bereichern nicht unbedingt unser Verständnis. Stellen Sie sich einen Computer mit nahezu unendlicher Beweissuchkraft vor, losgelassen auf die aktuellen menschlichen Definitionen, Theoreme und das Verständnis der Mathematik. Angenommen, er konstruiert einen Beweis für ein neues Theorem an unserer mathematischen Front. Der kürzeste solche Beweis in Bezug auf derzeit verstandene Definitionen und Konzepte könnte so lang und mechanisch sein, dass die gesamte Abstammungslinie der Menschen bis zum Ende des Universums ihn nicht zu Ende lesen könnte. Obwohl er sich also mit der Tätigkeit von Mathematikern überschneidet, ist diese Art der computergestützten Beweissuche nicht Mathematik als solche. Das ist eine wichtige Unterscheidung, die viele Menschen nicht zu erfassen scheinen und manche als Bewältigungsstrategie abtun.
2. Die menschliche Tätigkeit des Theoriebildens, die ansonsten monströse Beweise wie den oben diskutierten in leichte konzeptionelle Argumente verwandelt, die ein Mensch verstehen kann, scheint derzeit für Modelle außer Reichweite. Vielleicht werden sie das in Zukunft tun, aber es ist noch nicht die c […]
- amelius
Was ist eine gute Exit-Strategie?