Что происходит, когда прорывы в области искусственного интеллекта превосходят человеческое понимание

Что происходит, когда прорывы в области искусственного интеллекта превосходят человеческое понимание Неизданная Astra от OpenAI решила десять открытых задач по математике, квантовой сложности и теоретической CS. Общая стоимость по ставкам Sol API: около 2000 долларов США или примерно 200 долларов США за решение. О цифрах я писал на прошлой неделе. Это ракурс, который я упустил, и я думаю, что он более важен. Никто не может судить об этом Почти никто из комментаторов не имеет возможности судить, является ли это прорывом. Если вы не занимаетесь многомерной геометрией или теорией групп, то, когда OpenAI заявляет, что разрешила десять открытых задач, у вас есть ровно два варианта: верить им или нет. Третьего нет. Это означает, что общественная дискуссия сводится к выбору той или иной стороны. Сертификаты бережливого производства — это реальная история Именно поэтому вторая деталь имеет большее значение, чем стоимость. Каждый аргумент был оформлен в виде сертификата Lean. Lean — это язык программирования, который работает как помощник по доказательству. Вы пишете логику в Lean, а компьютер проверяет, соответствует ли она. Таким образом, доказательства можно принять как действительные, не понимая лежащую в их основе математику. Не идеально, и для полной уверенности все еще необходима человеческая оценка. Но это значит, что модель не просто находит