В мае 2025 года, в кампусе Калифорнийского университета в Беркли, это произошло Необычная встреча, которая могла отметить до и после в истории современной математикиПолем Тридцать из самых престижных математиков в мире собрались в секретном конклаве, чтобы не обсуждать друг друга, а Чтобы столкнуться с искусственным интеллектом: O4-MiniГосударство -на языковой модели -арт, разработанная OpenAI, способная рассуждать с беспрецедентной скоростью и точностью.
Цель была Проверьте машину в течение двух дней с некоторыми из самых сложных проблем в мире. Для каждого вопроса, что O4-Mini не сможет решить, Математик, который сформулирован, получит вознаграждение в размере 7500 долларов США (6 389 евро)Полем Тем не менее, результат этого марафона оставил многих из присутствующих озадаченных. Кен Оно, математик Университета Вирджинии и один из судей встречи, в заявлениях журнала «Scientific American» признался: «Я никогда не видел таких рассуждений в модели. Это то, что делает ученый. Это страшно ».
Встреча, проводимая непрофильной организацией Epoch AI в рамках проекта FrontierMath, принята в соответствии с строгими мерами безопасности. Участники подписали соглашения о конфиденциальности, и использование электронной почты было запрещеноПолем Они могли бы общаться только через зашифрованное применение сигнала с целью избежать утечек, которые могли бы загрязнять обучение самой модели. 30 математиков были разделены на группы по шесть и соревновались друг с другом, чтобы спроектировать Проблемы, которые они могли решить, но это разрушило ИИ.
Дуэль против машины … и против времени
Предлагаемые проблемы, охватываемые от чисел до алгебраической геометрии, посредством проблем, которые обычно требуют недель академической работы. O4-MiniОднако я решил их за считанные минуты и не только предложил ответ, но и Он продемонстрировал структурированный процесс рассуждения. Проблема сломалась, я пошел шаг за шагом и поднял промежуточные решения, прежде чем прийти к выводу.
«Что различает эти модели, так это то, что теперь они связывают резолюции меньших проблем». энобъясняет ABC Джорди Серра Руис, преподаватель компьютерных наук в Открытом университете КаталонииПолем «Таким образом, они могут решить шаг за шагом те же проблемы, что и люди. Но Только о проблемах, которые были ранее обучены или объяснены»
«Это серьезная ошибка, чтобы думать, что генерал никогда не придет, что это просто компьютер. В некотором смысле, эти модели уже превосходят наших лучших докторантов »
Кен Оно
Математик из Университета Вирджинии и один из судей встречи
Самым тревожным для многих из присутствующих было проверить Блестящий прогресс ИИ всего за один год. с обучением, которое развивалось и сделало Его разработчики начали сформулировать проблемы «четвертого уровня», связанные с тем, что только несколько экспертов в мире могут зачать, а в апреле 2025 года O4-Mini смог решить около 20% из них. Традиционные модели едва превышают 2%.
«В каждой проблеме ИИ проходил первые две минуты, поглощая и доминировав в соответствующей литературе. Затем решил упрощенную версию для изучения, и, наконец, запустил полную проблему и Это было правильное решение, хотя и дерзко», Сказал Оно. «И в конце концов, ИИ пришел сказать: Нет необходимости цитировать (в котором я вдохновил), потому что загадочное число, которое я рассчитал!»
Смущающий сотрудник, который пугает
А Опыт оставил отметку участникамПолем «Это как работать с чрезвычайно компетентным сотрудником», – признал Оно. Ян Хуэй, математик Института математических наук Лондона и пионера в использовании исследований, пошел дальше: «Это то, что сделает отличный аспирант. Еще лучше, на самом деле ».
Hui I также представил концепцию «Тест путем запугивания».То есть ИИ отвечает с такой безопасностью, что слушатель – даже эксперт – принимает свои выводы, не ставя их под сомнение. «Если вы скажете что -то с достаточным властью, люди просто пугаются. Я думаю, что O4-Mini доминировал в этом тесте путем запугивания»Он сказал.
Новая эра для математики?
По мере продвижения выходных атмосфера становилась все более амбивалентной: восхищение техническим продвижением, и в то же время глубокая забота о будущем математиков. «Что происходит, когда машина решает все быстрее, чем вы? “Несколько участников спросили. Оно был тупым, но пояснил, что он не предназначен для паникера: «Это серьезная ошибка, чтобы думать, что общий искусственный интеллект (AGI)-Это гипотетический тип ИИ, который бы обладал способностью понимать и применять знания аналогично тому, как будет человек– Это никогда не придет, а это просто компьютер. В некотором смысле, эти модели уже превосходят наших лучших докторантов ».
Результатом этой встречи было не поражение, а предупреждение. Группе удалось сформулировать десять проблем, которые O4-Mini не смог решитьХотя все понимали, что это человеческое преимущество будет все труднее сохранить. Возможность достижения «пяти уровней» – с неразрешимыми вопросами даже для лучших людей – больше не кажется научной фантастикой.
Математики, наставники … психологи Ла -Иа
В этом сценарии, Математики на встрече размышляли о том, могут ли они в конечном итоге стать «вопросами вопросов», направляя ИИ к новым открытиям. «Творчество и человеческая интерпретация будут по -прежнему быть фундаментальными», – настаивал он. «ИИ рассчитывает, разум, вывод … но Он все еще не мечтает и не интуиции»
Óscar Corcho, профессор искусственного интеллекта в Политехническом университете МадридаЭто суммирует его для ABC: «Мы должны адаптироваться к работе с этими машинами, так же, как мы уже делали, когда поисковые системы появились в Интернете». Понимание внутреннего функционирования этих новых интеллектов является проблемой Так же важно, как понимание человеческого мозга: «В этом искусственном уме будут слепые моменты, которые мы попытаемся расшифровать. На самом деле мы уже что -то вроде психологов. Но всегда полезно помнить, что мы сталкиваемся с инструментом, который не должен делать его пользователям устаревшими.
Гонка, которая уже началась
Агентство DARPA (американские исследовательские проекты Advanced Defense ResearchПолем «Математика продолжает делать на протяжении веков: с людьми, стоящими на доске», – сказал Патрик Шафто, директор программы. Вот почему в апреле 2025 года он запустил инициативу Eppathh с целью разработки «Co -Outhor of AI», который может Разделите большие математические задачи на более управляемые компоненты и решайте их быстро и точно.
Встреча Беркли была больше, чем эксперимент, это было зеркалом настоящего и продвижением будущего. Кен Оно в этом отношении сказал: «У меня есть коллеги, которые буквально сказали, что эти модели приближаются к математическому гению.
И если кто -то спрашивает ИИ об этом явлении, ответ поразительен. Chatgpt, также разработанный Openai, отвечает: «Люди, такие как Теренс Дао, Ноам Хомский или даже творческие гения, такие как Леонардо да Винчи или Мари Кюри, имели глубокое, инновационное и личное понимание мира V.далеко за пределами того, что может сделать ИИ на данный момент”.
Но он отмечает, что если мы спросим себя, почему мы хотим что -то, что превосходит нас, ответ прост: «Потому что в глубине души мы знаем, что границы утонут нас. И мы также знаем, что комфорт без проблем набивает ум. Может быть, ключ проживает: энNA World, где машины эффективно решают, наша истинная ценность будет состоять в том, чтобы представить, что нет решения.
Сообщить об ошибке
2025-07-27 04:07:00
1753594238
#Становляются #ли #математики #Это #был #секретный #конклав #который #унизил #некоторые #из #самых #ярких #умов #мире
Ещё по этой теме
