Yapay zeka insanların çözemediğini çözdü
Bir yapay zeka modeli, efsanevi Macar matematikçi Paul Erdős'ün ortaya attığı 80 yıllık bir geometri problemini çözerek matematik dünyasını şaşkına çevirdi. Erdős'ün geride bıraktığı yaklaşık 1.200 çözülmemiş zorluktan biri olan Erdős problemi, 1940'lardan bu yana tüm insan çözüm girişimlerine direnmişti. Araştırmacılar, yapay zekanın eşleştirilmiş noktaların daha karmaşık bir düzenlemesini keşfettiğini - insan matematikçilerin daha önce hiç hayal etmediği bir düzenleme - ve geleneksel yaklaşımların izin verdiğinden daha büyük bir büyüme oranı sağladığını buldu.
Matematikçiler korkuluk çağrısı yapıyor
Atılım hem heyecan hem de endişe yarattı. 'Yapay zeka bunu buldu, biz nasıl kaçırdık ve neden önemli' diye yazdı Wall Street Journal. Ancak matematik topluluğu da temkinli olunması çağrısında bulunuyor. Önde gelen matematikçiler tarafından imzalanan Leiden Deklarasyonu, matematiksel araştırmalarda yapay zeka kullanımına yönelik denetim çağrısında bulunuyor ve yapay zekaya aşırı güvenmenin matematiksel keşfin merkezindeki insan yaratıcılığını zayıflatabileceği uyarısında bulunuyor.
Bilimde yapay zeka için yeni bir dönem
Scientific American, başarıyı 'yapay zekanın şimdiye kadarki en büyük matematik atılımı' olarak nitelendirdi. Çözüm, yapay zekanın artık sadece hesaplamaya değil, gerçek matematiksel keşfe katkıda bulunabileceğini gösteriyor. Bazıları bunu araştırmayı hızlandıracak bir araç olarak kutlarken, diğerleri bunun matematiksel kanıtın doğasını değiştirebileceğinden korkuyor. Tartışma, bilim genelinde yapay zeka yardımı ile insan liderliğindeki keşif arasındaki çizginin nereye çekileceği konusundaki daha geniş konuşmaları yansıtıyor.