Etiket: Bilgisayar Bilimi

Blog Yazıları

Çizim: solda İddia kutusunda 3-SAT için alt üstel süre, ETH çürütüldü iddiası ve pratik algoritma değil satırları, sağda Doğrulama kutusunda Anthropic kanıtı Lean ile denetlendi ve hakem incelemesi henüz yok satırları; altta OpenAI ve Anthropic, Hakem incelemesi yok ve P ve NP çözülmedi rozetleri

OpenAI ve Anthropic, Üstel Zaman Hipotezi'ni çürüttüğünü söylüyor: kanıt makinede denetlendi, uzman incelemesi sürüyor

OpenAI ve Anthropic, modellerinin 3-SAT için alt üstel süreli algoritma bulduğunu söylüyor. Kanıt Lean ile denetlendi ama hakem incelemesi yok.

17 3 dk

Devamını Oku

Çözümce, sitenin çalışması için gereken çerezlerin yanında, siz izin verirseniz ziyaret istatistiği (Google Analytics) ve reklam (Google AdSense) çerezleri kullanır. İzin vermediğiniz sürece bu iki hizmete hiçbir istek gönderilmez. Tercihinizi sayfanın altındaki "Çerez tercihleri" ile istediğiniz zaman değiştirebilirsiniz. Ayrıntılar: Aydınlatma Metni ve Çerez Politikası.