Искусственный интеллект Google DeepMind добился впечатляющих результатов на Международной математической олимпиаде, выиграв серебряную медаль и отстав от золотой медали всего на одно очко. Ее системы AlphaProof и AlphaGeometry2 правильно ответили на 4 из 6 вопросов. Среди них AlphaGeometry2 решила задачу по геометрии за 19 секунд, со скоростью и точностью, намного превосходящими показатели лучших математиков-людей. Этот прорыв не только шокировал математическое сообщество, но и привлек широкое внимание в отрасли. Ведущие математики, такие как Тао Чжэсюань и Ло Бошэнь, высоко оценили его и выразили свои ожидания относительно будущего потенциала его развития.
В храме математики Google DeepMind еще раз продемонстрировала необычайные возможности своего искусственного интеллекта. Недавно Google AI завоевал серебряную медаль на Международной математической олимпиаде (IMO). Это достижение не только шокировало математическое сообщество, но и наполнило людей безграничным воображением о будущем ИИ.
AlphaProof и AlphaGeometry2 от Google показали впечатляющие результаты на конкурсе IMO2024. Они ответили правильно на 4 вопроса из 6 и пропустили золотую медаль всего на одно очко. Еще более удивительно то, что AlphaGeometry2 решила задачу по геометрии всего за 19 секунд. С такой скоростью и точностью трудно сравниться даже лучшим математикам.
Генеральный директор Perplexity AI даже смело предсказал, что, если Google продолжит углубляться в область математики ИИ, в будущем она может создать «ИИ Теренса Терсу». Сам Теренс Тао больше озабочен тем, как ИИ и математика могут развиваться вместе. Он считает, что прогресс ИИ в области математики поможет автоматизировать формальную математику и будет способствовать прогрессу математических исследований.
На этот раз путь исследований и разработок DeepMind очень продуманный. Они больше полагаются на обучение с подкреплением, чем на большие языковые модели. Этот метод в определенной степени наследует дух AlphaGo. С помощью формальных методов ИИ способен решать геометрические задачи уровня IMO, которые ранее были невообразимы.
Профессор Ло Бошен считает, что мощные математические возможности ИИ ставят новые задачи перед методами обучения. Существующая структура образования должна быстро меняться, чтобы адаптироваться к потребностям эпохи искусственного интеллекта. Он подчеркнул, что каждый должен научиться решать новые проблемы, которых раньше никогда не было, иначе он не сможет идти в ногу с темпами развития ИИ.
Выступление Google AI на IMO — это не только технологический прорыв, но и глубокое откровение человеческой мудрости. Благодаря постоянному развитию технологий искусственного интеллекта у нас есть основания полагать, что будущие математические исследования и образование претерпят потрясающие изменения. Будем с нетерпением ждать, как ИИ продолжит творить чудеса в области математики.
Выдающиеся результаты Google AI в IMO указывают на то, что у ИИ будут более широкие перспективы применения в области математики, а также привносят новое мышление и проблемы в математическое образование. Это не только прорыв в технологии искусственного интеллекта, но и знаковое событие в освоении человеком неизведанных территорий. В будущем сотрудничество между ИИ и людьми будет способствовать бурному развитию математики и еще большего числа дисциплин.