‘Project Hail Mary’ Directors Phil Lord and Christopher Miller Have ‘a Chip’ on Their Shoulders — but Not About This Film

The filmmakers tell IndieWire about returning to directing, the fear inherent to all creativity, and the adorable new alien Rocky.

A.I. Writes Buggy Code. A Silicon Valley Start-Up Wants to Fix It.

These start-ups, including Axiom Math and Harmonic, both in Palo Alto, Calif., and Logical Intelligence in San Francisco, hope to create A.I. systems that can automatically verify computer code in ...