Эксперты американской корпорации OpenAI сообщили, что их внутренняя модель сумела найти решение уравнений Навье — Стокса. Для формальной проверки доказательства, выполненной на языке программирования Lean, потребовалось около 17 часов. Lean используется математиками для автоматической и строгой проверки каждого шага в рассуждениях.

О том, кто и каким образом проверяет работу искусственного интеллекта, в эфире Общественной службы новостей высказался Владимир Зыков, директор Ассоциации профессиональных пользователей соцсетей и мессенджеров, а также главный редактор ИТ-издания Рунет и основатель ИИ-сервиса для журналистов и СМИ.

«Сегодня человеку все сложнее следить за работой искусственного интеллекта, поэтому один ИИ выполняет задания, а другой проверяет их. Это, если объяснять максимально просто. Та же система применяется и к атакам, которые осуществляют системы искусственного интеллекта. Да, человек также участвует в процессе, но большая часть задач или возможных последствий действий ИИ всё равно находится под его контролем с использованием человеческого труда», — отметил Зыков.

Полученное с помощью ИИ компании OpenAI доказательство указывает, что неподвижная гладкая жидкость может под внешним воздействием развить «сингулярность» за конечное время, при этом скорость жидкости становится бесконечной, хотя её энергия остаётся конечной.

Эксперты из OpenAI подчеркнули, что для проверки решения уравнений Навье — Стокса использовался язык программирования Lean. На данную операцию ушло около 17 часов, так как необходимо было детально проверить правильность каждого этапа выводов.

Владимир Зыков, как представитель Ассоциации профессиональных пользователей соцсетей и мессенджеров, а также главный редактор ИТ-издания Рунет, пояснил в эфире Общественной службы новостей, что сегодня работа искусственного интеллекта всё чаще проверяется самим искусственным интеллектом. Человек также задействован, но в основном ИИ осуществляет и контроль, и выполнение задач.