Google решил переписать язык Вселенной. ИИ приступает к «косметическому ремонту» фундаментальной математики

Исследовательское подразделение Google DeepMind объявило о запуске масштабной программы AI for Math Initiative, объединяющей ведущие научные центры мира для совместной работы над математическими открытиями с использованием искусственного интеллекта. Цель проекта — создать инструменты и методы, которые помогут ускорить развитие фундаментальной математики и открыть новые направления исследований.

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

В инициативу вошли пять крупнейших академических учреждений мира: Имперский колледж Лондона, Институт перспективных исследований в Принстоне, Французский институт высших научных исследований (IHES), Институт Симонса при Калифорнийском университете в Беркли и Индийский институт фундаментальных исследований Тата. Совместная работа направлена на выявление новых задач, наиболее перспективных для анализа средствами ИИ, а также на создание инфраструктуры, способной ускорить поиск решений и повысить эффективность научного процесса.

Поддержку проекту обеспечивают Google.org и DeepMind, предоставившие не только финансирование, но и доступ к последним разработкам компании: расширенному режиму логического рассуждения Gemini Deep Think, агенту для автоматического открытия алгоритмов AlphaEvolve и системе формального доказательства AlphaProof. Все эти инструменты образуют взаимосвязанную систему, где результаты фундаментальных исследований будут напрямую влиять на развитие самих ИИ-моделей, а они, в свою очередь, — на математическую теорию.

Запуск программы совпал с моментом стремительного роста вычислительных и аналитических возможностей искусственного интеллекта. Так, в 2024 году системы AlphaGeometry и AlphaProof показали уровень, сопоставимый с серебряной медалью Международной математической олимпиады (IMO). Уже год спустя обновлённая модель Gemini с режимом Deep Think добилась «золотого» результата, решив пять из шести олимпиадных задач и набрав 35 баллов.

Ещё одно направление — система AlphaEvolve — применялось к более чем пятидесяти открытым задачам по анализу, геометрии, комбинаторике и теории чисел. В двадцати процентах случаев она улучшила существующие результаты, а также предложила новый, более эффективный метод перемножения матриц — одну из ключевых операций в вычислительной математике. Для матриц размером 4×4 AlphaEvolve смогла найти способ, использующий всего 48 скалярных умножений, побив рекорд, установленный в 1969 году алгоритмом Штрассена. Кроме того, система помогла обнаружить новые математические структуры, подтверждающие, что ряд сложных задач вычислительно ещё труднее, чем предполагалось ранее. Это позволило точнее определить границы вычислимости и наметить пути дальнейших исследований в информатике.

DeepMind отмечает, что стремительный прогресс последних лет демонстрирует потенциал искусственного интеллекта не только как инструмента, но и как активного участника научного поиска. В компании надеются, что AI for Math Initiative создаст основу для новой эпохи математических открытий, в которой человеческая интуиция и машинное мышление будут дополнять друг друга, ускоряя понимание фундаментальных закономерностей природы.