Recent results show that large language models struggle with compositional tasks, suggesting a hard limit to their abilities.

MIRI's artificial intelligence research is focused on developing the mathematical theory of trustworthy reasoning for advanced autonomous AI systems.