Хабр·Russia·Saturday, October 24, 2026 at 05:37 PM UTC

Atlas: а что, если все законы природы можно исследовать в едином многомерном пространстве?

Translate

tqec3 минуты назад

Представьте пространство, в котором можно не только восстановить любой известный закон, но и обнаружить математические закономерности, о существовании которых мы ещё не подозреваем.

Пространство, где физика, химия, биология, астрономия и математика перестают быть отдельными областями знаний и становятся взаимосвязанными частями одной исследуемой структуры.

Где каждый известный закон — не конечный ответ, а лишь одна из множества возможных связей. Где можно изменять координаты, исследовать пересечения теорий, обнаруживать скрытые зависимости и находить новые математические величины, которым пока даже не придумано названия.

А теперь представьте, что для исследования такого пространства достаточно задать исходные величины, известные отношения и условия — и система сама начнёт искать то, что находится между ними.

От движения элементарных частиц до динамики галактик. От электрических процессов в материалах до химических реакций и биологических систем. От простых уравнений механики до сложнейших нерешённых математических проблем.

И, возможно, дальше — к теориям, которые мы пока не умеем даже сформулировать.

Звучит фантастически? А действительно ли это невозможно?

Ведь многие великие научные открытия начинались не с появления новых экспериментальных объектов, а с неожиданного обнаружения связи между уже известными величинами.

Вспомним простой пример: Представьте исследователя, которому известны масса, скорость, ускорение и сила. Но понятия энергии ещё не существует. Он знает:

$F=ma,\qquad a=\frac{dv}{dt}.$

Исследуя эти отношения, он обнаруживает при постоянной массе:

$Fv=\frac{d}{dt}\left(\frac12mv^2\right).$

Перед ним появляется величина:

$\boxed{\zeta=\frac12mv^2}$

Её физического названия ещё нет. Но математическая структура уже существует. У неё есть свойства, отношения с другими величинами и проверяемые следствия. Сегодня мы называем её кинетической энергией.

А сколько подобных отношений уже существует между известными нам законами, но остаётся незамеченными просто потому, что мы не знаем, какую величину искать?

Именно этот вопрос стал одной из отправных точек проекта Atlas.

Мы решили попробовать создать не очередную нейросеть, которая подбирает формулы или генерирует ответы, а математическую исследовательскую систему другого типа. Систему, в которой знания существуют в развивающемся многомерном пространстве; где новые оси, операторы и понятия могут возникать непосредственно в процессе исследования; где математическое противоречие становится поводом искать недостающее представление, а не отбрасывать результат. Искусственный интеллект здесь — вспомогательный механизм навигации. Главную роль играют сами математические структуры, их взаимосвязи, доказательства и накопленный исследовательский опыт.

Мы назвали эту систему Atlas.

Конечно, способность исследовать произвольную теорию и гарантированно открывать неизвестные законы пока остаётся целью, а не доказанным свойством системы.

Но Atlas уже прошёл путь от поиска математических инвариантов до построения неизвестных представлений и проверки гипотез на реальных физических измерениях.

И в одном из исследований мы столкнулись с особенно интересным результатом: два состояния жидкости, неразличимые по нескольким привычным интегральным характеристикам, могут иметь совершенно различное направление дальнейшего изменения вихревой интенсивности.

Чтобы описать это различие, потребовалась дополнительная математическая координата.

В этой статье я расскажу, как устроен Atlas, зачем мы его создаём, что уже удалось проверить и почему мы считаем, что некоторые ещё не открытые отношения могут находиться буквально рядом с давно известными законами.

А в конце попрошу помощи у научного сообщества. Потому что если подобный подход действительно способен находить содержательные неизвестные отношения, проверять это нужно не в одиночку, а вместе с математиками, физиками, инженерами и исследователями других дисциплин.

Независимый исследовательский проект Atlas · октябрь 2026 года. Публичный GitHub Atlas содержит более раннюю версию, не экспериментальную сборку SC17, использованную ниже.

Рис. 1. Не «одна задача — одна подобранная формула», а единый цикл: недостающее представление → математическое изобретение → свидетельство → следующее действие → общая память.

1. Почему Atlas понадобился другой способ организации научного знания

Мы привыкли к тому, что математическая задача уже содержит правильные неизвестные. Инженер выбирает модель, подставляет измеренные параметры и запускает решатель. Но что, если самого нужного параметра ещё нет? Что, если он не входит в список независимых координат, но обладает отдельным физическим смыслом? Или если известные законы описывают один эксперимент, а во втором дают противоречащие результаты?

В Atlas исследование начинается не с выбора понравившегося уравнения, а с вопросов: какие величины уже известны; какие отношения между ними удостоверены; где они перестают замыкаться; какое представление делает противоречие объяснимым; какой опыт позволит проверить ответ?

Здесь научная ось — это не обязательно направление обычного трёхмерного пространства. Это математически типизированная координата знания: наблюдаемая величина, инвариант, оператор, свойство, ограничение или неизвестный исследовательский объект. В разных дисциплинах одна и та же структура задачи может возникать под разными именами.

Например, отсутствующая память системы может проявляться в фототоке материала, химическом реакторе, охлаждении гоночного автомобиля или диагностике микросхемы. Но это не означает, что одним законом можно заменить физику всех этих объектов. Общими могут оказаться математические инструменты поиска скрытого состояния и доказательные правила.

В обычном прогнозном подходе фиксируют и ищут коэффициенты. В Atlas допускается более фундаментальная перемена постановки:

$(X,\mathcal L)\;\longrightarrow\;(X,\zeta_c,\widetilde{\mathcal L}),$

где новая величина $\zeta_c$ и новый язык операторов $\widetilde{\mathcal L}$ ещё не известны в начале исследования.

Это не обещание, что результат обязательно существует или уникален. Это способ не скрывать отсутствие знания за хорошим графиком ошибки.

2. Что находится внутри Atlas: математика первична, ИИ вторичен

2.1. Единое пространство знания, а не таблица заранее известных формул

В математической книге Atlas исследовательское состояние описывается шестью взаимосвязанными частями:

$S_k=(D_k,\mathcal A_k,\mathcal L_k,\mathcal H_k,\mathcal E_k,\Pi_k).$

Часть состояния	Что она означает	Почему необходима
	Наблюдения, исходные данные и экспериментальные квитанции	Нельзя делать вывод без происхождения измерений
$\mathcal A_k$	Научные оси: величины, координаты, известные и исследуемые объекты	Можно расширять и менять само представление задачи
$\mathcal L_k$	Доступный язык математических операторов	Уравнение может быть невыразимо в текущем языке
$\mathcal H_k$	Кандидаты, альтернативные гипотезы и их поколения	Нельзя терять идеи при первых неудачах
$\mathcal E_k$	Доказательства, остатки, проверки, опровержения, интервалы неопределённости	Нужно отличать истину в модели от совпадения с данными
$\Pi_k$	Происхождение каждого утверждения и история действий	Исследование должно быть воспроизводимым

Это не утверждение, что вся система физически вычисляет в одном плотном массиве с тысячами координат. Научные оси организованы как типизированное и эволюционирующее пространство отношений. В одной из поставляемых математических книг зафиксирован снимок 13 научных областей, 655 канонических осей, 445 паспортов владельцев отношений и 24 вычислительных методов. Число зарегистрированных осей — характеристика данного выпуска, а не размерность Вселенной и не количество открытых законов.

Следующий шаг может добавить координату, объединить две эквивалентные, разделить неоднородную ось или перевести ранее допустимую величину в историческое состояние, сохранив её происхождение.

2.2. Почему в Atlas есть нейродинамика, если это не нейросетевой проект

Нейродинамический механизм помогает ответить на инженерный вопрос: какое исследовательское действие разумнее выполнить следующим? Применить точный полиномиальный поиск? Изучить симметрию? Проверить область применимости? Запросить другое измерение? Построить оператор истории?

Но источник математического знания — не скрытые нейросетевые веса. Знание должно существовать как явные объекты, связи, сертификаты, данные и открытые обязательства. Нейродинамика управляет навигацией по методам и исследовательскому опыту, но не решает, что является истинным физическим законом.

