The Kakeya conjecture predicts how much room you need to point a line in every direction. In one number system after another — with one important exception — mathematicians have been proving it true.

AlphaProof and AlphaGeometry 2 are steps toward building systems that can reason, which could unlock exciting new capabilities. AI models can easily generate essays and other types of text. However, ...

The designers for Monte Vista Elementary School’s proposed outdoor classroom had some key questions to answer: What materials could they use while staying under the district’s $10,000 budget? How much ...

Technology has delivered groundbreaking advances in recent decades—from life-saving medical treatments to the everyday convenience of carrying a powerful computer in a pocket. Yet despite the rapid ...

Expert systems builders construct computer programs that capture some aspects of human problem-solving performance in a narrow domain of expertise. The narrowness and shallowness of the knowledge ...

The Dobb-E domestic robotics system was trained in real people’s homes and could help solve the field’s data problem. A new system that teaches robots a domestic task in around 20 minutes could help ...