An artificial-intelligence (AI) tool can rigorously prove whether geometric facts — statements about two-dimensional shapes such as triangles or polygons — are true, just as well as competitors in the ...

In the last couple of posts on the inverted transition-to-proofs course, I talked about course design, and in the last post one of the prominent components of the course was an assignment type that I ...

Having high school students prove geometrical propositions became the norm in the United States with the reforms of the 1890's - when geometry was designated as the place for students to learn the ...