Проверка делом

[catpad]

-Итак, вышла нашумевшая версия OpenAI под названием o1.
Правда ли, что она лучше всех умеет рассуждать? Проверим.

Вот логическая задача (можете, кстати, сами попробовать решить, прежде чем читать дальше):

Five different people live in five different houses. These houses are arranged in a line.
Each house is a different color: red, green, yellow,

Comments

[e2pii1]

задачи нa сaмом деле тривиальные для решения компьютером: можно тупо перебрать все возможные комбинации (их всего несколько тысяч) и на каждой проверить выполнение всех условий. Вся сложнocть: понять условия и перевести их в формальную проверку