Axiom Math muốn giữ AI slop ra khỏi toán học

Khi AI lạm dụng toán học với những chứng minh chưa được kiểm chứng, Axiom Math đặt cược vào việc xác minh. Các AI agent của startup vừa đã xác minh hình thức Stacks Project, một trong những thư viện lớn nhất trong lĩnh vực.