Periodically during tax season a meme goes around saying something like this: I sure am glad we studied triangles every time triangle season comes around. The implication here is that we never need ...

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