Тао Чжэсюань поддерживает!Олимпиада по математике искусственного интеллекта с призом в 5 миллионов долларов США здесь, ищет большую модель, которая может выиграть золотую медаль IMO

Источник статьи: qubits

Источник изображения: Сгенерировано Unbounded AI

Международная математическая олимпиада ИМО, специально созданная для ИИ, здесь -

Это колоссальные 10 миллионов долларов!

Конкурс претендует на то, чтобы быть “от имени нового теста Тьюринга”, как сравнивать?

PK соревнуются с самыми умными математическими гениями человечества и завоевывают золотую медаль того же стандарта.

Не стоит недооценивать это событие, даже мастер математики Тао Чжэсюань здесь, и рекомендует его на официальном сайте:

Этот конкурс дает ориентир для определения стратегий ИИ по решению проблем, а это именно то, что нам сейчас нужно.

Как только появилась эта новость, пользователи сети были очень взволнованы.

Как сказал президент ИМО: Какая модель может конкурировать с самой яркой волной молодых людей в мире?

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

AI участвует в IMO с максимальной суммой в 5 миллионов долларов

Аббревиатура этого конкурса – АИ-МО.

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

Почему стоит выбрать IMO в качестве бенчмарка?

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

Статистика показывает, что у его золотых медалистов в 50 раз больше шансов выиграть медаль Филдса, чем у среднестатистического выпускника Кембриджа.

Кроме того, половина обладателей Филдсовской медали участвовала в соревнованиях ИМО.

На основе этого конкурса в начале 2024 года откроется конкурс AI-MO, посвященный искусственному интеллекту.

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

Результаты будут объявлены на 65-м Конгрессе ИМО в Бате, Великобритания, в июле следующего года.

В итоге ИИ, достигший золотого уровня, получит главный приз в размере 5 миллионов долларов.

Остальные модели ИИ, которые «достигли ключевых вех», разделят оставшиеся награды за прогресс на общую сумму 5 миллионов долларов.

Стоит отметить, что для того, чтобы претендовать на премию, участники должны соблюдать соглашение об публичном совместном использовании AI-MO, то есть победившая модель должна быть с открытым исходным кодом.

Что касается конкретных правил, то оргкомитет все еще обсуждает, и чиновник в настоящее время набирает членов консультативного совета (особенно математиков, экспертов по искусственному интеллекту и машинному обучению) и директора, чтобы возглавить конкурс, все они платные и могут быть полностью удаленными, и неизвестно, какие воротилы присоединятся.

Однако следует отметить, что AI-MO не является официальным конкурсом, инициированным ИМО.

Реальным спонсором является XTX Markets, лондонское небанковское финансовое учреждение, которое занимается количественной торговлей с помощью машинного обучения.

По крайней мере, XTX Markets фокусируется на герое.

В прошлом году он также учредил стипендию совместно с Оксфордским университетом, чтобы поощрить студенток изучать математику.

Что касается самого конкурса, то некоторые пользователи сети также запустили волну спекуляций: какая модель ИИ самая перспективная?

GPT-4 с плагином Wolfram был первым, который был выпущен, но он также был первым, на который налили холодную воду.

Тем не менее, OpenAI, стоящий за ним, по-прежнему пользуется популярностью (хотя крупные технологические компании не являются целевой аудиторией для конкурса).

Некоторые пессимистически настроенные пользователи сети прямо заявили:

Это круто, но никто не должен быть в состоянии сделать это за пять лет.

При этом также утверждается, что:

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

Все станет известно в 2024 году.

Стоит отметить, что AI-MO — не первый ИИ, бросивший вызов IMO.

В 2019 году несколько исследователей из университетов и институтов, таких как OpenAI, Microsoft, Стэнфордский университет и Google, уже запустили конкурс под названием IMO Grand Challenge.

Никому еще не удавалось справиться с этой задачей

IMO Grand Challenge — это также соревнование, организованное для поиска ИИ, который может выиграть золотую медаль IMO.

