Axiom Math verifikon formalisht projektin Stacks: rreth 16 milionë rreshta kodi të kontrolluar nga agjentët e inteligjencës artificiale

Startup-i me vlerë 1.6 miliardë dollarë ka përkthyer një nga korpuset më të mëdha të matematikës në kod të verifikuar kompjuterikisht, duke mbushur boshllëkun e gjeometrisë algjebrike në matematikën e formalizuar.