One question in computer science has stood above the rest for decades, resisting every attempt to settle it despite its ...

David Cutler is in the spotlight for his work on a tasty-sounding mathematics problem. In January, the New York Times featured a research paper authored by Cutler and Neil Sloane, the founder of The ...

In the era of A.I. agents, many Silicon Valley programmers are now barely programming. Instead, what they’re doing is deeply, ...

The team's automated reasoning research aims to build algorithms that allow computers to perform logical reasoning. The output of these algorithms is traditionally binary: satisfiable or unsatisfiable ...

The errors that quantum computers make are holding the technology back. But recent progress in quantum error correction has ...

Although the potential applications of quantum computing are widespread, a new feasibility study suggests quantum computers ...

Last month Perplexity announced the confusingly named “Computer,” its cloud-based agent tool for completing tasks using a harness that makes use of multiple different AI models. This week, the company ...

Celebrate Pi Day and read all about how this number pops up across math and science on our special Pi Day page. Grab something circular, like a cup, measure the distance around the circle, and divide ...

People and computers perceive the world differently, which can lead AI to make mistakes no human would. Researchers are working on how to bring human and AI vision into alignment.

OpenAI and Anthropic have raised tens of billions of dollars on the promise of artificial intelligence that can make new discoveries in fields like medicine, biology and physics. And yet,we’re nowhere ...