Tim Leanstral objavio je novu inačicu 1.5 modela s 6 milijardi aktivnih parametara, koja značajno unaprjeđuje formalnu verifikaciju. Model postiže vrhunske rezultate na FATE-H (87 posto) i FATE-X (34 posto), rješava 587 od 672 problema na PutnamBenchu te zasićuje miniF2F. Uz to, otkrio je pet ranije nepoznatih grešaka u 57 testiranih repozitorija.
Leanstral 1.5 donosi napredak u formalnoj verifikaciji
Izvori
Originalni sadržaj iz javnih izvora. Pune članke ne objavljujemo — kliknite za izvornu publikaciju.
- Hacker News Front (2026-07-03 22:33) Pročitaj original ↗
AI će pretražiti dodatne izvore i sintetizirati detaljniji sažetak (8-12 rečenica) iz više izvora. Rezultat se ne sprema javno i ne indeksira.