Der Mathematiker Terence Tao erläutert, auf welche Weise Künstliche Intelligenz (KI) die mathematische Forschung durch eine neue Form der Arbeitsteilung transformieren könnte. Bisher war es für Mathematiker erforderlich, sämtliche Teilaspekte selbst zu beherrschen, einschließlich der Formulierung von Problemen, der Entwicklung von Strategien, der Auswahl, Umsetzung, Verifizierung und Kommunikation. Im Gegensatz zu den Bereichen Industrie oder Naturwissenschaften war eine Spezialisierung in der Mathematik bislang nicht möglich.
Tao ist der Ansicht, dass KI und formale Verifikation diese Situation verändern könnten. Künstliche Intelligenz könnte Lücken in der Zusammenarbeit schließen, wenn bestimmte Fähigkeiten nicht vorhanden sind. Ein entscheidender Faktor sei das richtige Gleichgewicht: Wenn KI in der Lage ist, Strategien zu generieren, jedoch nicht in der Lage ist, diese zu verifizieren, würde lediglich eine Flut ungeprüfter Ideen entstehen. Erst wenn die Automatisierung in mehreren Bereichen gleichzeitig voranschreitet, könnte sich ein neuer, effektiverer Stil der Mathematik entwickeln. Menschen bleiben dabei unverzichtbar, da die Leistungen der KI ungleichmäßig sind. Dieses Prinzip könnte auch auf viele andere Bereiche anwendbar sein, wie zum Beispiel in der Akrobatik, wo virtuelle Agenten lernen, komplexe Bewegungen auszuführen.
Das Maß an Automatisierung und KI-Leistung, das sinnvoll eingesetzt werden kann, bevor es zu einer Überflutung von Ideen kommt, steht in etwa im Verhältnis dazu, wie streng die eigene Verifikation durchgeführt wird. Ein Beispiel für innovative Ansätze in diesem Bereich ist die Investition in KI-Training, die neue Möglichkeiten eröffnet. Zudem plant OpenAI die Verbesserung der Sicherheit durch neue Trainingsdatensätze.
„`
Quellen: the-decoder
Bildquelle: KI generiert
