Bu sefer gerçek ve devrimsel! OpenAI, 80 yıllık matematik problemini çözdü

Yapay zeka sektöründen kayda değer bir gelişme: Editör Hakkında Diğer Haberleri 362 Takipçi Metin Akpınar Teknoloji Editörü Teknoloji ve bilim dünyasını seven ve takip etmekten büyük zevk alan Metin, öğrendiklerini ise DonanımHaber okuyucuları ile paylaşır. Yapay zeka şirketi Anthropic, ilk kez para kazanmaya hazırlanıyor 44 dk. ASELSAN ile SSB arasında kent gözetimi anlaşması 1 sa.

Nvidia, dünyanın en büyük CPU üreticilerinden olacak 1 sa. Tümünü Göster Teknoloji Editörü OpenAI, matematik dünyasında yaklaşık 80 yıldır çözülemeyen önemli bir geometri probleminin yapay zekâ tarafından çözüldüğünü açıkladı. Şirketin duyurusuna göre yeni nesil akıl yürütme modeli, Macar matematikçi Paul Erdos tarafından 1946 yılında ortaya atılan ünlü “unit distance problem” yani “birim uzaklık problemi” ile ilgili yerleşik kabulü çürüten özgün bir matematiksel ispat geliştirdi.

Teknolojik Detaylar

Bu sefer gerçek Bu iddia ilk başta tanıdık gelmiş olabilir, zira yedi ay önce şirketin eski yöneticilerinden Kevin Weil, GPT-5’in daha önce çözülememiş 10 Erdős problemini çözdüğünü öne sürmüştü. Ancak daha sonra modelin aslında literatürde zaten mevcut olan çözümleri bulduğu anlaşılmış ve açıklama matematik camiasında ciddi eleştirilere yol açmıştı. Özellikle Meta’nın baş yapay zeka bilimcisi Yann LeCun ile Google DeepMind CEO’su Demis Hassabis’in eleştirilerinin ardından Weil paylaşımını silmişti.

Bu kez OpenAI, duyurusunu yalnızca kendi açıklamalarıyla sınırlı bırakmadı. Şirket, Noga Alon, Melanie Wood ve Thomas Bloom gibi matematikçilerin açıklamalarına da yer verdi. Bloom, daha önce Weil’in paylaşımını “dramatik bir yanlış beyan” olarak nitelendirmişti.

Yapay zeka geometri problemine sayı teorisiyle yaklaştı Çözümün merkezinde yer alan “unit distance problem”, temel olarak “n tane nokta arasında maksimum kaç adet birim uzaklık” olabiliri sorguluyor. İlk bakışta oldukça basit görünen bu soru, kombinatoryal geometri alanının en önemli açık problemlerinden biri olarak kabul ediliyordu. Problem, düzlem üzerine yerleştirilen çok sayıdaki nokta arasında birbirine tam olarak bir birim uzaklıkta bulunan çiftlerin sayısını mümkün olan en yüksek seviyeye çıkarmayı amaçlıyor.

Sektörel Yansımalar

On yıllar boyunca matematikçiler, kare ızgara benzeri düzenlerin en verimli çözüm olduğunu düşünüyordu. Erdos ise bu çiftlerin sayısının, nokta sayısı arttıkça yalnızca sınırlı biçimde büyüyebileceğini öne sürmüştü. Aşağıdaki görsel klasik yaklaşımı gösteriyor.

Kullanılan modelin ise cebirsel sayı teorisini kullanarak bu inancı yıktı ve sonsuz sayıda nokta için çok daha fazla 1 birimlik mesafe üretebilen tamamen yeni bir geometrik dizilim formülü keşfetti. Princeton Üniversitesi’nden matematikçi Will Sawin ise daha sonra bu sonucu geliştirerek iyileşmenin sabit bir üs değeriyle ifade edilebileceğini gösterdi. Bu arada modelin düşünce zinciri 125 sayfa uzunluğunda.

Araştırmacıları en fazla şaşırtan unsur ise çözümün yöntemi oldu.

Bu haber, yapay zeka alanındaki rekabeti daha da kızıştıracak nitelikte. Sektör uzmanları, gelişmenin uzun vadeli etkilerini değerlendiriyor.