Nauticus Robotics Inc KITT shares are trading lower Wednesday morning after the marine robotics company disclosed a new convertible debt issuance that could add to future share dilution. Here’s what ...
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 ...