3 haber bu etiketle işaretlenmiş
Yapay zeka şirketi Anthropic, dahili modellerinden birini ve prove2.me platformunu kullanarak Fermat'ın Son Teoremi'nin Lean programlama dilinde tam bir biçimsel kanıtını üretti. Gelişme, Freek…
Yazılımcı ve araştırmacı Paul Gruhn, teorem kanıtlama dili Lean'in arkasındaki temel mantığı TypeScript tip sistemini kullanarak modellediğini açıkladı. Curry-Howard izomorfizmine dayanan bu…
Matematik dünyasında uzun süredir tartışılan Hopf problemi için sunulan çözüm, Lean etkileşimli teorem kanıtlama dili kullanılarak dijital ortamda resmileştirildi. Çalışma, 6 boyutlu kürenin standart…
Tüm haberler yüklendi