Ошеломленные профессора стали свидетелями того, как робот за считанные минуты справляется с задачами, которые доступны далеко не каждому ученому.
Чат-бот одержал верх в «состязании» с ведущими математиками, сообщает Live Science. Указывается, что такую способность продемонстрировала модель рассуждений о4-mini от OpenAI. Как уверяют создатели, она способна решать даже те задачи, которые не были включены в ее обучение.
Ученые в области искусственного интеллекта решили протестировать его возможности и для этого пригласили 30 известных математиков сформулировать для о4-mini максимально сложные вопросы.
Согласно опубликованным данным, исследователи собрали тайное заседание в Калифорнии, чтобы совместно организовать «экзамен» для робота. В результате они «составили» такие вопросы, которые лишь немногие в мире способны даже задать, не говоря уже о том, чтобы на них ответить. При этом они стремились сделать так, чтобы ИИ не узнал о вопросах заранее: ученые подписали соглашение о неразглашении и общались только в защищенном чате Signal.
Математик из Университета Вирджинии Кен Оно сообщил, что он задал роботу задачу «уровня качественной докторской диссертации» и в течение 10 минут «в оцепенении» наблюдал, как чат-бот последовательно находит решение. При этом ИИ сначала сам создал более простую аналогичную задачу, «чтобы обучиться», а затем успешно справился с основной. Отмечается, что его ответ оказался правильным и при этом «дерзким».
Математик признался, что он не был готов к такому: даже для академика решение подобной задачи заняло бы недели, если не месяцы. В то же время ученый из Лондонского института математических наук Ян Хуэй Хэ подчеркнул, что в научных вопросах столь высокого уровня даже убедительным доказательствам не всегда можно доверять. Как он объяснил, в математике доказательства можно представить тремя способами: методом индукции, «от противного» и путем «запугивания».
— Если вы выражаете что-то достаточно авторитетно, люди просто пугаются. Я думаю, o4-mini освоил доказательство запугиванием; он говорит все с такой уверенностью, — размышляет математик.
Во всяком случае, участникам секретного собрания пришлось признать, что они ошибочно считали искусственный интеллект «просто компьютером». Они даже начали размышлять о возможности испытать его вопросами следующего, последнего уровня — такими, на которые не способны ответить даже самые выдающиеся умы среди людей.
Фото: hi-tech.mail.ru