4 ms·
Euclidian Geometry still requires constructions to solve, and those are based in intuition.
by visarga 2y ago
Euclidian Geometry still requires constructions to solve, and those are based in intuition.
- gjm11 2y agoThere are known algorithms that can solve _all_ problems in euclidean (ruler-and-compasses) geometry, no intuition required. The most effective algorithms of this type are quite inefficient, though, and (at least according to DeepMind) don't do as well as AlphaGeometry does at e.g. IMO geometry problems.