OpenAI: Astra modeli matematikte 10 açık problemi çözdü

OpenAI, 1 Ağustos'ta yaptığı açıklamada, sonraki büyük model ailesi olan Astra'nın şirket içi bir sürümünün, Sol API tarifeleriyle toplamda yaklaşık 2.000 dolarlık bir çıkarım maliyetiyle matematik ve teorik bilgisayar bilimlerinde uzun süredir açık olan on probleme çözüm ürettiğini duyurdu.openai

En az on yıldır ilerleme kaydedilemeyen bu problemler; yüksek boyutlu geometri, kodlama teorisi, aritmetik devre karmaşıklığı, grup teorisi, operatör cebirleri, kuantum karmaşıklığı, kafes kriptografisi ve ekstremal kombinatoriği kapsıyor. İnsan araştırmacılar, argümanları aynı modeli kullanarak makaleler haline getirdi; model daha sonra her bir kanıtı, makine tarafından doğrulanan teoremler için bir dil olan Lean'de resmileştirdi. OpenAI, tüm sertifikaları ve akıl yürütme kayıtlarını kamuoyuna açık bir şekilde yayımladı.forklog+1

Astra Neleri Çözdü

On sonuç; Cohn-Elkies eşiğine kadar küre paketleme yoğunluğuna ilişkin yeni üst sınırları, grup teorisinde 1999'dan bu yana açık olan temel bir soruya yanıt olarak sofik olmayan grupların varlığını kanıtlayan bir yapıyı ve von Neumann cebirleri üzerine Connes'ın rijitlik varsayımının çürütülmesini içeriyor. Astra ayrıca kalıcının hesaplanmasına yönelik aritmetik devre karmaşıklığında yeni alt sınırlar, iki oyunculu kuantum oyunları için üstel bir paralel yineleme teoremi ve kuantum sonrası kriptografi için çıkarımları olan en yakın vektör problemi için polinom faktörlü yaklaşım zorluğu sundu.forklog+1

Model, her boyutta Ehrhart'ın hacim varsayımını çözdü, Erdős problem 183'ü çözerek çok renkli üçgen Ramsey sayıları için süper üstel bir alt sınır üretti ve Erdős problem 146 ile 180'i çözerek ekstremal grafik teorisindeki tıkızlık ve bozulma varsayımlarını ele aldı.openai

Manchester Üniversitesi'nden matematikçi Thomas Bloom, sonuçları "büyük haber" ve "önemli bir adım" olarak nitelendirdi.forklog

Astra Henüz Yayınlanmadı

Astra henüz kamuoyuna sunulmadı. Sam Altman, Temmuz ayı sonlarında Washington'da ABD senatörlerine ve düzenleyici kurumlara modeli tanıttı ve bu model, Trump yönetiminin yapay zeka modelleri için planladığı yayın öncesi değerlendirme çerçevesi kapsamında sunulan ilk sistem olabilir. The Information News Corp ↘ 1.67% haberine göre OpenAI, Astra'nın GPT-6 olarak mı yoksa GPT-5 serisi altında bir varyant olarak mı sunulacağına karar vermedi ve henüz bir çıkış tarihi belirlenmedi.softonic+2

Astra'nın akıl yürütme teknolojisinin ortak yazarı Noam Brown, modelin Clay Matematik Enstitüsü tarafından 2000 yılında matematiğin en önemli yedi sorusu olarak belirlenen Milenyum Ödüllü Problemleri'ni çözemediğine dikkat çekti. OpenAI açıkça "tamamen bir yapay zeka sistemi tarafından üretilen bir kanıt için insan yazarlığı iddiasında bulunmanın, hem sistemin katkısını hem de gerçek insan entelektüel çalışmasının niteliğini yanlış temsil edeceğini" belirtti.forklog+1