Axiom Math: Lupta împotriva "gunoiului" generat de IA în matematică – o fundație verificată pentru viitorul științei
Axiom Math, o startup evaluată la 1,6 miliarde USD, a reușit verificarea formală a Stacks Project – unul dintre cele mai vaste corpuri de matematică – transformând 7.654 de pagini în 16 milioane de linii de cod Lean verificat. Acesta este un pas decisiv spre eliminarea "AI slop" din știință, construind o fundație de încredere pentru agenții viitori.
🕒 6 ore în urmă