Например, в одном испытании SC17 система с предыдущим опытом нашла 16 точных первых интегралов на 24 удержанных математических задачах с суммарным бюджетом 132 условные единицы. Структурная стратегия нашла те же 16 при бюджете 176. Это выигрыш 25% для конкретной серии, а не утверждение о превосходстве на любой научной задаче.

Рис. 2. Исследовательский опыт может менять стоимость пути к точному результату. Он не изменяет истинность математического тождества.

2.3. «Один организм» — практическое требование к архитектуре

В Atlas уже существуют связанные научные органы: MathematicalInvention, AxisModeling, Genesis, ScientificResearchCycle, KnowledgeEvolution, PersistentResearchPortfolio, NeuralEmulator и другие. Важнейшая инженерная проблема последних выпусков заключалась не в изобретении очередного отдельного алгоритма, а в восстановлении исполнительных связей между уже написанными методами.

Например, механизм симметрий может существовать в коде, но не получать объекты, родившиеся в исследовании реальных измерений. Тогда система объективно знает меньше, чем позволяют её собственные модули. В SC11–SC16 такие разрывы последовательно исследовались и устранялись в конкретных маршрутах.

Хороший научный результат должен пройти весь путь: обнаружен → математически представлен → проверен → сохранён с происхождением → доступен следующим действиям. Если он остаётся только в отчёте или отдельном файле, организм ещё не замкнут.

2.4. Что Atlas должен делать самостоятельно

Его целевая петля выглядит так:

$\begin{aligned}&\text{наблюдение}\to\text{представление}\\&\to\text{исследовательское препятствие}\to\text{новый объект}\\&\to\text{свидетельства}\to\text{следующее действие}.\end{aligned}$

Важнейшая часть — переход от препятствия к новому объекту. Он не обязан завершаться новым законом после каждого запуска. Иногда правильный результат — доказательство, что существующих наблюдений недостаточно. Иногда — сохранённая несовместимость двух моделей. Иногда — требование нового физического измерения.

3. Где это может работать: от «Формулы-1» до проектирования чипов

Попробуем уйти от абстракции. Представьте, что перед нами не чистая математика, а система, у которой десятки датчиков, множество физических воздействий и неполное описание внутренних процессов. Вот где становится понятен смысл Atlas.

3.1. «Формула-1»: аэродинамика, тепло, шины и управление — в одном исследовании

Во время гоночного круга автомобиль непрерывно меняет режим: скорость, угол поворота руля, высоту подвески, тормозное усилие, температуры шин и тормозов. Отдельный инженер может исследовать аэродинамику, другой — охлаждение, третий — управление. Но их расчёты связаны.

Например, для воздушного сопротивления при обычных приближениях:

$D=\frac12\rho C_D A v^2,\qquad P_{\mathrm{drag}}=Dv.$

Здесь возникает множество исследовательских осей: — скорость, $\rho$ — плотность воздуха, — коэффициент сопротивления, — характерная площадь. При этом в реальной машине не обязан быть постоянным: аэродинамический режим зависит от геометрии, клиренса и потока.

Вопрос Atlas мог бы звучать так: почему модель, точно описывающая сопротивление на одних скоростях, перестаёт описывать машину при изменении высоты подвески и теплового режима? Достаточно ли прежних координат или необходимо ввести дополнительное состояние, отражающее переход потока между режимами?

Связанные оси	Возможная исследовательская задача
Скорость, клиренс, нагрузка, аэродинамические коэффициенты	Найти область, где привычная карта аэродинамики перестаёт замыкаться
Тепловая энергия, торможение, охлаждение	Отличить неучтённое внутреннее состояние от неправильных коэффициентов теплопередачи
Температура шин, проскальзывание, нагрузка	Проверить, нужна ли координата истории, а не только текущее показание датчика
Режим силовой установки и ограничение энергии	Исследовать совместную допустимость управляющих законов

Что в Atlas реально есть: общее математическое ядро динамики, аэрокосмические паспорта, исследование вихревых взаимодействий и системы управления. Что не подтверждено: в проверенном SC17 я не обнаружил отдельного квалифицированного модуля, уже обработавшего телеметрию команды Formula 1. Это сценарий применения существующих методов, а не заявленный результат гонок.

3.2. Микросхемы: здесь в Atlas уже есть специальный исследовательский маршрут

Допустим, мы хотим изготовить цифровой блок, но не знаем, какая конфигурация размещения, синтеза и тактовых ограничений даст лучший результат. В проектировании микросхем обычно изучают три связанных показателя: площадь , энергопотребление и время — PPA (power, performance, area).

У Atlas уже имеется исполняемый владелец EDA-CHIP-DESIGN-RESEARCH/1.0.0, тестовый проект gcd на платформе sky130hd и рабочий маршрут взаимодействия с OpenROAD Flow Scripts. Его задача — не заменить EDA-инструменты, а исследовать пространство параметров проекта и принимать только те результаты, которые удостоверены внешним инструментальным прогоном.

Здесь исследовательские оси могут быть такими: плотность размещения, ограничения тактов, параметры синтеза, площадь, задержки, мощность, число нарушений DRC и результат LVS. Математически допустимый кандидат на оптимальную конфигурацию ещё не означает, что чип прошёл физическую квалификацию.

Проверенная граница: в данном архиве присутствуют код, тесты и GitHub Actions-маршрут пилота, но отсутствие установленного реального EDA-бэкенда не позволяет выдавать синтетические показатели PPA за измеренный результат изготовления чипа. Более крупные ASIC и произвольные технологии этим пилотом не квалифицированы.

3.3. Другие науки: одна логика исследования, разные физические свидетельства

Направление	Типичная загадка	Что уже есть в Atlas / что ещё требуется
Гидродинамика, турбулентность	Достаточны ли энергия и энстрофия для описания вихревого растяжения?	Есть точные конечномерные Fourier-исследования; бесконечномерная регулярность остаётся открытой
Материаловедение, нейроморфные устройства	Почему одинаковый световой импульс даёт разный отклик?	Есть реальный фототок ErMnO₃ и исследование памяти; механизм микроскопической причинности не установлен
Астрономия, экзопланеты	Закон природы или эффект селекции телескопа?	Есть каталог NASA, оси масс, радиусов и периодов; нужны независимые и согласованные выборки
Медицина и фармакология	Не хватает ли скрытой переменной в модели дозы и отклика?	В SC17 есть фармацевтические паспорта и примеры; это не клинически аттестованная рекомендательная система
Химия и биология	Нужен ли промежуточный компонент для замыкания кинетики?	Доступны общие математические методы; конкретный новый биохимический закон не подтверждён
Авиация и управление	Какие измерения нужны, чтобы различить два объяснения отклика крыла?	Есть оцифрованные данные DLR и математические маршруты; важно проверять погрешность и исходные условия
Микроэлектроника	Можно ли уменьшить площадь и энергопотребление без срыва тайминга?	Есть пилот EDA; настоящий PPA требует OpenROAD/проверок проекта

Идея не в том, чтобы объявить Atlas готовым специалистом по каждой из этих отраслей. Идея в том, чтобы один математический исследовательский организм мог переносить удостоверенные методы рассуждения между задачами, не выдавая аналогию за закон природы.

4. Эксперимент: как Atlas родил оператор, которого не было в исходном полиномиальном языке

Этот эксперимент проведён сейчас на неизменённом SC17 через существующий LawSpaceAPI.run_universal_dynamics_research. Утверждение «родил» означает построение нового для данного исследования математического объекта, а не открытие ранее неизвестной науке теоремы.

4.1. Постановка — дадим законы, но не ответ

Начнём с двух безразмерных переменных и . Пусть система эволюционирует по законам:

$\dot p=2p,\qquad\dot q=2q+3p.$

Представим, что мы не знаем, какие комбинации этих двух величин могут сохраняться. Atlas получает координаты, правые части уравнений и бюджет для точного поиска полиномиальных инвариантов до степени 3. Формулу сохраняющейся величины мы ему не сообщаем.

Это важная постановка: что произойдёт, если искомого ответа нет в классе полиномов, который сейчас исследует система? Обычный ограниченный поиск может завершиться словами «инварианта не обнаружено». Но этим нельзя доказать, что никакого закона нет.

4.2. Первое препятствие — полиномиальный язык оказался недостаточен

