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

The latest GPT-5.4 mini model delivers benchmark results surprisingly close to the full GPT-5.4 model while running much faster, signaling a shift toward smaller AI models powering real-world ...

The new Seaport company, backed by TV station owners, seeks to show that precision location information can be carried by the same signals as TV shows.

For years, the reality of overworked, understaffed legal teams kept them operating at a different tempo than the rest of the ...

It’s a long strange road we are headed down with artificial intelligence, or AI, and there is no turning back.

Digital transport technology is catching on, from apps that let you buy train tickets with a single swipe to sophisticated ...

Workplace technology exploded during the 1980s, with old favorites giving way to new and innovative equipment. Here are the office machines that ruled the '80s.

People have always tried to imagine what the future might look like. In 1989, a utility company in Iowa offered its own ...

Researchers at Australian start-up Cortical Labs have taught human neurons grown on a chip to play the classic Doom game. In 2021, they had already used 800,000 neurons to play Pong. Now, with four ...

There's more to the story than the alphabet.

This frames the plot of “The Evitable Conflict,” a short story from “I, Robot,” Isaac Asimov’s seminal collection published in 1950. In the background of the nuclear age, technology was quietly ...

If you take a stroll through a crowded parking lot in any American city, you are likely looking at a sea of vehicles. The manual transmission, once the standard for nearly every car on the road, has ...