Yapay zeka açık matematik problemlerini çözerek akademik dünyayı dönüştürüyor
Öne çıkanlar
- Navier-Stokes probleminin çözümü için OpenAI yaklaşık 15 milyon dolarlık hesaplama kaynağı harcadı.
- Terence Tao dahil 25 Fields Madalyası sahibi araştırmacı ortak bir bildiri yayımladı.
- Kuantum karmaşıklık teorisi ve cebir alanındaki açık problemler modeller desteğiyle çözülüyor.
Bilgisayar bilimci Scott Aaronson, yapay zeka modellerinin son dönemde temel matematik ve teorik bilgisayar bilimindeki çözülmemiş problemleri ardı ardına çözmeye başladığını belirtti. Navier-Stokes Milenyum Problemi dahil olmak üzere birçok açık soruda insan ve yapay zeka ortaklığıyla elde edilen sonuçlar, akademik camianın geleneksel araştırma yöntemlerini kökten sarstı. OpenAI'ın yaklaşık 15 milyon dolarlık hesaplama kaynağı kullanarak 166 sayfalık bir çözüm geliştirdiği ve sonucun Lean diliyle doğrulandığı bildirildi.
Araştırmacılar, aralarında Jakoben varsayımına yönelik karşı örnek, Fermat'nın Son Teoremi'nin Lean ile doğrulanması ve kuantum karmaşıklık teorisindeki hipotezlerin de bulunduğu çok sayıda ilerlemenin son haftalarda peş peşe geldiğini aktarıyor. Akademik makalelerde yapay zekanın katkısını belirten bildirimlerin hızla yaygınlaştığı görülüyor. Bilim insanları, hakemlik süreçlerinin geleneksel yöntemlerle sürdürülemez hale geldiğini ve değerlendirme süreçlerine de yapay zeka araçlarının dahil edilmek zorunda kalındığını vurguluyor.
Gelişmelerin ardından Terence Tao dahil 25 Fields Madalyası sahibi matematikçi, matematikte yapay zekanın yol açtığı uyumsuzluk risklerine dikkat çeken ortak bir bildiri yayımladı. Bildiride, teorem kanıtlama yetkisinin makinelere devredilmesi karşısında insan kavrayışının ve bilimsel merakın korunması gerektiği ifade ediliyor. Birçok teorik araştırmacı ve akademisyen, çalışmalarını doğrudan yapay zeka hizalama ve güvenlik araştırmaları alanına kaydırmaya başladı.
Bu özet yapay zekâ ile hazırlanmıştır; ayrıntılar ve doğrulama için orijinal kaynağa başvurun.