• Google продемонстрировал прогресс своих новых ИИ-систем AlphaProof и AlphaGeometry 2 в решении сложных математических задач: системы решили несколько задач на Международной математической олимпиаде 2024 года, подтвердив потенциал ИИ в области математического мышления.
  • Хотя на решение некоторых задач системам потребовалось больше времени, чем отведено регламентом соревнования, их результаты — последнее достижение ИИ в математике.

НАШЕ МНЕНИЕ
Google через свой ИИ-подразделение DeepMind представил две новые ИИ-системы, AlphaProof и AlphaGeometry 2, которые достигли значительного прогресса в решении сложных математических задач, в том числе на Международной математической олимпиаде 2024 года. Эти ИИ-системы продемонстрировали способности к математическому мышлению и решению задач, сочетая различные техники, такие как языковое моделирование и ИИ-системы, которые уже превзошли людей в настольных играх.
— Rae Li, журналист BTW

Что произошло

Google представил две инновационные ИИ-системы — AlphaProof и AlphaGeometry 2, которые добились значительного прогресса в решении сложных математических задач. Они показали свои возможности на Международной математической олимпиаде 2024 года, где AlphaProof успешно решил три задачи из четырёх, включая самую сложную, а AlphaGeometry 2 справился с оставшейся задачей.

Объединив языковые модели с ИИ-системами, которые уже превзошли людей в стратегических играх, эти системы продемонстрировали способность к математическому мышлению и решению задач.

AlphaProof, в частности, был создан путём объединения варианта языковой модели Gemini, используемой в чат-боте DeepMind, сAlphaZero. AlphaProof не только показал высокие навыки рассуждения, но и решил самую сложную задачу соревнования. AlphaGeometry 2, в свою очередь, сосредоточился на геометрических задачах, продемонстрировав универсальность ИИ в различных областях математики.

Читайте также:Apple Maps становится веб-сервисом, бросая вызов Google новыми функциями

Читайте также:Zuckerberg намерен соперничать с OpenAI и Google с помощью новой модели Llama

Почему это важно

ИИ Google продемонстрировал прогресс своих недавно разработанных ИИ-систем AlphaProof и AlphaGeometry 2 в решении сложных математических задач. Это показывает потенциал ИИ для математического мышления.

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