Linking AI models to formal verification methods can correct LLM shortcomings such as false assertions. Amazon's Byron Cook explains the promise of automated reasoning.

A group of Ontario kids successfully calculated the speed of the International Space Station using computer coding skills.