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 ...

Researchers simulated nearly every molecule in a bacterial cell — and then watched the cell grow and reproduce.

The rapid evolution of generative AI has produced tools capable of creating images, music, and short video clips. But a new class of platforms is beginning to tackle something much more ambitious: ...

Drug delivery researchers have vastly improved the potential of genetic therapies by overcoming the challenge of consistently getting genes and gene-editing tools where they need to be within cells.