Математика выступает в роли фундаментального языка мироздания, предлагая инструменты для описания законов физики, сложностей биологии и логики информатики. На протяжении веков ее границы расширялись исключительно благодаря человеческому гению. В Google DeepMind убеждены, что искусственный интеллект способен стать мощным инструментом для сотрудничества с математиками, усиливая творчество и способствуя ускорению научных открытий.
В настоящее время запускается Инициатива AI для математики, финансируемая Google DeepMind и Google.org. Она объединяет пять ведущих исследовательских учреждений мира для внедрения искусственного интеллекта в математические исследования.
Первыми партнерами по инициативе стали:
- Имперский колледж Лондона
- Институт перспективных исследований
- Институт высших научных исследований (IHES)
- Институт Симонса по теории вычислений (Университет Калифорнии в Беркли)
- Институт фундаментальных исследований Тата (TIFR)
Партнеры инициативы будут стремиться к общим целям: выявлению следующего поколения математических задач, подходящих для получения инсайтов с помощью ИИ, разработке инфраструктуры и инструментов для этих достижений, а также, в конечном итоге, повышению темпов научных открытий.
Поддержка со стороны Google включает гранты от Google.org и предоставление доступа к передовым технологиям Google DeepMind, таким как улучшенный режим рассуждений под названием Gemini Deep Think, агент для обнаружения алгоритмов AlphaEvolve и система завершения формальных доказательств AlphaProof. Инициатива сформирует мощный цикл обратной связи между фундаментальными исследованиями и прикладным ИИ, открывая возможности для более глубокого партнерства.
Ключевой этап для ИИ и математики
Инициатива AI для математики появляется в период значительного прогресса в способностях ИИ к рассуждениям; собственные разработки демонстрируют быстрое развитие в последние месяцы.
В 2024 году системы AlphaGeometry и AlphaProof достигли уровня серебряной медали на Международной математической олимпиаде (IMO). Недавно модель Gemini в версии с Deep Think показала уровень золотой медали на текущей IMO, полностью решив пять из шести задач и набрав 35 баллов.
Дополнительный прогресс отмечен с помощью другого метода, AlphaEvolve, который был применен к более чем 50 открытым задачам в математическом анализе, геометрии, комбинаторике и теории чисел, улучшив ранее лучшие известные решения в 20% случаев. В математике и обнаружении алгоритмов он создал новый, более эффективный подход к умножению матриц — ключевому вычислению в информатике. Для задачи умножения матриц 4x4 AlphaEvolve разработал алгоритм, использующий всего 48 скалярных умножений, побив 50-летний рекорд алгоритма Стразена 1969 года. В информатике он помог исследователям выявить новые математические структуры, демонстрирующие, что некоторые сложные задачи еще труднее для компьютеров, чем считалось ранее. Это обеспечивает более четкое и точное понимание пределов вычислений, что будет направлять будущие исследования.
Такой быстрый прогресс свидетельствует о стремительном развитии возможностей моделей ИИ. Ожидается, что новая инициатива позволит изучить, как ИИ может способствовать ускорению открытий в математических исследованиях и решению более сложных задач.
Мы находимся лишь в начале пути к полному пониманию потенциала ИИ и того, как он может помогать размышлять над самыми глубокими вопросами науки. Сочетая глубокую интуицию ведущих математиков мира с новыми возможностями ИИ, можно открыть новые направления исследований, продвигая человеческие знания и приближаясь к прорывам в различных научных областях.