Искусственный интеллект оказался в центре спора после заявления о решении одной из так называемых «Загадок тысячелетия». Внутренняя модель OpenAI, по информации источника, смогла найти решение математической задачи, за доказательство или опровержение которой Математический институт Клэя назначил премию в 1 млн долларов.

Фото: unsplash.com

О причинах разногласий между сторонниками ИИ и математиками рассказал в эфире «Общественной службы новостей» предприниматель, стратег и основатель проектов в сфере маркетинга, IT-разработки и AI-решений Константин Ким, сообщает Общественная Служба Новостей.

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

Он также обратил внимание на использование Lean — специального языка программирования, который позволяет формально проверять математические доказательства. По словам предпринимателя, даже если система подтверждает корректность расчетов, окончательную оценку, по его мнению, должны дать ученые.

Расчеты ученые начали 28 августа, а к результату пришли 5 сентября 2026 года. После этого еще около 17 часов потребовалось на формальную проверку доказательства с помощью Lean. Система позволяет автоматически проверять каждый этап математического рассуждения.