Viele von uns haben intuitiv das Gefühl, dass sich das Feld der Mathematik verändern wird. Lassen Sie uns also die wahrscheinlichen Ergebnisse entpacken, ohne auf Übertreibungen oder Pessimismus zurückzugreifen.

Hypothese #1: Die Anzahl der mathematischen Beweise und die aggregierte Menge an mathematischen Daten werden exponentiell wachsen. Diese Hypothese ist vielleicht unstrittig. KI-Modelle, unter der Anleitung von Menschen, erzeugen bereits enorme Mengen an Mathematik. Jetzt hat sich der Engpass von der Erstellung von Mathematik zur Überprüfung ihrer Richtigkeit verschoben. Aristotle, das @leanprover verwendet, löst das Verifizierungsproblem, indem es jeden Beweis maschinenprüfbar macht. Mit der Verbesserung der Technologie wird die Länge und Komplexität der erstellten Beweise weiterhin zunehmen.

Hypothese #2. In 10 Jahren wird es dramatisch mehr Mathematiker geben als heute. Durch die Automatisierung der mühsamen Verifizierung und das Beweisen einfacher Lemmas kann Aristotle nicht nur die Arbeit hochqualifizierter professioneller Mathematiker beschleunigen, sondern auch die Einstiegshürden für andere senken, um beizutragen. Zu unseren Beta-API-Nutzern gehören pensionierte Software-Ingenieure, Anwälte, Militärangehörige, Studenten und viele andere Menschen, die mathematische Ideen / Einfälle haben, aber Hilfe mit dem Formalismus benötigen und jemanden brauchen, der ihre Ideen verifiziert. Wir sollten erwarten, dass sich diese Trends beschleunigen.

Hypothese #3. Menschen werden im Zentrum der mathematischen Forschung bleiben. Das ist der große Punkt. Wenn wir auf die Geschichte zurückblicken – wir haben immer die Definition von Mathematik so verändert, dass sie das ist, was Maschinen nicht automatisieren können. Ein großer Teil der Arbeit eines Mathematikers im frühen 19. Jahrhundert bestand darin, Gleichungen zu lösen. Aber frühe Taschenrechner automatisierten einen Großteil dieser Routinearbeit, wodurch Mathematiker mehr Zeit für kreativere / abstraktere Arbeiten hatten. Für die absehbare Zukunft glauben wir, dass KI dasselbe sein wird. Mathematiker werden weniger Zeit damit verbringen, die Richtigkeit zu überprüfen und einfache Lemmas zu beweisen, und Werkzeuge wie Aristotle werden ihnen helfen, ihre Zeit der Erforschung tieferer Konzepte zu widmen. Schließlich, wenn Aristotle fähiger wird, werden Mathematiker Aristotle steuern, und es wird sein wie ein Team von äußerst talentierten und rigorosen mathematischen Mitarbeitern, die Ihnen zur Verfügung stehen, wo Sie sie in verschiedene Richtungen lenken können und sie die mathematischen Grenzen erkunden können. Auf jeden Fall sind wir über die Phase mit Tafel und Couch in der Mathematik hinaus. Es ist jetzt vollständig digital, kollaborativ und KI-unterstützt.