DeepMind от Google научился решать сложнейшие математические задачи
. Компания представила два инструмента — AlphaProof и AlphaGeometry 2DeepMind от Google научился решать сложнейшие задачи математической олимпиады
Искусственный интеллект Google DeepMind
Исследовательское подразделение по искусственному интеллекту Google DeepMind заявило о значительных успехах в решении сложных математических задач. Компания представила два новых инструмента: AlphaProof, специализирующийся на математических рассуждениях, и обновленную версию AlphaGeometry 2, ориентированную на геометрию. Эти программы успешно решили четыре из шести задач Международной математической олимпиады, сообщает Bloomberg.
Сегодня в индустрии искусственного интеллекта многие компании направляют усилия на решение математических задач, так как обычно языковые модели ориентированы на лингвистический интеллект. И хотя ИИ становится все более опытным в генерации изображений и текста, математические задачи в несколько шагов все еще представляют для него сложность.
Именно поэтому крупные компании, такие как Google и OpenAI, продолжают работать над развитием «математического» мышления у ИИ. Инструмент AlphaProof был создан на основе программ, которые успешно играли в шахматы, го и сёги. В 2016 году программа DeepMind обыграла одного из лучших игроков в го. В Google объяснили, что решили проблему ошибок у языковых моделей, переводя математические задачи в специальные технические формулировки.
Еще одной сложностью является недостаток данных для обучения ИИ. В отличие от чат-ботов, которые используют огромное количество текстов из интернета, математические задачи требуют специальных данных, умения планировать на несколько шагов вперед и рассуждать. Google заявила, что их модель AlphaProof способна решать все более сложные задачи благодаря регулярным обновлениям.
Новая версия модели AlphaGeometry смогла решить 83% всех исторических задач по геометрии на Международной математической олимпиаде за последние 25 лет. Однако, как отметил вице-президент Google DeepMind Дэвид Сильвер, искусственный интеллект пока не способен заменить людей-математиков. Он сравнил ИИ с логарифмическими линейками или калькуляторами, которые могут помочь в вычислениях, но не обладают воображением, необходимым для постановки интересных задач.
Ранее компания Meta (признана в России экстремистской организацией и запрещена) представила Llama 3.1 — новую модель искусственного интеллекта с открытым исходным кодом, которая позиционируется как самая крупная и продвинутая. Генеральный директор Meta Марк Цукерберг выразил уверенность, что помощник Meta AI на базе Llama сможет превзойти популярность ChatGPT уже в ближайшие месяцы.
