Yapay zekanın matematik alanındaki yükselişi camiada kriz yarattı

Büyük dil modellerinin ve yapay zeka sistemlerinin karmaşık matematiksel teoremleri çözmeye başlaması, matematik camiasında geniş çaplı bir tartışmayı ve tepki sürecini tetikledi. Birçok araştırmacı bu gelişmeleri Elisabeth Kübler-Ross'un yas modelindeki aşamalara benzer tepkilerle karşılıyor. Kimi uzmanlar yapay zekasız araştırma taahhüdü verirken, bağımsız kurullar teknoloji laboratuvarlarının kapalı kapılar ardında matematiksel sonuçlar biriktirmesine karşı tedbir alınmasını talep ediyor.

Matematikçiler arasındaki ayrışma yalnızca yapay zeka kullanımına değil, matematiğin temel anlamına yönelik bakış açılarına da dayanıyor. Bir grup araştırmacı disiplinin esas amacının insan kavrayışı ve açıklamalar olduğunu savunurken, biçimsel ispat yanlıları doğrulanabilir teoremlerin toplam sayısını ve somut problem çözmeyi öne çıkarıyor. Son dönemdeki bazı yapay zeka çözümlerinin Lean gibi biçimsel araçlarla kanıtlanmış olmasına rağmen insani bir kuramsal açıklama içermemesi, camiadaki anlam tartışmasını derinleştiriyor.

OpenAI gibi teknoloji şirketlerinin gizli tuttuğu ileri sürülen yeni teorem ve sonuçların derhal kamuya açılması gerektiğini savunan açık mektuplar yayımlandı. Uzmanlar, yapay zekanın disiplinler arası bilgileri birleştirerek insan araştırmacıların takıldığı lemmaları hızla çözebildiğini, ancak kuram inşa etme ve hipotez formüle etme yeteneklerinin henüz sınırlı olduğunu belirtiyor. Kaynak tüketimi ve matematiğin sonsuz doğası nedeniyle makinelerin belirli bir sınırda duracağı, bu süreçte elde edilen araçların insan çalışmalarını zenginleştireceği kaydediliyor.