Anthropic: Yapay zekamız OpenAI’ın matematik atılımlarının yarısına 24 saatte ulaştı

OpenAI, Cumartesi günü yaptığı açıklamada, Astra adlı yeni büyük yapay zeka modelinin şirket içi bir sürümünün matematik ve teorik bilgisayar bilimindeki 10 köklü açık problemi çözdüğünü veya bunlarda önemli ilerleme kaydettiğini duyurdu. 24 saat içinde Anthropic araştırmacısı Levent Alpöge, kamuya açık olan Claude Fable'ı kullanarak aynı problemlerden beşini bağımsız olarak çözdüğünü iddia ederek karşılık verdi.

Bu karşılıklı iddialar, gelişmiş matematiksel akıl yürütmenin yeni bir savaş alanına dönüşmesiyle iki lider yapay zeka şirketi arasındaki rekabette yaşanan en son ve belki de en dikkat çekici tırmanışa işaret ediyor.

Astra'nın Matematiksel İddiaları

"Matematik ve teorik bilgisayar biliminde 10 ilerleme" başlıklı bir blog yazısında OpenAI, problemlerin "en az on yıldır ana sonuç üzerinde hiçbir ilerleme görmediğini" belirtti. Sonuçlar yüksek boyutlu geometri, kodlama teorisi, aritmetik devre karmaşıklığı, grup teorisi, operatör cebirleri, kuantum karmaşıklığı, kafes kriptografisi ve ekstremal kombinatörü kapsıyor.indianexpress+1

Öne sürülen başarılar arasında Astra, 1999'dan beri açık bir soru olan sofic olmayan grupların varlığını kanıtladı, ayrıca Alain Connes'in esneklik varsayımını ve Ehrhart'ın hacim varsayımını çözdü. OpenAI, kanıtların Lean 4'te resmileştirildiğini ve modelin akıl yürütme sürecine ilişkin anlatımını yayınlayacağını söyledi. Şirket, çalışmayı yeniden üretmenin GPT-5.6 Sol API tarifeleriyle yaklaşık 2.000 dolara mal olacağını tahmin etti.openai+3

OpenAI, Astra'nın mimarisi veya çıkış takvimi hakkında teknik detay vermedi. Matematikçi Terence Tao, problemlerin zor olmasına rağmen matematiğin en derin çözülememiş sorularından ziyade "bilinen tekniklerle çözülebilir" nitelikte olduğunu kaydetti.instagram

Anthropic'ten Hızlı Yanıt

Duyurudan kısa bir süre sonra Alpöge, X'te yaptığı paylaşımda Claude Fable'ın internet erişimi olmadan ve genel komutlarla otonom şekilde çalışarak aynı problemlerden beşini 24 saatten kısa bir sürede çözdüğünü yazdı. Bahsettiği problemler arasında aritmetik devre karmaşıklığı, kuantum paralel yinelemesi ve en yakın vektör problemi yer alıyor.moneycontrol+2

Alpöge, yapay zeka destekli matematiğe yabancı biri değil. Harvard dönem birincisi olan eski mezun, Temmuz ayında Dünya Kupası finali sırasında 87 yıllık Jacobian varsayımını çürütmek için Claude Fable 5'i kullanmış ve bu sonuç o zamandan beri bağımsız olarak doğrulanmıştı. Anthropic son iddiaları doğrulayan resmi bir makale yayınlamadı, OpenAI ise henüz kamuoyuna açık bir yanıt vermedi.fortune+2

Yapay Zeka Yarışında Yeni Bir Cephe

OpenAI, matematiksel araştırmalara katkıda bulunabilen yapay zeka sistemlerinin yazarlık konusunda henüz çözülmemiş soruları beraberinde getirdiğini kabul etti. Şirket, "Tamamen bir yapay zeka sistemi tarafından üretilen bir kanıt için insan yazarlığı iddiasında bulunmak, hem sistemin katkısını hem de insanın entelektüel emeğini yanlış yansıtır" diye yazdı. Akademik camiayı atıf normlarının geliştirilmesine yardımcı olmaya çağırdı.indianexpress

Bu karşılıklı atışmalar, birden fazla şirketin öncü yapay zeka modellerinin araştırma düzeyindeki matematiksel yeteneklerde birleştiğini ve rekabetin bir sonraki aşamasının sohbet robotu testleriyle değil, teoremlerle ölçülebileceğini gösteriyor.