OpenAI pazartesi günü, genel amaçlı akıl yürütme modelinin, matematikçi Paul Erdős tarafından 1946'da ilk kez ortaya atılan düzlemde birim uzaklık problemi olarak bilinen ayrık geometrideki açık bir soruyu çözdüğünü açıkladı. Bu başarı, bir yapay zeka sisteminin bir matematik alanının merkezindeki önemli bir açık problemi özerk bir şekilde çözmesi ilk kez gerçekleşiyor.
Yapay zekanın keşfettiği şey
Neredeyse 80 yıldır matematikçiler Erdős problemine optimal çözümlerin kabaca kare ızgaralara benzediğine inanıyordu. OpenAI modeli bu varsayımı çürüttü ve daha iyi performans sağlayan tamamen yeni bir yapı ailesi oluşturdu. Kanıt, özellikle matematik için üretilmiş bir sistemden değil, genel amaçlı bir akıl yürütme modelinden geldi ve Lean doğrulama dilinde resmileştirildi.
Uzman doğrulaması
Fields Madalyası sahibi Terence Tao kanıtı inceledi ve kabul ederek matematik camiasında ona güvenilirlik kazandırdı. Sonuç, yapay zeka sistemlerinin uzun akıl yürütme zincirlerini bir arada tutabildiği ve uzak alanlardaki fikirleri birbirine bağlayabildiği yeni bir çağın başlangıcı olarak tanımlandı.
Matematiğin ötesinde çıkarımlar
OpenAI, bu matematiksel atılımı mümkün kılan aynı yeteneklerin yakında biyoloji, fizik, mühendislik ve tıp alanındaki çalışmaları hızlandıracağını söyledi. Şirket, insan yargısının gerekli olmaya devam ettiğini vurguladı: yapay zeka arama, önerme ve doğrulama yapabilir, ancak insanlar önemli sorunları seçer ve sonuçları yorumlar.