Terence Tao, einer der renommiertesten lebenden Mathematiker, skizziert ein Zukunftsszenario, in dem KI die Struktur mathematischer Forschung grundlegend verändert. Bisher mussten Forscher jeden Schritt eines Beweises – von der Problemformulierung über Zwischenschritte bis zur Verifikation – selbst durchdringen und beherrschen. Tao argumentiert, dass KI erstmals echte Arbeitsteilung ermöglicht: Große, KI-gestützte Teams könnten Teilaufgaben aufteilen, ohne dass jedes Mitglied das Gesamtbild vollständig versteht. Dieses Modell bezeichnet er als „industrielle Mathematik". Gleichzeitig betont Tao, dass Menschen für „inspired guesses" – kreative Hypothesen und strategische Richtungsentscheidungen – weiterhin unersetzlich bleiben. Der Artikel erschien auf The Decoder und fasst Taos öffentlich geäußerte Einschätzungen zur Rolle von KI in der Grundlagenforschung zusammen. Taos Perspektive ist besonders relevant, da er selbst mit KI-Tools wie formalen Beweisassistenten experimentiert hat.