Yapay zeka, yakın zamana kadar en iyi insan zekalarına özgü görünen bir alana giriyor: karmaşık matematiksel problemleri çözmek. Makineler çözümleri ve kanıtları kendileri bulmaya başlarsa matematikçilerin rolü ne olacak sorusu bilim insanlarını giderek daha ciddi şekilde düşündürüyor. Haberi BTA duyurdu.
Bunun nedeni yeni modellerin hızlı ilerlemesi. Sistemler artık sadece hesap makinesi olarak kullanılmıyor. Görevlere yaklaşım öneriyor, kanıtları inceliyor ve matematiğin farklı alanları arasında bağlantılar arıyor. Aylar ya da yıllar süren çalışmaların günler içinde tamamlanma ihtimali ortaya çıkıyor.
Bilim insanları matematikçinin tamamen gereksiz hale geleceğini beklemiyor. Yapay zeka çözüm arayışının bir kısmını üstlenirse insanın görevi daha da önem kazanıyor. Hangi soruların sorulmaya değer olduğuna karar vermek, elde edilen sonuçları denetlemek ve özellikle bir kanıtın neden önemli olduğunu açıklamak matematikçiye kalıyor. Büyük değişim matematiğin sonu değil, onun çok farklı bir biçimde yapılmasının başlangıcı olabilir.