Atlas выполнил точный поиск по конечному полиномиальному пространству. Нетривиального полиномиального первого интеграла в проверенной области поиска не обнаружено. Это не доказательство отсутствия полиномиальных интегралов любой степени и тем более не отсутствие всех сохраняющихся величин.

Внутри существующего MathematicalInvention этот результат стал основанием для другого действия: исследовать отношение производных наблюдаемых. Atlas вычислил:

$\begin{aligned}\frac{d}{dt}\left(\frac qp\right)&=\frac{p(2q+3p)-q(2p)}{p^2}\\&=3,\qquad p\ne0.\end{aligned}$

Одновременно $\dot p=2p$ . Значит, неизвестная компенсация должна удовлетворять:

$\frac{dH}{dp}=\frac{3}{2p}.$

Это уже постановка задачи, которой не было среди исходных полиномиальных кандидатов. Не человек подсказал: «ищи логарифм»; необходимость примитивной функции появилась из точного дефекта отношения .

4.3. Рождение безымянной математической величины

Из уравнения на компенсатор следует:

$H(p)=\frac32\ln p,\qquad p>0.$

Atlas зарегистрировал новый исследовательский оператор:

$\boxed{\zeta_1(p,q)=\frac qp-\frac32\ln p}.$

Никакого заранее назначенного физического имени у него нет. Зато есть точное свойство:

$\begin{aligned}\mathcal L_F\zeta_1&=\frac{d}{dt}\left(\frac qp-\frac32\ln p\right)\\&=3-\frac32\frac{2p}{p}=0.\end{aligned}$

В квитанции Atlas он имеет статус EXACT_TRANSPORT_PRIMITIVE_OPERATOR_BORN, собственный идентификатор, условия определения

и точный сертификат производной Ли.

Это не просто ещё один коэффициент оптимизации. Раньше исследование не имело данного объекта; теперь он существует как самостоятельная типизированная координата отношения со своим происхождением и условиями применимости.

4.4. Контрпример — а если известные уравнения изменятся?

Теперь устроим жёсткую проверку. Внешний исследователь, а не Atlas, меняет второй закон:

$\dot p=2p,\qquad \dot q=2q+3p+p^2.$

Это новая задача. Нельзя подменить исследование простым продолжением прежних коэффициентов. Проверим старое выражение строго:

$\boxed{\mathcal L_{\widetilde F}\zeta_1=p\ne0\quad(p>0).}$

Контрпример найден. Утверждение о сохранении $\zeta_1$ не распространяется на изменённую систему. Atlas не должен удалять старый объект: он остаётся точным законом прежней динамики, но теряет право называться инвариантом новой.

Что получилось бы, если заставить Atlas каждый раз выбирать только из одной и той же фиксированной библиотеки? Скорее всего, система остановилась бы на «модель не подходит». Мы решили проверить, сможет ли она вновь вывести нужный математический объект из изменившегося дефекта.

4.5. Второе рождение — новая компенсация без заданной формулы

Повторный запуск через тот же API, с теми же математическими методами, обнаружил:

$\begin{aligned}\frac{d}{dt}\left(\frac qp\right)&=3+p,\\\frac{dH}{dp}&=\frac{3+p}{2p}=\frac{3}{2p}+\frac12.\end{aligned}$

Значит, требуется иная компенсирующая структура. Atlas построил:

$\boxed{\zeta_2(p,q)=\frac qp-\frac32\ln p-\frac p2}.$

Проверка уже новой производной Ли даёт:

$\begin{aligned}\mathcal L_{\widetilde F}\zeta_2&=(3+p)-3-p\\&=0.\end{aligned}$

Поэтому новое выражение сохраняется на положительной координатной области

. В квитанции опять зарегистрирован рождённый из требования оператор, а не подстановка заранее переданного шаблона ответа.

4.6. Независимая проверка — без доверия к собственному отчёту Atlas

Точные тождества дополнительно проверены отдельно символьной дифференциацией. Затем обе модели были независимо численно проинтегрированы с четырьмя начальными состояниями на интервале $0\le t\le0.5$ . Использовались высокие настройки точности solve_ivp, 51 точка контроля на каждую траекторию.

Контроль	Максимальное изменение величины	Статус
в исходной системе	$7.38\cdot10^{-12}$	Численно согласуется с точным сохранением
в изменённой системе		Контрпример: старый объект не сохраняется
$\zeta_2$ в изменённой системе	$2.44\cdot10^{-11}$	Численно согласуется с точным сохранением

Численные малые остатки не служат заменой символьному доказательству; здесь они являются независимой инженерной проверкой того, что выражение действительно ведёт себя согласно сертификату.

Рис. 2. На изменённом поле старая величина систематически меняется, новая остаётся постоянной в пределах численной погрешности. Показана одна из четырёх независимых начальных точек; таблица выше включает максимум по всем четырём.

4.7. Что Atlas сделал сам, а чего пока не сделал

Этап	Фактически выполнено?
Получил поле динамики без готового инварианта	Да, оба раза
Проверил доступный полиномиальный язык	Да, в заданном конечном бюджете
Из математического препятствия сформулировал требование к компенсатору	Да
Построил исполнимый логарифмический оператор	Да
Строго проверил производную Ли и указал область определения	Да
Сам придумал физическую постановку и изменил экспериментальные уравнения	Нет: изменение задавал исследователь
Установил мировую научную новизну или физический смысл оператора	Нет
Автономно завершил произвольное многодисциплинарное исследование	Не доказано

Исследование было выполнено в режиме persist=False: SC17 и его прежняя историческая память не изменялись, а найденные объекты сохранились в отдельной воспроизводимой исследовательской квитанции. Atlas показал математическое рождение двух новых для данного сценария функций; это не равнозначно появлению нового закона природы.

4.8. Что следует из опыта для всей архитектуры

Мы хотели показать ровно одну мысль. Отсутствие решения в сегодняшнем языке формул не означает отсутствие математической структуры. Иногда оно означает, что языку недостаёт нового оператора.

Такой ход рассуждения потенциально востребован и в инженерии. Важен не сам логарифм — эта функция известна веками. Важно, что математическая система может прийти к нему из внутреннего препятствия, сохранив прежнюю структуру знаний и доказав ограниченность старого представления.

Следующий действительно сложный вопрос — сможет ли Atlas самостоятельно поставить следующий эксперимент, определить, какие данные нужны для различения причинных механизмов, и проверить найденную координату в неизвестной физической установке. Именно это мы предлагаем научному сообществу испытать независимо.

5. Исследование №2. Как неполное наблюдение требует новой координаты

Это математический опыт с заданным точным полем, а не новая экспериментальная физика. Он показывает принцип работы ядра без случайной подгонки.

5.1. Исходная задача

Системе задаётся нелинейная динамика трёх величин:

$\dot a=bc,\qquad\dot b=-ac,\qquad\dot c=ab.$

Формулы сохраняющихся величин не задаются. Можно исследовать систему целиком, а можно поставить более интересный вопрос: достаточно ли наблюдать только и , чтобы описывать всю дальнейшую эволюцию?

Сначала Atlas использует существующий точный поиск инвариантов. Возможный математический носитель — полиномы исходных координат. Искомое условие:

$\mathcal L_F I=\nabla I\cdot F=0.$

5.2. Что удалось вывести точно

Atlas получил два независимых квадратичных первых интеграла:

$I_1=a^2+b^2,\qquad I_2=a^2-c^2.$

Это не просто хорошие аппроксимации. Их производные вдоль данного поля точно равны нулю:

$\dot I_1=2a(bc)+2b(-ac)=0,$ $\dot I_2=2a(bc)-2c(ab)=0.$

Именно поэтому результат можно назвать математическим сертификатом для заданной системы. Новизна для мировой математики здесь не заявляется.

5.3. Почему известных наблюдений может быть недостаточно

Пусть мы видим только $\Phi(a,b,c)=(a,b)$ . Тогда:

$\dot\Phi=(bc,-ac).$

Возьмём состояния и , у которых совпадают оба видимых измерения, но $c_1\ne c_2$ . Если или отличны от нуля, производные наблюдений различаются. Следовательно, не существует единственной функции , описывающей эту динамику во всей соответствующей области:

