Проверка изнутри

Приборная панель сама себе устраивает проверку — и сама же её принимает.

10 000 взаимодействующих агентов взялись за задачу, над которой математики бились 90 лет, — уравнения Навье — Стокса. Обменялись 2,7 млн сообщений, произвели около 130 млрд токенов и за 88 часов получили ответ.

Ответ отрицательный: гладкое течение жидкости может само потерять гладкость, закрутившись в одной точке до бесконечной скорости за конечное время. Ещё 17 часов ушло на формальную проверку в Lean — файл либо компилируется, либо нет. Это пока единственное, что можно перепроверить со стороны; институт Клэя свою процедуру ещё не начинал.

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

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

Слышали и другое: где предел ставит не подсказка модели, а код снаружи, отдельно от неё, и что оценку риска теперь показывают заранее, рядом с ценой и результативностью, — а не после того, как что-то уже случилось.

Кто в таком случае открывает капот — панель не спрашивает. Весь вечер она светится ровным зелёным.