Axiom выпустила формализацию всего Stacks Project объёмом 16 млн строк

Компания Axiom, занимающаяся ИИ и математикой, выпустила формализацию всего Stacks Project — крупного справочника по алгебраической геометрии, который Axiom называет критически важной инфраструктурой современной математики. По словам Axiom, результат насчитывает 16 млн строк, отличается оптимизированным качеством кода и сохраняет тесно взаимосвязанную структуру проекта. Компания назвала его «математическим городом».

Axiom представила этот релиз как контрпример мнению, что вайб-кодинг в больших масштабах порождает халтуру. К полудню 4 ноября пост набрал около 2 000 отметок «Нравится».