$\Phi(u)=\Phi(v),\quad \mathcal L_F\Phi(u)\ne\mathcal L_F\Phi(v).$

Это уже не вопрос, насколько хорошо подобран коэффициент. Представление принципиально не замкнуто как автономное состояние без дополнительной информации.

5.4. Как Atlas исследует невидимое направление

Вместо требования «назовите нам недостающую переменную» используется история наблюдений и последовательные производные Ли:

$\mathcal H_F(\Phi)=(a,b,bc,-ac).$

Якобиан этого отображения по имеет ранг 3 там, где $(a,b)\ne(0,0)$ . Для одного только ранг равен 2.

Таким образом, по наблюдениям и их производным появляется локальная различимость третьего направления. Atlas подтвердил рост ранга с 2 до 3 в рамках данной задачи. Однако в особых состояниях ранг может падать; локальная различимость не означает глобальное восстановление всей траектории из шумных измерений.

Здесь важнее всего исследовательское поведение. Система должна не сказать «плохая модель», а сформулировать новое обязательство: какая координата или оператор истории сделает наблюдаемую динамику замкнутой?

5.5. Что было обнаружено, чего не было и какой следующий эксперимент

Утверждение	Статус
Два квадратичных первых интеграла для заданного поля	Точное тождество
Представление только не замкнуто на общей области	Математически доказано
Производные наблюдений локально раскрывают третье направление при невырожденности	Математически доказано
Atlas восстановит скрытую координату из произвольных шумных физических измерений	Не установлено
Найден новый неизвестный науке физический закон	Нет

Следующий эксперимент должен скрыть полное поле , добавить контролируемый шум и дать системе только частичные временные наблюдения. После этого можно независимо проверить, возникает ли подходящее скрытое состояние, где оно перестаёт быть идентифицируемым и не подменяется ли математическое открытие удобной регрессией.

В чём здесь исходная идея Atlas: исследовательская система обнаруживает не только недостаток ответа, но и недостаток языка задачи.

6. Исследование №3. Реальный физический эксперимент: почему Atlas обязан сохранять даже неудачные гипотезы

Источник: Causal Chambers, физическая установка Light Tunnel. Данные получены из подлинного экспериментального архива lt_interventions_standard_v1; его MD5 совпала с опубликованной 476664d024f88e8b7640998bb5e9ee33.

6.1. Постановка: найти отношение, которое переживёт изменение условий

В Light Tunnel имеются управляющие каналы red, green, blue, углы поляризаторов, электрические параметры и несколько датчиков. Можно построить модель по одному режиму и проверить на другом, когда физическая установка изменилась.

На контрольной обучающей выборке в одном из исследований было 10 000 наблюдений, а параметры v_c=5 и osr_c=1 оставались постоянными. Это важнейший научный факт: из этих данных нельзя идентифицировать, как зависит результат от изменения , потому что соответствующей вариации в обучении просто не было.

Atlas исследовал зависимость current от трёх световых каналов. Сначала была получена простая эмпирическая аффинная модель (коэффициенты относятся к исходным числовым шкалам данного эксперимента):

$\widehat{I}=59.14585+0.11699\,red+0.11832\,green+0.11831\,blue.$

На шести удержанных световых режимах суммарная RMSE составила примерно 4.679, у постоянной базы — 18.575. Это полезный перенос в испытанных условиях, но не новый закон электричества: величина зависит от конструкции установки и измерительной шкалы.

6.2. Контрпример: дополнительное произведение не лечит отсутствующую координату

В другой многомерной постановке система выбрала дополнительное взаимодействие red × blue. Математически оно выразимо. Но поможет ли оно при новых настройках прибора?

Удержанное воздействие	Простая аффинная модель, RMSE	С произведением `red × blue`, RMSE
`uniform_v_c_mid`	71.091	71.091
`uniform_v_c_strong`	267.434	267.435
`uniform_osr_c_mid`	2.510	2.512
`uniform_osr_c_strong`	1.034	1.037

Результат: усложнение формулы почти ничего не изменило. При вмешательстве в ошибки обеих моделей выросли на порядки по сравнению с рядом других режимов.

Это не доказательство отсутствия какой-либо нелинейной спектральной связи. Это более точное свидетельство: данное произведение не устраняет отсутствие экспериментальной вариации важного управляющего параметра.

В идеологии Atlas такая неудача не должна превращаться в удаление всех нелинейных гипотез. Нужно сохранить конкретный кандидат, конкретный контрпример и вопрос: другая физическая ось? другой оператор? другая область применимости?

6.3. Следующий путь исследования: от коэффициента к новому математическому объекту

В последующих версиях SC11–SC14 Atlas продолжил работу на оптических измерениях. Вместо очередной ручной замены коэффициента он использовал имеющиеся математические механизмы и создал безымянные производные величины для нормированных наблюдений и :

$\zeta_+=(u+v)^2,\qquad\zeta_-=(u-v)^2.$

Он точно удостоверил:

$\boxed{\zeta_+-\zeta_-=4uv}.$

Это другая форма представления уже найденного взаимодействия, а не неизвестная науке физическая сущность. Однако новые объекты получили отдельные исследовательские паспорта, были переданы в общую память и проверялись далее.

После этого Atlas исполнил исследовательские эпохи на разных заранее удержанных режимах:

Этап и проверка	До нового представления, RMSE	После, RMSE	Смысл результата
SC11: `uniform_osr_angle_1_mid`	19.781	19.125	Небольшое локальное улучшение
SC11: `uniform_osr_angle_2_mid`	19.521	18.537	Небольшое локальное улучшение
SC12: `uniform_osr_c_mid`	17.765	17.198	Поправка, построенная из тренировочного остатка
SC12: `uniform_osr_c_strong`	18.956	18.535	Та же замороженная поправка переносится в этом режиме

Строки относятся к разным протоколам; они не образуют одну общую метрику качества и не должны усредняться без учёта состава данных.

В SC12 использовался уже существовавший в системе механизм OBSERVED_RESIDUAL_INTERPOLANT: Atlas создаёт конкретную исполнимую функцию из тренировочного остатка, а не получает от исследователя заранее написанное физическое уравнение. Это не изобретение нового математического класса интерполяции, а построение нового исследовательского объекта внутри существующего языка методов.

6.4. Почему настоящий контрпример важнее небольшого улучшения

В SC13 система исследовала уже совместный оператор двух наблюдений:

$\zeta_c=\Phi(blue,angle_1).$

На тренировочных точках была установлена ненулевая смешанная конечная разность примерно . Это математическое свидетельство неаддитивности построенной функции на конкретном квартете точек. Но при переносе на новые физические настройки её ошибка оказалась катастрофической:

Удержанное вмешательство SC13	Аффинная модель, RMSE	Совместный оператор, RMSE
`uniform_v_angle_2_mid`	84.87	3940.39
`uniform_v_angle_2_strong`	90.58	4374.98

Это не тот случай, где достаточно сказать «успех» или «неудача». Математически функция была создана и удостоверена в ограниченном смысле. Физически она не выдержала перенос, а значит не может претендовать на статус устойчивого закона. И её контрпример должен стать источником следующего исследования.

Рис. 3. Пример из другой осевой проверки Light Tunnel: взаимодействие углов помогает в одних режимах и резко проигрывает в других. График иллюстрирует режимную зависимость, а не точно те же строки таблицы SC13.

6.5. Где пригодилась уже существовавшая математическая структура

В SC14 выяснилось, что Atlas уже имел инструменты симметрий. Проблемой была связь этих инструментов с реальной веткой исследований. После восстановления маршрута для $\zeta_+$ и $\zeta_-$ были удостоверены точные преобразования: обе функции инвариантны при обмене $u\leftrightarrow v$ и одновременной смене знаков.

Но соответствующие симметрии эмпирического оператора SC13 получили численные контрпримеры. Это говорит о самом построенном операторе, а не об отсутствии физических симметрий Light Tunnel.

Что мы узнали:

Простая формула может работать на некоторых реальных условиях.
Новый математический объект может быть построен и сохранён без заранее известного названия.
Отрицательный перенос не отменяет точного алгебраического тождества, но не позволяет объявить физический закон.
Следующий научный шаг должен исходить из причины провала: неподходящая геометрия углов, отсутствующий управляющий параметр, иной диапазон измерений, эффект калибровки или новая внутренняя координата.

