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

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.

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

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