Yeni açığa çıkarılan bilgilere göre, henüz yayınlanmamış bu model (muhtemelen GPT-6), matematik, kuantum karmaşıklık ve teorik bilgisayar bilimi alanlarında 10 uzun süredir çözülemeyen sorunu çözdü; bunlar arasında ilk açıkça non-sofic grup ve Connes katılık varsayımının çürütülmesi yer alıyor. Ana argüman Astra tarafından oluşturuldu ve Lean içinde formel olarak kanıtlandı; 249 sayfalık bir taslak ve makine tarafından doğrulanabilir bir sertifika üretildi. Sol API ücret oranlarında tek bir başarılı çözümün token maliyeti yaklaşık 2000 dolar.
OpenAI'in Yayınlanmamış Modeli, 10 Uzun Süredir Çözülemeyen Matematik Sorusunu Çözdü
TechFlowPaylaş
Özet
OpenAI'in henüz piyasaya sürülmemiş modeli, muhtemelen GPT-6, ilk açık non-sofic grubu ve Connes sertlik varsayımının reddi dahil olmak üzere 10 büyük matematik problemi çözdü. Astra tarafından desteklenen ve Lean'da resmileştirilen bu çalışma, 249 sayfalık bir mansüskript ve makineyle doğrulanabilir kanıtlar üretti. AI tabanlı araştırmalara uzun vadeli yatırım, bu tür atılımlardan fayda görebilir. Tek bir çözüm, Sol API oranlarına göre yaklaşık 2.000 dolarlık token kullanımı maliyetiyle gerçekleşti.
Kaynak:Orijinalini göster
Yasal Uyarı: Bu sayfadaki bilgiler üçüncü şahıslardan alınmış olabilir ve KuCoin'in görüşlerini veya fikirlerini yansıtmayabilir. Bu içerik, herhangi bir beyan veya garanti olmaksızın yalnızca genel bilgilendirme amacıyla sağlanmıştır ve finansal veya yatırım tavsiyesi olarak yorumlanamaz. KuCoin, herhangi bir hata veya eksiklikten veya bu bilgilerin kullanımından kaynaklanan sonuçtan sorumlu değildir.
Dijital varlıklara yapılan yatırımlar riskli olabilir. Lütfen bir ürünün risklerini ve risk toleransınızı kendi finansal koşullarınıza göre dikkatlice değerlendirin. Daha fazla bilgi için lütfen Kullanım Koşullarımıza ve Risk Açıklamamıza bakınız.