It was always the last thing, right at the end of those pesky Euclidean geometry “proofs” — QED. It meant “it has been proven” or “what needed to be demonstrated as truth has now been ...

Geometry problems demand specific skills of an artificial intelligence (AI), because competitors must provide a rigorous proof for a statement about geometric objects on a plane.