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.

Apple has bad news for AGI optimists. An Apple research paper reports major limitations with AI reasoning models' much-hyped "thinking" abilities.