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