OpenAI'nin yeni modeli Astra ilk gösteriminde: On yıldır çözülemeyen 10 matematik problemini tek seferde ilerletti

Önemli bir gelişme olarak, Dongcha Beating izlemesine göre, OpenAI ilk kez bir sonraki ana modeli Astra'yı resmi olarak duyurdu. Dahili sürüm, uzun süredir çözülemeyen 10 matematik ve teorik bilgisayar bilimi problemi üzerinde yeni sonuçlar elde etti. Bu problemlerin temel sonuçları en az 10 yıldır ilerleme kaydetmemişti ve çoğu daha da uzun süredir durağandı.

Bunlardan bazıları doğrudan çözüldü veya çürütüldü. Astra, ilk kez sofic olmayan bir grup inşa ederek grup teorisindeki temel bir açık problemi yanıtladı; ayrıca Connes katılık varsayımını çürüttü ve 3 Erdős problemini çözdü. Diğer sonuçlar arasında küre paketleme, kodlama teorisi, kuantum karmaşıklığı ve kuantum sonrası kriptografi ile ilgili yeni üst ve alt sınırlar ile zorluk kanıtları yer alıyor.

OpenAI, modelin bu 10 sonucu bulmak için kullandığı token'ların Sol API fiyatına göre yaklaşık 2000 dolar değerinde olduğunu belirtti.

Bu matematiksel argümanlar Astra tarafından üretildi. İnsanlar daha sonra bunları makaleler halinde düzenlemeye yardımcı oldu ve model her kanıtı Lean sertifikalarına dönüştürerek bilgisayarın türetmelerin geçerliliğini adım adım doğrulamasını sağladı. OpenAI, makaleleri, kanıt sertifikalarını ve modelin akıl yürütme sürecini kamuya açıkladı.