ИИ, этот удивительный новый коллега

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

Так один из наших коллег, Антуан Лефор (имя изменено), придумал протестировать Джарвис-5 (ещё одно ненастоящее имя), новую версию искусственного интеллекта, о которой все говорят. Антуана заинтересовала следующая задача, отличная задача для робота: взять плитку, составленную из нерегулярных многоугольных плиток. Для своих исследований в области физики (а в данном случае мы увидим, что математика и физика иногда путаются) ему нужно было изучить определённую величину, зависящую от конструкции плитки, — «полное изопериметрическое отношение». Это сумма квадратов их периметров по всем многоугольникам, делённых на их площадь, — число, которое тем меньше, чем более «круглые» плитки.

Он задал роботу вопрос в форме: «Считаете ли вы, что этот фактор обладает таким-то и таким-то математическим свойством (P)?» – подробности (P) здесь не важны. Его поразил не столько ответ робота, сколько ход его рассуждений, который можно запросить у сайта. Ведь в своём анализе Джарвис начинает с априорного суждения о том, что указанное свойство (P) не подтверждается, и пытается построить пример, чтобы это продемонстрировать. Затем он замечает, что пример не подтверждает его интуицию, но упорствует, строя другой пример. Проверяя его, он понимает, что и здесь (P) подтверждается, и, следовательно, приходит к выводу, что его первоначальная интуиция, возможно, ложна. Наконец, он приступает к доказательству утверждения (P), что ему удаётся сделать в одном случае, и всё это менее чем за две минуты...

Вам осталось прочитать 50,72% статьи. Остальное доступно подписчикам.