Creators are tapping new tools to streamline editing, research, scripting, and post‑production—in some cases cutting hours of work down to minutes.
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 ...