8 haber bu etiketle işaretlenmiş
Matematiksel teorem kanıtlayıcı kimliğiyle tanınan fonksiyonel programlama dili Lean 4 ile standart referans web uygulaması RealWorld uçtan uca hayata geçirildi. Projede hem arka yüz API testlerini…
Matematikçiler, 16 Eylül 2026 tarihinde yayımladıkları çalışmayla üç boyutlu uzayı yalnızca kendi kopyalarıyla ve hiçbir öteleme simetrisi oluşturmadan kaplayabilen ilk güçlü aperiodik tekil karoyu…
Araştırmacılar, 11 birim karenin daha büyük bir kare içerisine en uygun şekilde yerleştirilmesine ilişkin matematiksel kanıtı Lean 4 etkileşimli teorem kanıtlama aracıyla başarıyla doğruladı.…
OpenAI, akışkanlar mekaniğindeki Navier-Stokes denklemlerine dair uzun süredir çözülemeyen bir problemi çözdüğünü açıkladı. Araştırma ekibi, geleneksel akademik metnin yanında çalışmanın Lean 4…
Lean 4 programlama diliyle geliştirilen deneysel kod olarak altyapı aracı infra, bulut kaynaklarının dağıtımında yapılan yapılandırma hatalarını çalışma zamanı yerine derleme anına taşıdı. İki hafta…
Anthropic, matematik dünyasının en bilinen problemlerinden Fermat'nın Son Teoremi'nin Lean 4 üzerinde bilgisayarca doğrulanmış tam kanıtını açık kaynak olarak yayımladı. Mathlib kütüphanesi üzerine…
OpenAI, ardışık asal sayılar arasındaki farkın en fazla 186 olduğunu gösteren matematiksel sınırın Lean 4 biçimselleştirmesini ve Python sayısal sertifikasını GitHub üzerinde açık kaynak olarak…
Geliştirici Theoric, bağımlı tipler (dependent types) kullanan Lean 4 dili üzerinde inşa edilen deneysel SQL ön yüzü LeanDB'yi duyurdu. GitHub üzerinden açık kaynak olarak yayımlanan proje, veri…
Tüm haberler yüklendi