Çin Bilimler Akademisi akademisyeni ve Beidian Shuzhi yapay zeka uzmanları, yapay zeka ve matematiğin 'çarpan etkisini' tartıştı

24 Temmuz 2026'da Yunnan Eyaleti Yuxi Şehri'nde “On Altı Eyalet (Bölge, Şehir) Matematik Yıllık Toplantısı ve Uygulamalı Matematik ve Yapay Zeka Akademik Forumu” düzenlendi ve foruma 500'den fazla uzman ve matematik öğretmeni katıldı. Forum sırasında Beidian Shuzhi Baş Bilim Adamı Dou Dejing ile Çin Bilimler Akademisi (Chinese Academy of Sciences) üyesi akademisyen Zhou Xiangyu, yapay zekanın matematikteki yetenekleri, matematikçilerin değişen rolü ve yapay zeka destekli matematiksel araştırmanın geleceği üzerine derinlemesine bir diyalog gerçekleştirdi. Sunulan verilere göre, ana akım büyük dil modelleri 2024 yılında üniversite giriş sınavı matematik bölümünden başarısız olurken, 2026 yılında 140 üzerinden 135'in üstünde puan alabilecek seviyeye ulaştı ve artık matematik olimpiyatlarında sorulara önceden aşina olmadan tam puan alabiliyor. Ancak Zhou, yapay zekanın temel gücünün örüntü arama ve mekanik çıkarım olduğunu, gerçek matematiksel yenilik olmadığını vurguladı; yapay zekanın matematiksel çıkarımlarının açıklanabilirliğinin ise çözülmemiş bir darboğaz olarak kaldığını belirtti. İkili, Jacobian varsayımını (Jacobian conjecture) ele alarak, yapay zekanın büyük ölçekli sezgisel arama ve hesaplama yapabilme yeteneğinin karşı örnekler bulmaya yardımcı olabileceğini, ancak “kara kutu” probleminin hâlâ devam ettiğini belirtti. Zhou, matematikçilerin yerini makinelerin alamayacağını, çünkü onların makinelerin yapamadığı işleri yaptığını söyledi: yeni sorular ortaya atmak, yeni çerçeveler kurmak ve yeni yasalar keşfetmek. Ayrıca yapay zeka tarafından üretilen sonuçlara ve atıf etiğine ilişkin akademik dürüstlük kaygılarını da dile getirdi. Dou ise Beidian Shuzhi'nin sanayi yaklaşımını sundu; bu yaklaşım 30'dan fazla şehirde bilgi işlem merkezleri kurmayı, tam yığın (full-stack) “veri-hesaplama-model-uygulama” sistemini ve sağlık ile üretim alanlarındaki pratik uygulamaları kapsıyor. Örneğin, bir cilt hastalığı modeli, orta düzey doktor sınavlarında %90 doğruluk oranına ulaşarak teşhis süresini %20 azalttı. Makalede ayrıca Anthropic'in Claude Fable 5 modelinin bir hafta sonu içinde Jacobian varsayımını çürüttüğü iddiası da yer alıyor ve Fields Madalyası sahibi Efim Zelmanov'un görüşüne atıfta bulunuluyor: Zelmanov'a göre yapay zeka “son derece yetenekli genç bir matematikçi” gibidir, ancak ispatları gerçekten anlama ve bunlardan içgörü çıkarma sorumluluğunu insanların üstlenmesi gerekir.