Re:AI solves IMO problems at silver medal level
by visarga on Thursday July 25, 2024 @01:10PM
(#41070984)
Euclidian Geometry still requires constructions to solve, and those are based in intuition.
[ Parent
| on HN ]
Re:AI solves IMO problems at silver medal level
by gjm11 on Thursday July 25, 2024 @05:03PM
(#41073355)
There 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.