1/ AKSIN SERBEST VERİLİRİLİŞİ: Axiom Yalın Motoru ⚙️ Temel Altyapımıza resmi kanıt için büyük ölçekte hizmet veriyoruz. Bunlar, AxiomProver'ın arkasındaki aynı Lean metaprogramlama araçlarıdır ve Putnam'ı kazanmasına ve araştırma varsayımlarını açmasına güç veriyor. Bugün herkes için mevcut!

1/ AxiomProver, Fel'in sayısal yarıgrupların syzygileri üzerine açık varsayımını çözmüş ve sıfır insan rehberliğiyle Lean'da özerk bir biçimsel ispat üretmiştir. Bu, bir yapay zeka sisteminin teori oluşturma matematikte ve kendini doğrulamada çözülmemiş bir araştırma problemini çözdüğü ilk kez.

1/ Axiom tarafından sponsor ve ortak organize edilen Aarhus Matematik ve Yapay Zeka Atölyesi'ni duyurmaktan gurur duyuyoruz. Konuşmacılar arasında Fields madalyalı Terence Tao ve Maryna Viazovska✨ bulunmaktadır Axiom'dan: Francois Charton @f_charton, Alberto Alfarano @albe_alfa, Seewoo Lee @antimath3 Danimarka'da görüşürüz! ❄️