заданных структур — языка, правил игры или сформулированной человеком задачи. Захави разграничивает дедукцию, индукцию и абдукцию (форму рассуждения, при которой из наблюдаемых фактов выводится наиболее вероятное объяснение), утверждая, что большие языковые модели (LLM, large language models) прекрасно справляются с первыми двумя видами рассуждений, но терпят неудачу именно с абдукцией — процессом, требующим воображать объяснения для неожиданных результатов. В качестве примера он приводит создание Эйнштейном общей теории относительности, отмечая, что Эйнштейну пришлось прибегнуть к мысленным экспериментам, чтобы сформулировать новые аксиомы — процесс, который ИИ воспроизвести не в состоянии. Захави предполагает, что будущие системы искусственного интеллекта, обладающие «моделями мира», способными симулировать целостные среды, могли бы позволить машинам самостоятельно придумывать эксперименты — идея, которую уже давно продвигает Ян Лекун (Yann LeCun).