IT-специалист Зыков: Сегодня человеку все сложнее проверять за искусственным интеллектом

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

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

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

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