Terence Tao, Fields Madalyası Töreninde: Matematik Yüzyıl Sürecek Bir Krizle Karşı Karşıya

2026 Uluslararası Matematikçiler Kongresi'nde (ICM), 2026 Fields Madalyası sahipleri Wang Hong ve Deng Yu'nun açıklanmasının hemen ardından, aynı ödülü 2006'da alan Terence Tao, 'Yapay Zeka Çağında Matematik' başlıklı bir konuşma yaptı. Tao, yapay zekanın matematikle başa çıkıp çıkamayacağını tartışmak yerine, çalışan bir hipotez öne sürdü: yapay zekanın yakında araştırma problemlerinin önemli bir kısmını makul bir maliyetle çözebileceğini varsayalım. Bağımsız kıyaslama First Proof'ta yapay zeka sistemlerinin 10 problemden 7'sini yayımlanabilir düzeyde çözdüğünü belirterek, bunun tartışmayı değerler alanına taşımaya izin verdiğini vurguladı. Tao, Goodhart yasasına atıfta bulundu: bir metrik hedef haline geldiğinde, iyi bir metrik olmaktan çıkar. Matematiksel araştırmadaki hedeflerin (problem çözme, doğrulama, açık anlatım, topluluk kabulü, kanonlaştırma) evriminin 'kanıt hazımsızlığına' yol açacağını gösterdi; bu, kanıt kıtlığı çağından kanıt bolluğu çağına bir geçiştir. Tao, 'ilk çözüm'ün ağırlığının azaltılması ve 'sindirim' aşamalarının (açıklama, yayınlama ve kanonlaştırma) öneminin artırılması çağrısında bulundu. Yapay zeka kullanımının açıklanmasını ve yazarların doğruluk konusunda tam sorumluluk taşımasını gerektiren Yapay Zeka ve Matematik Üzerine Leiden Deklarasyonu'nu onayladı. Tao'nun katı kuralı: bir yazar çalışmayı sözlü olarak net ve uzman bir şekilde sunamıyorsa, yayımlanmamalıdır. Tao, slaytları hazırlamak için yapay zeka kullandığını itiraf etti ve topluluk içinde açık diyalog çağrısında bulundu.