OpenAI поспешила с объявлением о золотой медали Международной олимпиады по математике

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

Споры вокруг оценки результатов

После того как OpenAI объявила о своей победе, возникли вопросы относительно корректности оценки результатов. Некоторые источники указывают на то, что компания проводила самооценку без внешней проверки, что ставит под сомнение законность претензий. Однако, компания заявляет, что все решения были проверены тремя бывшими медалистами IMO и для утверждения результатов был необходим единогласный консенсус.

Раннее раскрытие результатов также привело к недовольству в Google, которая планировала анонсировать свои результаты позже, в соответствии с установленными сроками. В ответ на это Google DeepMind перенесла свою публикацию, а другие компании, такие как Harmonic, подтвердили, что они будут придерживаться эмбарго и опубликуют свои данные 28 июля.

Искусственный интеллект в математике

По словам исследователей OpenAI, их модель — это обычная языковая модель, предназначенная для обработки текстов, программирования и научных задач. Для задачи IMO ИИ применял те же подходы, что и при решении других задач на основе текстовой информации. В отличие от предыдущих попыток ИИ решать олимпиадные задачи с использованием специализированных математических систем, эта модель работала как стандартная языковая модель и не полагалась на вычислительные системы с высокой затратностью.

OpenAI утверждает, что использование языковой модели для решения математических задач доказывает, что универсальные модели могут быть эффективными даже в таких сложных и традиционно вычислительных областях, как математика.

Как математика проверяет ИИ

Международная математическая олимпиада (IMO), организованная с 1959 года, считается одним из самых престижных событий в мире математического образования. В ходе олимпиады участники решают шесть сложных задач, требующих не только глубоких математических знаний, но и творческого подхода. Задачи, как правило, имеют многозначительные решения, и от участников требуется не просто вычисление, но и доказательство теорем.

В одном из примеров задачи участникам предлагается найти способ покрытия треугольной сетки точек с использованием прямых линий, причем задачи усложняются наличием «солнечных линий», которые имеют особые углы наклона. Решения таких задач требуют внимания к деталям и способности к нестандартному решению.

Будущее ИИ в математике

Результаты OpenAI поразили многих экспертов, которые оценивали вероятность того, что система ИИ сможет выиграть золотую медаль IMO к 2025 году, всего в 18%. Эти неожиданно успешные результаты, наряду с похожими достижениями, которые были заявлены Google, подчеркивают важный момент: ИИ становится всё более эффективным в задачах, традиционно считавшихся человеческими прерогативами.

Заключение

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

Если вам понравился материал, кликните значок - вы поможете нам узнать, каким статьям и новостям следует отдавать предпочтение. Если вы хотите обсудить материал - не стесняйтесь оставлять свои комментарии : возможно, они будут полезны другим нашим читателям!