Давайте взглянем на 5 правил для ИИ в этой математической игре:

О формате. Для того, чтобы обеспечить строгость и проверяемость процесса доказательства, как задача, так и доказательство должны быть выполнены формальным (машинно проверяемым) способом.

Другими словами, задача IMO будет преобразована в выражение, основанное на языке программирования Lean, и входные данные для ИИ через доказательство теоремы Lean, и ИИ также нужно будет написать доказательство на языке программирования Lean.

О Score. Каждый контрольный вопрос ИИ будет оценен как истинный или ложный в течение 10 минут, так как это также время для того, чтобы судья IMO забил гол. В отличие от людей, для ИИ не существует такого понятия, как «частичная оценка».

О ресурсах. Как и человеку, ИИ необходимо решать 3 задачи за 4,5 часа в день (всего 2 дня), а вычислительные ресурсы не ограничены.

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

О самом челлендже. Самая большая проблема заключается в том, чтобы заставить ИИ выигрывать золото 🏅, как люди.

Инициаторами конкурса выступили 7 ученых-исследователей и математиков в области ИИ:

Даниэль Селсам из OpenAI, Леонардо де Моура из Microsoft, Кевин Баззард из Имперского колледжа, Рид Бартон из Университета Питтсбурга, Перси Лян из Стэнфордского университета, Сара Лоос из Google AI и Фрик Видейк из Университета Радбауда.

Теперь, четыре года спустя, он привлек внимание некоторых конкурсантов.

Тем не менее, несмотря на то, что многие исследователи в области искусственного интеллекта и математики пытались бросить вызов этой области или небольшой цели в этой области, они все еще далеки от конечной цели - победы в чемпионате IMO.

Было даже предложение, что для этой игры должен быть «простой режим»:

Например, исследователь Си Ван (Xi Wang) попытался использовать несколько существующих SMT-решателей для решения реальных вопросов IMO, но результаты оказались посредственными.

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

Однако, когда дело дошло до доказательства некоторых других реальных задач, таких как геометрическая задача IMO 2019, существующие решатели не смогли этого сделать, или это было полчаса сверхурочно.

Например, исследователи OpenAI (которые в то время все еще работали в Microsoft) Дэн Селсам (Dan Selsam) и Джесси Майкл Хан (Jesse Michael Han) также некоторое время изучали тему «ИИ для решения геометрических задач IMO» и вели блог.

В этом блоге объясняется, как они придумали решатель геометрии и шаги по его разработке, в том числе:

Геометрические представления, решение ограничений, выбор алгоритма, архитектура решателя, задачи и решения.

Геометрические представления, например, представляют геометрические задачи в формате, который компьютеры могут понять и обработать, и наоборот, включая использование геометрических решателей для автоматического преобразования языков программирования в графы, которые легко читать человеку:

Кроме того, он также рассказывает, как выбрать подходящий алгоритм решения в соответствии с различными типами геометрических задач IMO и т. д.

Но даже в этом случае сообщение в блоге не дает конкретного решения, а только заявляет в конце, что «решатель имеет потенциал для достижения цели выиграть золото IMO».

Более того, геометрические задачи, на которые нацелены вышеупомянутые претенденты, занимают лишь четверть типов задач ИМО (наряду с алгеброй, комбинаторикой и теорией чисел).

Несмотря на то, что он запущен уже 4 года, до сих пор нет настоящего «универсала IMO», но, как автор этой идеи, IMO Grand Challenge до сих пор производит много шума в отрасли.

Алекс Герко признается, что IMO Grand Challenge также стал для него возможностью провести AI-MO:

Пришло время порадовать «AI Challenge IMO» в целом!

Конечно, призовой фонд этого AI-MO действительно привлек внимание организаторов IMO Grand Challenge и многих претендентов:

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

Судя по текущим показателям, как вы думаете, какая AI-компания, скорее всего, возьмет на себя лидерство?

Ссылки:
[1]
[2]
[3]