OpenAI'in Yayınlanmamış Modeli Astra, On Büyük Açık Matematik Sorununu Çözüyor

Matematik yüksek lisans öğrencileri için tuhaf bir şekilde zordu. İnsanlar bundan övünüyorlardı. Hatırlamak? Matematik giderek kolaylaşıyor. Yapay zeka giderek daha yetenekli hale geliyor. Hayat hızla üzerinize geliyor. Astra'nın bu alanda Fable ve Sol'dan ne kadar büyük bir sıçrama olduğunu bilmiyoruz. Astra'nın matematik yapabildiğini biliyoruz. Gerçek matematikte olduğu gibi. OpenAI : Aşağıdaki problemler için yeni sonuçlar sağlıyoruz. Sonuçlar, bir sonraki ana modelimiz olan Astra'nın dahili bir versiyonuyla elde edildi. Bu sorunlara çözüm bulmak için gereken toplam token sayısı, Sol API oranlarına göre yaklaşık 2.000 dolara mal olacak. Bu argümanlar daha sonra insanlar tarafından aynı modelle yazılara dönüştürüldü. Daha sonra model, her argümanı bir Yalın sertifikada⁠(yeni bir pencerede açılır) resmileştirdi. Ayrıca her çözüm için bir modelin düşünme sürecine ilişkin anlatımını da yayınlıyoruz. Noam Brown (OpenAI): Ve evet, diğer büyük problemleri de denedik ama başarılı olamadık. Ne yazık ki Milenyum Ödülü sorunu yok (henüz). Ama aynı zamanda her soruna çok fazla harcama yapmadık. Test süresi hesaplamasını çok daha ileriye taşımak mümkündür. Sichu Lu: Umarım matematiğin geleceği açısından muhtemelen şu anda olup bitenlerden daha değerli olan, yanlış giden her şeyin birikmiş kayıtlarını tutuyorlardır. Yalın kanıtları var. Bu, on sonucun hepsinin kanıtladıklarını iddia ettikleri şeyleri kanıtladığı anlamına gelmez.

Şu ana kadar durum iyi görünüyor. Kevin Roose: Neredeyse hiç kimse modellerin matematikte olduğu gibi her disiplinde de ilerlemeye devam etme olasılığını değerlendirmiyor. Bunlardan en azından bazıları Astra'dan önce, koşum takımı olmadan bile mümkündü; çünkü hem Sol hem de Fable artık sohbet arayüzlerinde sofik olmayan grupların varlığını kanıtladı. Ananjan Nandi: Tüm bunların Dünya Kupası finali sırasında Claude'ine zorbalık yapan bir adam tarafından başlatılması ne kadar çılgınca. Çoğu zaman belirli bir sonucun önündeki engel, doğru soruyu sormak ve modelin pişmesine izin vermek kadar basittir. Astra ile OpenAI ondan bir dizi açık matematik problemini çözmesini istedi ve o da bunlardan 10'unu çözdü. Bunların ne olduğunu öğrendikten sonra, diğer modelleri aynı problemlere işaret etmek, hatta "ipuçları" olmadan bile, matematiksel kanıtların sarktığını gösterir. Astra'nın bilimsel akıl yürütme açısından büyük bir adım olduğuna dair hâlâ güçlü ifadelerimiz var. Yu Bai (OpenAI): Çenem 10 kez düştü. Ama gerçekten bu bir çığ olacak.