SharpSMT first fuses DPLL(T) polytope enumeration with new factorization, variable-elimination and caching pre-processing, ...

Research team cuts shadow-tomography sample cost to ε^(−3) by seeding FTRL with a rough state guess ϱ, halving measurements ...

Sachdeva’s breakthrough challenges one of the most studied problems in computer science, known as maximum flow, which ...

One day in November, a product strategist we’ll call Michelle (not her real name), logged into her LinkedIn account and switched her gender to male. She also changed her name to Michael, she told ...

At M.I.T., a new program called “artificial intelligence and decision-making” is now the second-most-popular undergraduate major. By Natasha Singer Natasha Singer covers computer science and A.I.

Personalized algorithms may quietly sabotage how people learn, nudging them into narrow tunnels of information even when they start with zero prior knowledge. In the study, participants using ...

The original version of this story appeared in Quanta Magazine. Imagine a town with two widget merchants. Customers prefer cheaper widgets, so the merchants must compete to set the lowest price.

All of modern mathematics is built on the foundation of set theory, the study of how to organize abstract collections of objects. But in general, research mathematicians don’t need to think about it ...

Google’s Willow quantum computer (pictured here) is delivering. Image credits: Google. “Today, we’re announcing research that shows — for the first time in history — that a quantum computer can ...

The original version of this story appeared in Quanta Magazine. If you want to solve a tricky problem, it often helps to get organized. You might, for example, break the problem into pieces and tackle ...

Children often surprise us with their natural problem-solving skills. A new study shows that they can discover efficient algorithms on their own. Researchers Huiwen Alex Yang, Bill D. Thompson, and ...