На фоне заявлений о возможном доказательстве по Навье–Стокс растёт число работ, где ИИ-модели помогают в математике и теоретической физике. Модели используются для поиска гипотез, проверки контрпримеров, генерации кода для симуляций и анализа сложных систем. При этом учёные подчёркивают, что ИИ остаётся инструментом, а не заменой математического доказательства. На фоне заявлений о возможном доказательстве по Навье–Стокс растёт число работ, где ИИ-модели используются в математике и теоретической физике. Модели помогают искать гипотезы, проверять контрпримеры, генерировать код для симуляций и анализировать сложные системы. Это особенно востребовано там, где перебор вариантов и вычисления занимают много времени. Учёные подчёркивают, что ИИ остаётся инструментом, а не заменой математического доказательства. Модель может предложить правдоподобную гипотезу или найти интересную закономерность, но окончательное доказательство требует строгой логики, проверяемой человеком и формальными системами. Поэтому ИИ-результаты в математике рассматриваются как вспомогательные, а не как самостоятельные теоремы. Для научного сообщества это означает постепенное изменение роли ИИ: от инструмента для текста и кода к партнёру в исследовании. Чем больше таких кейсов, тем важнее становится вопрос доверия, воспроизводимости и того, как оформлять вклад ИИ в научные работы. В ближайшие годы можно ожидать появления новых стандартов цитирования и описания ИИ-помощников в статьях.