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.

Shengjia Zhao, a former OpenAI researcher, has been named the chief scientist of Meta Superintelligence Labs (MSL), announced ...