Axiom lança formalização de 16 milhões de linhas de todo o Stacks Project

A Axiom, empresa de matemática com IA, lançou uma formalização de todo o Stacks Project, uma ampla obra de referência sobre geometria algébrica que a Axiom descreve como infraestrutura crítica para a matemática moderna. Segundo a Axiom, o resultado tem 16 milhões de linhas, com qualidade de código otimizada e a estrutura altamente interconectada do projeto preservada; a empresa o chama de «uma cidade matemática».

A Axiom apresentou o lançamento como um contraexemplo à ideia de que fazer vibecoding em larga escala produz código de baixa qualidade. A publicação tinha cerca de 2.000 curtidas na tarde de 4 de novembro.