Print Join the Discussion View in the ACM Digital Library The mathematical reasoning performed by LLMs is fundamentally different from the rule-based symbolic methods in traditional formal reasoning.

My 5-year-old nephew once confidently told me that all dinosaurs were green because his three dinosaur toys were green. So I showed him a nature documentary, Walking with Dinosaurs, and suddenly, ...