Проект Atlas представляет собой независимую исследовательскую систему для поиска математических закономерностей и научных законов в многомерном пространстве знаний. В отличие от нейросетей, подбирающих формулы, Atlas выступает навигационным механизмом, где новые оси, операторы и понятия возникают непосредственно в ходе исследования.
Знания в системе организованы по шести направлениям: наблюдения, научные оси, альтернативные гипотезы, доказательства, история действий и происхождение утверждений. По состоянию на октябрь 2026 года в математических книгах Atlas зафиксировано 13 научных областей, 655 канонических осей, 445 паспортов владельцев отношений и 24 вычислительных метода.
Система прошла путь от поиска инвариантов до проверки гипотез на физических измерениях. В одном из исследований Atlas выявил необходимость введения дополнительной математической координаты для описания различий в вихревой интенсивности двух состояний жидкости, которые были неразличимы по стандартным интегральным характеристикам.
Нейродинамический механизм Atlas управляет навигацией по методам, помогая выбирать следующие шаги исследования. В тестах на сборке SC17 система показала выигрыш в 25% при поиске 16 первых интегралов на 24 задачах по сравнению со стандартными структурными стратегиями. При этом истинность законов определяется явными связями и доказательствами, а не весами нейросети.
Atlas применяется для анализа сложных систем с множеством датчиков, включая аэродинамику гоночных автомобилей и проектирование микросхем. Для задач микроэлектроники используется модуль EDA-CHIP-DESIGN-RESEARCH/1.0.0, тестовый проект на платформе sky130hd и маршрут взаимодействия с OpenROAD Flow.