Главная открытая гипотеза для этой ветки: устойчивое представление оптического отклика может требовать другой геометрии координат и/или дополнительных экспериментальных режимов. Закон Малюса, относительные углы и известная теория поляризации — сильные базовые объяснения, с которыми Atlas должен сравниваться, а не «открывать» их заново по названию.

7. Исследование №4. Может ли Atlas обнаружить состояние памяти физического материала?

Источник: опубликованные измерения фототока ферроэлектрического ErMnO₃, архив Zenodo. Наличие кратковременной памяти у такого материала уже обсуждается в научной литературе: наша задача — исследовать форму динамического представления, а не заявить первооткрытие памяти.

7.1. Зачем здесь вообще нужно многомерное представление

Если измерять ток , возникает соблазн искать статический закон отклика на текущее освещение. Но реальный материал может зависеть от предыстории: предыдущих импульсов, релаксации и внутреннего состояния контактов. Тогда одинаковое текущее освещение не обязано означать одинаковый ток.

Atlas должен исследовать, достаточно ли одного текущего значения или необходимо расширение состояния историей наблюдений. Эту постановку нельзя свести к обычной таблице независимых строк: порядок измерений здесь является частью физической информации.

7.2. Какие данные использованы

В одном из архивных экспериментов исходный ряд содержал 23 000 отсчётов, из которых для данного поиска использовали каждый двадцатый. На первых 850 временных случаях подбирались математические формы, а 296 последующих были оставлены для проверки.

В данном поисковом маршруте световой управляющий сигнал не был синхронизирован с каждой выбранной точкой выходного тока. Это ограничивает причинную интерпретацию: даже хорошо предсказанный не устанавливает, что именно вызвало изменение отклика.

7.3. Три конкурирующих представления

Модель А: простое продолжение текущего состояния

$\widehat I(t+\Delta)=I(t).$

Модель B: история наблюдений

$\widehat I(t+\Delta)=F\bigl(I(t),I(t-\Delta),I(t-3\Delta)\bigr).$

Модель C: в том числе абсолютное время эксперимента

$\widehat I(t+\Delta)=G\bigl(I(t),I(t-\Delta),t\bigr).$

Atlas выбрал кубическую математическую форму для модели B. Внутренняя оценка обеих сложных форм выглядела хорошей: $R^2_{CV}$ около 0.989–0.990. Но решающая проверка — на более позднем участке.

Представление	RMSE на отложенной части, нА	Что говорит результат
Простое продолжение	0.843	Сильная простая база
История наблюдений	0.764	Лучше базы примерно на 9.4%
С абсолютным временем	7.373	Существенное ухудшение переноса

Рис. 4. Низкая внутренняя ошибка не означает устойчивость в будущем времени. Модель с абсолютной временной координатой переносится значительно хуже.

Модель истории была лучше простого продолжения в четырёх из шести временных блоков, но уступила в двух последних. Поэтому нельзя говорить, что задача физического замыкания уже решена.

7.4. В чём потенциально новая ось

Вместо механического добавления новых задержек можно поставить более сильную задачу: существует ли компактная внутренняя величина, отвечающая за историю и дальнейший отклик?

$\zeta_t=\Psi(I_t,I_{t-1},I_{t-2},\ldots),$ $I_{t+1}=\mathcal O(\zeta_t,u_t),\qquad\zeta_{t+1}=\mathcal U(\zeta_t,u_t).$

Здесь — управляющее оптическое воздействие, $\mathcal O$ — наблюдение, $\mathcal U$ — обновление состояния. Эти функции пока не были открыты в данном эксперименте. Это следующая исследовательская постановка, рождённая из недостаточности простых представлений.

С ней связано несколько конкурирующих физических объяснений: реальная кратковременная память материала, медленная релаксация, контактные эффекты, дрейф температуры, нелинейность датчика. Чтобы различить их, нужны синхронные входы и выходы, независимые последовательности импульсов и измеренные погрешности.

7.5. Почему эта задача междисциплинарная

Математическая форма «наблюдаемое зависит от скрытого состояния, которое обновляется под воздействием» используется также в химической кинетике, теории управления, биологических системах и моделировании материалов. Но переносить конкретную функцию из ErMnO₃ в другую науку без проверки нельзя.

Полезен общий метод поиска недостаточного состояния. В этом и заключается междисциплинарный потенциал Atlas.

Отдельный сильный кандидат Atlas: одинаковые энергия и энстрофия — но противоположная динамика вихрей

Математическое исследование из уже существующей ветки F22.33/SC17. Это не новый опыт, проведённый специально для публикации; его точные формулы и сертификаты сохранены в MATHEMATICAL_BOOK.md и в отчёте ATLAS_F2233_NAVIER_STOKES_DIRECTED_CURRENT.json. Ниже описано конкретное следствие на классе гладких трёхмерных полей, не доказательство глобальной регулярности Навье—Стокса.

Вопрос, который поставил Atlas

Предположим, мы наблюдаем только три привычные характеристики течения: средний квадрат скорости, энстрофию и квадрат градиента вихря. Достаточно ли этих величин, чтобы определить, будет ли энстрофия возрастать в ближайший момент времени?

Оказывается, нет даже на очень простом точно вычислимом семействе гладких полей. Две конфигурации могут иметь все три величины одинаковыми, но противоположные знаки начального изменения энстрофии. Именно здесь возникает необходимость в дополнительной математической оси.

Исходная математическая модель

В трёхмерном периодическом пространстве $\mathbb T^3$ исследуем гладкое соленоидальное поле скорости:

$\begin{aligned}u_{a,b,c,d}(x,y,z)&=\bigl(d\cos z,\ a\cos x,\\&\qquad b\cos y+c\sin(x+y)\bigr),\\\nabla\cdot u&=0.\end{aligned}$

Обозначим $\omega=\nabla\times u$ — вихрь и $S=(\nabla u+\nabla u^{\mathsf T})/2$ — тензор скоростей деформации. Пространственные средние берутся по периодическому тору.

Atlas вычислил точные выражения:

$\begin{aligned}E_2&=\langle|u|^2\rangle=\frac{a^2+b^2+c^2+d^2}{2},\\Z&=\langle|\omega|^2\rangle=\frac{a^2+b^2+2c^2+d^2}{2},\\D&=\langle|\nabla\omega|^2\rangle=\frac{a^2+b^2+4c^2+d^2}{2}.\end{aligned}$

Но для вихревого растяжения появляется кубическая зависимость:

$\boxed{\mathcal S=\langle\omega^{\mathsf T}S\omega\rangle=\frac{abc}{4}.}$

Это принципиальное различие: являются чётными по смене знака всего поля скорости, а $\mathcal S$ — нечётной величиной. При переходе от к первые три числа не изменяются, а растяжение меняет знак.

Два состояния, которые старое пространство осей не различает

Возьмём коэффициенты и вязкость $\nu=1$ . Сравним $u_+=u_{15,15,15,15}$ и .

Величина	Конфигурация	Конфигурация
Средний квадрат скорости	450	450
Энстрофия	562,5	562,5
Квадрат градиента вихря	787,5	787,5
Вихревое растяжение	+843,75	−843,75
$\tfrac12 Z'(0)$	+56,25	−1631,25

Последняя строка следует из точного вихревого баланса для гладких локальных решений исходных 3D уравнений Навье—Стокса:

$\frac12\frac{dZ}{dt}=\mathcal S-\nu D.$

Поэтому при одинаковых в одной конфигурации энстрофия растёт, в другой — падает. Эта пара не получена подгонкой нейросети: числа следуют из точных тригонометрических интегралов. Для примера с $\rho=15$ условие начального роста первой конфигурации выражается неравенством

$\rho>14\nu$ .

Рис. 5. Контрпример к возможности точно восстановить знак только из трёх квадратичных величин. Значения показаны для специально выбранного гладкого Fourier-семейства, а не для произвольного решения 3D Навье—Стокса.

Какое неизвестное понятие здесь рождается

Если система располагает только , обе конфигурации неразличимы. Никакая однозначная функция не сможет точно воспроизвести величину растяжения в обеих точках. Это не запрещает оценки и не означает, что невозможно ограничить растяжение сверху через другие нормы.

