Matematikte Yapay Zekâ: Yapay Zekâ İnsanlar İçin ve İnsanlar Üzerinde Çalışıyor

Mayıs 2026'da OpenAI, 1946'dan beri açık olan geometrik graf teorisindeki bir varsayımı çürüten "Birim Mesafe Varsayımı"na bir karşı örnek yayınladı. Bu, uzun süredir çözülemeyen problemlere yapay zeka destekli diğer çözümleri takip etti ve bir dönüm noktası oldu. Abhishek Saha gibi matematikçiler artık rutin işler için yapay zeka modellerini kullanıyor ve rollerini bir orkestranın tamamı değil, şef olarak tanımlıyorlar. Trefor Bazett gibi bazıları, Carnegie Mellon'da SAT çözücüleri, büyük dil modeli (LLM) tarafından üretilen kod ve biçimsel kanıt doğrulama kullanarak bir Ramsey teorisi problemini çözen bir makaleye atıfta bulunarak yeni bir altın çağ potansiyeli görüyor. Bu dönemi 2000 yılında tahmin eden Timothy Gowers, yapay zekanın kendi araştırma problemlerini çözmesini deneyimlediği için karışık duygulara sahip. İnsanlar uzmanlık geliştirmeyi bırakırsa matematik kültürünün yok olmasından korkuyor. 3000'den fazla matematikçi tarafından imzalanan Leiden Yapay Zeka ve Matematik Bildirgesi, yönergeler belirlemeyi amaçlıyor. Epoch AI ilerleme kaydedildiğini ancak en zor kıyaslama kategorilerinin çözülmediğini bildirdi. Terence Tao, durumu 20. yüzyılın başlarındaki temel krizine benzetiyor ve bunu matematiği güçlendirmek için bir fırsat olarak görüyor. Kirwin Hampshire'in "Matematiğin Karanlık Gecesi" adlı denemesi ise daha karamsar bir bakış açısı sunuyor ve tesellilerin kendini kandırma olduğunu öne sürüyor.