МОСКВА, 16 сентября, ФедералПресс. Стало известно, что специалисты по математике, работающие в американской корпорации OpenAI, сообщили о достижении их внутренней модели – ей удалось найти решение одной из семи так называемых «Загадок тысячелетия». За доказательство или опровержение этой задачи Математический институт Клэя (Clay Mathematics Institute, CMI) в Кембридже (США) установил награду в размере 1 млн долларов.
Предприниматель, стратег и основатель бизнес-юнитов в маркетинге, IT-разработке и AI-решениях Константин Ким поделился с Общественной службой новостей своим взглядом на ситуацию. По его словам, доказывать эффективность работы искусственного интеллекта другим искусственным интеллектом не совсем разумно.
Он отметил, что даже при использовании чисто математических расчетов и нахождении всех в понятных границах, итоговая оценка все равно должна исходить именно от экспертов в этой сфере – людей, ученых, которые уже сейчас заявляют о своем несогласии. Тем самым, по мнению Кима, этот конфликт набирает обороты. Он считает неправильным говорить только о том, что Lean оценила и подтвердила верность решения. Здесь, добавил он, нужно дождаться ответа экспертного общества, математиков, которые действительно смогут это подтвердить.
Ученые запустили расчеты 28 августа и пришли к результату 5 сентября 2026 года. После этого еще 17 часов потребовалось на формальную проверку доказательства с помощью Lean – специального языка программирования, который математики используют для автоматической и строгой проверки каждого шага рассуждения.
Напомним, ранее Вассерман высказался о возможном использовании школьниками ИИ.
Изображение сгенерировано с помощью ИИ / Светлана Возмилова