Для данного семейства Atlas выделил дополнительную безымянную ось:

$\boxed{\zeta_{\mathrm{phase}}=abc,\qquad\mathcal S=\zeta_{\mathrm{phase}}/4.}$

Эта координата зависит от подписанных Fourier-амплитуд и различает две конфигурации, которые прежние квадратичные показатели считали одинаковыми. В более общем случае аналогом становится фазово-триадное описание взаимодействий Fourier-мод. Это исследовательский кандидат на необходимую дополнительную информацию, а не объявление неизвестного науке физического закона.

Почему это интересно и чего пока нет

Здесь Atlas продемонстрировал именно тот тип математического рассуждения, ради которого его задумывали: неудача старого представления → точный контрпример → рождение дополнительной координаты → новое проверяемое отношение. Не пришлось заранее сообщать системе физическое название координаты.

Однако вопросы фазовой геометрии вихрей уже давно присутствуют в научной литературе (например, Constantin и Fefferman, 1993 и обзор геометрических критериев, 2024). Новизна представленной конкретной конструкции относительно всех опубликованных аналогов отдельно не установлена. Точное начальное различие не решает задачу о глобальной гладкости 3D Навье—Стокса.

Потенциально сильная следующая гипотеза: существует полезный фазово-геометрический функционал, который позволяет контролировать накопленное во времени положительное вихревое растяжение одновременно на многих взаимодействующих масштабах. Для превращения этого предположения в математический результат необходимо вывести нетривиальную оценку непосредственно из PDE, проверить её независимость от числа Fourier-мод и корректность бесконечномерного предела.

Приглашение к научной проверке: математикам, работающим с вихревой динамикой, спектральными триадами и критериями регулярности, предлагается проверить точные сертификаты Atlas, найти уже опубликованные эквиваленты, проверить предельные конструкции и предложить следующий нетривиальный доказательный шаг. Это гораздо содержательнее заявления о «решённой тысячелетней задаче».

8. Что эти исследования говорят о возможностях Atlas

Теперь можно вернуться к главному: не сколько формул было построено, а какую именно интеллектуальную задачу система пыталась решать.

Исследование	Что Atlas действительно получил	Чего не получил
Нелинейная динамика	Точные инварианты, доказательство незамкнутости наблюдений, локальное раскрытие скрытого направления	Универсальное восстановление неизвестного закона из шума
Causal Chambers	Эмпирические отношения, безымянные алгебраические объекты, исполнимые нелинейные операторы, точные симметрии и физические контрпримеры	Новый устойчивый фундаментальный закон оптики
ErMnO₃	Выбор динамического представления, преимущество истории над простой базой в части временных испытаний, отрицательный контроль абсолютного времени	Однозначный причинный механизм материальной памяти

Эта таблица важнее общего числа кандидатов. В одном опыте главное — математическое доказательство; в другом — контрпример; в третьем — вопрос о скрытом состоянии. Все три результата должны сосуществовать в общей памяти.

8.1. Почему не следует считать каждый кандидат открытием

Atlas должен строго различать как минимум три уровня:

Уровень	Что означает	Пример
Математически установленное следствие	Тождество доказано из заданных посылок	$\dot I_1=0$ для трёхосевой модели
Научная гипотеза	Предлагаемая связь имеет основания и проверяемые следствия	Скрытая динамическая координата памяти
Физически подтверждённый закон	Независимые измерения и условия применимости согласованы, альтернативы проверены	Для нового закона такого свидетельства в описанных опытах пока нет

Доказанная формула в математической модели может быть уже давно известной. А сильный экспериментальный прогноз может опираться на корреляцию или неподходящий измерительный протокол. Поэтому «проведено исследование» и «открыт неизвестный науке закон» — не синонимы.

8.2. Что осталось открытым в самом Atlas

Даже после SC17 нельзя утверждать, что система способна автономно построить любой недостающий математический оператор. В части маршрутов исследователь всё ещё выбирает класс задачи и набор наблюдаемых. Полный исторический регрессионный прогон всех модулей в ряде выпусков не завершался. Рождение новых объектов иногда обнаруживало несогласованность оркестрации между старыми возможностями.

Это не скрываемые детали, а инженерные ограничения, от решения которых зависит сама идея единого организма.

Для дальнейшей разработки особенно важны: единый самопознающий каталог методов с условиями применения; надёжный переход от обнаруженного препятствия к следующему исполненному действию; сохранение всех альтернатив и контрпримеров; самостоятельное исследование симметрий и неизвестного языка математических отношений; воспроизводимые испытания на задачах, не использованных в разработке.

9. Куда можно применить Atlas дальше: конкретные исследовательские программы

Вместо общего обещания «поможет всем наукам» обозначу несколько содержательных программ.

9.1. Гидродинамика: не подобрать замыкание, а выяснить, чего ему не хватает

В трёхмерных уравнениях Навье—Стокса для несжимаемой жидкости одна из исследовательских проблем связана с динамикой вихря и вихревого растяжения. Для завихрённости возникает член $(\omega\cdot\nabla)u$ . Интегральные квадратичные оценки не всегда фиксируют фазовую геометрию взаимодействующих Fourier-мод.

В исследовательской ветке Atlas изучались конечномерные Fourier-представления, отношения между квадратичными величинами и фазовыми триадами. Например, было получено точное отношение в исследованной карте:

Но это не доказательство глобальной регулярности 3D Навье—Стокса. Следующий содержательный вопрос: может ли Atlas самостоятельно породить фазовый или геометрический оператор, который даёт новое контролируемое неравенство, устойчивое при переходе к неограниченному числу мод?

Здесь Atlas нужен как математический исследователь неизвестного представления, а не как генератор «готового доказательства».

9.2. Астрономия: отличить физический закон от того, как получены данные

В архивном поиске по каталогу NASA Atlas восстанавливал известные отношения орбитального периода, размеров и звёздных параметров. Он также находил условные зависимости массы планеты от радиуса и периода. Но каталог может содержать производные столбцы, а методы обнаружения меняют состав выборки.

Перспективная задача — представить механизм наблюдения и его селекцию как часть исследовательского пространства. Тогда Atlas должен уметь сказать: «похожее на новый закон отношение, возможно, создано способом измерения, а не физикой планет».

9.3. Химия и биология: скрытые промежуточные состояния

В химической реакции наблюдаются начальные и конечные концентрации, но промежуточный компонент может быть неизвестен или недоступен датчику. В биологии аналогичная проблема возникает при скрытой регуляции или запаздывании ответа.

Задача Atlas — не переносить закон оптики на химию, а применять общий критерий недостаточного представления и исследовать, какая дополнительная величина нужна для замыкания. Это пока программа дальнейшей квалификации, а не уже выполненное открытие в этих областях.

9.4. Экспериментальные приборы: исследовать собственную измерительную систему

В Causal Chambers изменения параметров сенсора могут ломать связь, устойчивую при других управляющих сигналах. Здесь важно научить Atlas строить гипотезы о приборе отдельно от гипотез о самом физическом образце. Это полезно для испытательных стендов, автоматизированных лабораторий и диагностики высокомерных установок.

10. Что требуется от научного сообщества

Я публикую работу не ради объявления нового закона и не ради соревнования по числу математических формул. Нужна независимая проверка самой идеи научной системы, которая умеет исследовать неизвестные понятия.

Особенно полезна помощь:

Математиков и специалистов по динамическим системам: строгие критерии минимальности новых осей, идентифицируемости скрытых состояний, нетривиальности инвариантов, переноса конечномерных доказательств.
Экспериментаторов: данные с контролируемым изменением воздействий, независимыми удержанными режимами, паспортами приборов и погрешностями.
Физиков материалов: синхронизированные воздействия и отклики, позволяющие отличать память материала от контактной релаксации и дрейфа.
Исследователей научного ИИ и каузальности: методы различения конкурирующих представлений без утечки информации и без неявного присвоения причинного статуса корреляциям.
Разработчиков математических инструментов: независимая регрессионная проверка интеграции уже существующих вычислительных методов, воспроизводимость доказательных свидетельств и контроль преемственности научной памяти.

10.1. Предложение открытого испытания Atlas

