Тема

Stacks Project

Новости по теме «Stacks Project»: последние события, сделки, продукты и цифры. Лента пополняется по мере выхода новостей.

ИИ1 час назад

Axiom Math формально верифицировала Stacks Project с помощью ИИ-агентов

Стартап Axiom Math объявил, что формально верифицировал Stacks Project, один из крупнейших математических трудов, написанных людьми. Команда ИИ-агентов перевела около 7 654 страниц…