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

Seventeen-year-old Vishnu Kannan’s love for math and problem solving led him to become the founder of a tech startup, which ...

It’s a bright day for computing — literally. Two tech companies have unveiled computer components that use laser light to process information. These futuristic processors could soon solve specific ...

Ising machines demonstrate significant potential to tackle computationally complex challenges, including combinatorial optimization problems related to logistics, manufacturing, finance, and AI. The ...

Educators are increasingly using generative A.I. in their own work, even as they express profound hesitation about the ethics of student use. By Dana Goldstein As artificial intelligence makes its way ...

We’ve covered several of the ways large language models, and more generally, a new wave of artificial intelligence software and hardware, could change the way we play games, work with our own data, ...

The original version of this story appeared in Quanta Magazine. All of modern mathematics is built on the foundation of set theory, the study of how to organize abstract collections of objects. But in ...