Мне хотелось бы провести эксперимент по следующему протоколу.

Независимая команда выбирает математическую или физическую задачу, ранее не использованную для настройки Atlas.
Atlas получает только допустимые исходные данные, известные законы, единицы измерения и паспорт эксперимента — не искомое название или формулу.
Система исследует достаточность представления, порождает обоснованные безымянные объекты и сохраняет конкурирующие объяснения.
Формулы и проверяемые следствия фиксируются до доступа к удержанным измерениям или к независимому решению задачи.
Эксперты проверяют математическую корректность, самостоятельность результата, возможные известные аналоги, физический смысл и воспроизводимость.
И положительный, и отрицательный результат возвращается в исследовательскую память без уничтожения прежних возможностей.

Самым сильным результатом такого опыта будет не восстановление известной формулы и не минимальный RMSE. Им станет новый математически необходимый объект, отсутствовавший в исходном языке задачи, с независимыми проверяемыми следствиями.

11. Где доступен Atlas и что именно можно воспроизвести

Публичный репозиторий: https://github.com/miroaleksej/Atlas

Версии нужно различать. На GitHub находится более раннее публичное состояние проекта, а описанные исследования выполнялись на архивной линии F22.33-SC1—SC17. Последняя исследовательская реализация не опубликована там в полном объёме. Поэтому GitHub следует рассматривать как точку знакомства с архитектурой и доступным кодом, а не как готовую кнопку воспроизведения всех чисел из этой статьи.

Для независимого повтора потребуются согласованные версии математической книги, исходных измерений, разделения режимов, команд CLI/API, замороженных математических объектов и дайджестов результатов. Доступность этих материалов для отдельных опытов различается; нельзя считать полную публичную воспроизводимость достигнутой, пока соответствующий исследовательский пакет не опубликован.

Открытые первичные источники испытаний:

12. Последний эксперимент. Что произойдёт, если Atlas дать 28 почти несовместимых осей?

Давайте на минуту забудем, что переменные принято заранее делить на «подходящие» и «неподходящие». Представим, что перед нами действующая физическая установка. Она одновременно производит свет, пропускает его через поляризаторы, измеряет инфракрасный и видимый отклик, потребляет электрический ток, меняет управляющие напряжения и записывает параметры своего состояния. И всё это — разные физические языки.

Что произойдёт, если дать Atlas это пространство и не сообщать готовую формулу? Появится ли один объединяющий закон? Или выяснится нечто более интересное: самого математического пространства пока недостаточно?

Этот эксперимент я выполнил на подлинном архиве Causal Chambers Light Tunnel, а не на вымышленных случайных величинах. Исходная версия SC17 оставлена без изменений: исследование проводилось через уже существующие методы LawSpaceAPI.search_observations_for_law_candidates, search_observations_for_function_forms и discover_phi_unknown_unknown_representation.

12.1. Что означает «несовместимые оси»

У нас было 46 исходных колонок экспериментальной установки. На восьми выбранных обучающих режимах 28 числовых осей изменялись, остальные были зафиксированы настройками оборудования. Из этих 28 три — служебные координаты измерения, а 25 — величины и параметры физической или приборной системы.

Слой исследовательского пространства	Активные оси	Количество
Световые команды	`red`, `green`, `blue`	3
Электрика и питание	`v_c`, `current`, `v_board`, `v_reg`	4
Поляризационное управление	`pol_1`, `pol_2`, `osr_angle_1`, `v_angle_1`	4
Геометрические углы	`angle_1`, `angle_2`	2
Инфракрасные датчики	`ir_1`, `ir_2`, `ir_3`	3
Видимые датчики	`vis_1`, `vis_2`, `vis_3`	3
Вспомогательные измерительные каналы	`l_11`, `l_12`, `l_21`, `l_22`, `l_31`, `l_32`	6
Время и служебные признаки	`timestamp`, `counter`, `flag`	3
Всего	28 осей; 25 физических/приборных + 3 служебных	28

Почему это важно? Значение электрического тока нельзя просто прибавить к углу поляризатора, а инфракрасный код измерителя — объявить энергией. Многомерность Atlas не отменяет размерности, происхождения и условия совместного наблюдения. Наоборот, эти различия должны ограничивать поиск.

В той же исследовательской памяти Atlas могут существовать масса экзопланеты, температура звезды или закон биологической регуляции. Но мы не подставляли астрономические и биологические строки в случайные строки Light Tunnel. Без физически обоснованного общего наблюдения или типизированного мостика это дало бы не междисциплинарный закон, а фиктивную корреляцию. Междисциплинарность здесь — прежде всего возможность одной математики исследовать разные типы научных препятствий, не смешивая измерительные реальности.

12.2. Задача без готовой формулы

Из всех доступных выходов я выбрал третий видимый измерительный канал vis_3 как исследуемую величину. Atlas получил остальные изменяющиеся оси, но не получил уравнение, связывающее их с vis_3.

Задача звучала так:

Найди обоснованное математическое представление для третьего оптического отклика, учитывая разнородные наблюдаемые; затем проверь, сохранится ли оно при физических вмешательствах, которых не было при построении модели. Если нет — установи, какого типа знания не хватает, не уничтожая неудачные кандидаты.

Обучающая часть: 8 режимов, по 125 измерений, всего 1 000 строк. В них входили контрольный режим, изменения красного, зелёного и синего света, первого поляризатора, угловой настройки и электрических параметров.

Зарезервированная проверка: три других вмешательства, по 250 измерений, всего 750 строк: сильное изменение второй угловой настройки, второго поляризатора и опорного напряжения. Эти строки не использовались для оценки коэффициентов.

В первой поисковой ступени Atlas рассмотрел 351 парное подпространство. Из них 132 допустили одномерное безразмерное отношение по использованной размерностной схеме, 210 были помечены как многомерные и отложены для другого математического языка, а после устранения дубликатов осталось 27 уникальных парных кандидатов. Это не означает перебора всех комбинаций 28 осей: полный степенной, операторный и междисциплинарный поиск здесь не исполнялся.

После первичного анализа мы вручную выбрали три мотивированных подпространства для следующего вычислительного шага. Внутри каждого Atlas самостоятельно ранжировал формы с конечным бюджетом 32 математические гипотезы. Это исследовательская процедура с участием человека в выборе трёх семейств, а не полностью автономное доказательство над всеми возможными осями.

12.3. Три математических языка встретились на одной физической установке

Первое представление — простая связь датчиков. Atlas выбрал линейную модель:

$VIS_3\approx a_0+a_1VIS_2+a_2VIS_1+a_3IR_3.$

Она получила лучшую групповую кросс-валидационную нормированную ошибку в своём подпространстве — приблизительно 0,3554.

Второе представление — геометрическое. В исследовании VIS_2, angle_1, angle_2 лучший кандидат фактически использовал только VIS_2. Это отрицательное знание: обычные угловые признаки в данном доступном языке не дали надёжной дополнительной координаты.

Третье представление — новый язык отклика. При исследовании VIS_2, IR_3, v_c механизм математического изобретения по структуре остатка предложил другой класс операций. Лучший кандидат содержал функции sin/cos от стандартизованных отсчётов датчиков, а не от физического угла:

$VIS_3\approx \mathcal F_{\mathrm{osc}}(VIS_2,IR_3).$

Это не утверждение, что световой отклик действительно периодичен по коду измерителя. PERIODIC — название вычислительного языка, рождённого для описания остатка. На обучающих режимах он оказался немного хуже первой модели по групповой нормированной ошибке: около 0,3573.

Что произойдёт, если теперь предъявить новые физические условия?

12.4. Эксперимент, который изменил смысл поиска

Удержанное вмешательство, 250 строк	Один датчик `VIS_2`	Три датчика	Оператор `sin/cos`
Вторая угловая настройка, сильное	25,42	22,00	24,28
Второй поляризатор, сильное	105,76	78,06	55,23
Опорное напряжение, сильное	26,56	22,51	24,40

RMSE выражена в исходных кодах vis_3. Модели были оценены по обучающим строкам до чтения удержанных откликов. Таблица показывает исследовательское сравнение, а не гарантированное превосходство модели на новых установках.

