Temmuz 2026'da Philadelphia'da kapılarını açan Uluslararası Matematikçiler Kongresi, dört yılda bir düzenlenen bu prestijli buluşmada alışılmışın dışında bir soruyu merkeze taşıdı: Yapay zekanın matematiğin teknik süreçlerini büyük ölçüde üstlendiği bir çağda, matematikçiler gerçekte neyi değerli buluyor?
Kongrede dile getirilen kaygıların başında, YZ sistemlerinin uzun ve karmaşık ispatları otomatik olarak üretebilmesine karşın bu ispatların insan zihnince sindirilemez hale gelmesi geliyordu. Bir teoremi kanıtlamak ile o teoremi gerçek anlamda anlamak arasındaki mesafe, matematikçiler için varoluşsal bir sorgulamaya dönüşmüş durumda. Bazı konuşmacılar, matematiğin özünde bir keşif ve anlama eylemi olduğunu; makinenin ürettiği doğru ama anlaşılmaz bir ispatın, aslında matematiğin ruhunu zedeleyebileceğini ileri sürdü.
Öte yandan farklı bir kesim, YZ'yi bir tehdit olarak değil bir araç olarak konumlandırdı. Bu görüşe göre hesaplama yükünün makinelere devredilmesi, matematikçilerin daha derin yapısal sorulara ve disiplinler arası bağlantılara odaklanmasına zemin hazırlayabilir. Nitekim tarih boyunca her yeni matematiksel araç — logaritmalardan bilgisayarlara dek — önce endişe yaratmış, ardından alanın sınırlarını genişletmiştir.
Kongrede öne çıkan bir diğer tema, matematiğin eğitimdeki rolüydü. Öğrencilere YZ çıktılarını körü körüne kullanmak yerine eleştirel bir gözle değerlendirme becerisi kazandırmanın önemi vurgulandı. Matematiğin, sonuçtan çok düşünme biçimi olarak öğretilmesi gerektiği fikri geniş yankı uyandırdı.
Sonuç olarak ICM 2026, tek bir yanıt sunmak yerine verimli bir soru havuzu bıraktı: İnsanın matematiğe katkısı nedir? Sezgi, estetik ve anlam arayışı, algoritmaların ötesinde matematiksel ilerlemenin motoru olmayı sürdürebilir mi? Bu sorular, önümüzdeki yıllarda hem matematik hem de YZ araştırmalarının gündemini şekillendirecek.