Обратите внимание: на двух новых вмешательствах выигрывает обычное трёхсенсорное представление. Но на сильном изменении второго поляризатора картина меняется. Там другой оператор снижает ошибку относительно трёхсенсорной модели с 78,06 до 55,23 — приблизительно на 29%.

И всё же ни один кандидат не стал универсальным. Для нас это интереснее одного красивого R²: физический режим изменил относительную пригодность самих математических языков.

Есть и более наглядное наблюдение. Рассмотрим диагностическое отношение двух выходных каналов:

$R_{23}=\frac{VIS_3}{VIS_2}.$

Это отношение цифровых показаний приборов, не новая физическая константа и не доказанный инвариант. В контрольном режиме его медиана была приблизительно 0,273. При сильном изменении второго поляризатора она стала 0,0247 — в 11 раз меньше.

Есть и более конкретное наблюдательное противоречие. В двух разных режимах нашлись почти совпадающие тройки показаний (VIS₂,VIS₁,IR₃):

Обучающий режим	`VIS₂`	`VIS₁`	`IR₃`	`VIS₃`	`pol_2`
Изменённое опорное напряжение (`v_c_mid`)	262	1344	174	64	2,03
Зарезервированное сильное воздействие на поляризатор 2	260	1394	176	24	67,95

Это не тождественные физические состояния и не строгое доказательство наличия нового закона: тройки лишь близки с учётом масштаба соответствующих каналов. Но их выходы заметно различаются. При этом координата pol_2 уже присутствовала среди 28 осей. Поэтому в научной интерпретации первым делом следует проверить не экзотическую новую физику, а необходимость правильного включения уже известного угла или его преобразования. И только если это не замкнёт отношения, искать принципиально новую величину.

Два измерителя всё ещё наблюдают одну установку. Сложные математические представления всё ещё умеют аппроксимировать часть данных. Но перенос отношения между ними радикально изменился. Это может быть обычным следствием геометрии поляризации и характеристик измерителей. Но для Atlas это точный сигнал: прежнее представление не является достаточным для всех режимов.

12.5. Проверка: не случайная ли это комбинация?

Чтобы не принять удачную выборку функций за открытие, я дополнительно запустил существующий механизм перестановочного отрицательного контроля. Для трёхсенсорного подпространства Atlas 24 раза переставлял отклик внутри обучающих режимов и каждый раз заново воспроизводил конечный математический поиск, включая рождение языков из остатков.

Лучший реальный нормированный результат — 0,3554, медиана лучших переставленных — около 0,8066. Получено эмпирическое с минимальным разрешением .

Это свидетельствует, что для данного ограниченного семейства связь не сводится к случайному перемешиванию отклика внутри режимов. Но тест не учитывает полностью исследовательский выбор между всеми 28 осями и трёмя вручную отобранными подпространствами; независимое подтверждение нового физического закона из него не следует. Перестановочная проверка также предполагает обменность строк в пределах режима.

12.6. Что родилось: новая формула или новая постановка неизвестного?

На этом месте мы могли бы выбрать модель с минимальной ошибкой на втором поляризаторе и назвать её открытием. Но это противоречило бы идее Atlas.

Вместо этого я передал в уже существующий математический орган три раздельных свидетельства нарушения переносимости. Atlas выполнил поиск по внутреннему пространству из 655 зарегистрированных осей и 445 владельцев отношений и вернул статус:

PROPOSE_GENERATED_REPRESENTATION_SIGNATURE

Это не формула и не сертификат нового закона. Это формальная постановка требования к ещё неизвестному представлению. Среди требований — различать скрытые классы состояний, согласовывать оператор наблюдения с экспериментом, сохранять происхождение и не присваивать физическое имя до проверки.

Обозначим исследуемый безымянный объект как

$\boxed{\zeta_{\mathrm{transfer}}}.$

Предполагаемая будущая структура может выглядеть так:

$\begin{aligned}VIS_3&=\mathcal O\bigl(VIS_2,IR_3,\theta_1,\theta_2,\\&\qquad \zeta_{\mathrm{transfer}};u\bigr).\end{aligned}$

где — управляющие условия, а $\zeta_{\mathrm{transfer}}$ — ещё не восстановленное состояние оптического транспорта или измерительного тракта.

Это предложенное нами обозначение исследовательского кандидата, а не выведенная Atlas конкретная функция. Его физический смысл может оказаться совсем не новым: скрытая калибровка, пространственное распределение света, поляризационное состояние или уже известная неучтённая настройка. Поскольку экспериментальные строки независимы, мы также не доказали закон временного обновления такого состояния.

12.7. Что будет считаться завершением этого открытия?

Сейчас Atlas сделал важное, но не последнее: локализовал математическое препятствие и сформулировал, какой класс неизвестного объекта может его устранить. Для серьёзного научного вывода нужно больше:

Открыть новые режимы, в которых независимо изменяются второй поляризатор, спектр и электрическая калибровка, причём часть воздействий оставить неизвестной Atlas.
Построить исполнимую формулу для только по обучающим измерениям и удостоверить её математические свойства.
Заморозить её вместе с конкурирующими объяснениями, включая известную оптику поляризации и модель измерительного тракта.
Проверить на новых воздействиях, сохраняя статусы отрицательных результатов.
Попросить независимых экспертов установить, даёт ли величина новый физический смысл или просто переобозначает известный эффект.

Именно здесь нам нужна помощь научного сообщества. Специалисты по оптике, поляризационным измерениям, спектральной калибровке и теории идентифицируемости могут помочь поставить эксперимент, в котором эти альтернативы станут различимыми.

12.8. Ради чего всё это затевалось

Мы дали Atlas не красивую задачу из учебника, где заранее известно, какую переменную искать. Мы дали ему одновременно меняющиеся величины из оптики, электроники, геометрии, системы управления и метрологии. Двадцать восемь осей. Несколько конкурирующих языков. Настоящие экспериментальные вмешательства. И возможность ошибиться.

Atlas не обнаружил «единый закон всего» и не придумал новую константу природы. Зато показал, где привычные математические координаты теряют смысл при изменении условий, сохранил несовпадающие объяснения и породил требование к понятию, которому пока нет установленного имени.

Возможно, эта величина окажется всего лишь давно известной характеристикой прибора. А возможно, именно такие переходы — от «формула перестала работать» к «в нашем пространстве не хватает понятия» — и станут главным способом, которым Atlas будет однажды находить что-то действительно новое.

Ведь наше исследование начиналось с вопроса: сколько неизвестных отношений уже находится рядом с известными законами?

Пока у нас нет ответа на этот вопрос. Но теперь есть конкретный, воспроизводимый способ продолжать его задавать.

Источник эксперимента: Causal Chambers, lt_interventions_standard_v1.zip (MD5 исходного архива: 476664d024f88e8b7640998bb5e9ee33). Все численные результаты эксперимента и машинные квитанции включены в пакет статьи. SC17 не модифицировался.

Вместо заключения

Atlas создавался ради вопроса, который редко ставят перед обычной системой анализа данных:

Что делать, если правильный ответ нельзя получить, пока у исследователя нет самого понятия, необходимого для его формулировки?

Поэтому в Atlas на первом месте не нейросеть и не очередной алгоритм подбора коэффициентов. На первом месте — математическое пространство знаний, способность изменять язык описания задачи, сохранять доказательства и продолжать исследование после появления контрпримера.

Пока Atlas не доказал способность открывать произвольные неизвестные науке законы. Но его реальная работа уже позволяет обсуждать более конкретные вопросы: почему одни оси недостаточны, почему найденная формула не переносится, как построить и проверить безымянный объект и почему отрицательное знание не должно исчезать.

Я приглашаю научное сообщество не верить на слово ни обещаниям проекта, ни красивым числам. Наоборот: предлагайте задачи, указывайте на уже известные аналоги, ищите ошибки, проверяйте формулы и помогайте формулировать эксперименты, в которых Atlas сможет либо подтвердить свои возможности, либо обнаружить собственные ограничения.

Если новое математическое понятие действительно находится рядом с известными законами, мы хотим, чтобы Atlas умел его заметить — даже до того, как человек даст ему название.

View the original on Хабр →

KioskNews shows a cleaned-up reading view extracted from the publisher’s page — the original always lives on their site, not ours.