[ad_1]
We constructed a neural theorem prover for Lean that discovered to unravel quite a lot of difficult high-school olympiad issues, together with issues from the AMC12 and AIME competitions, in addition to two issues tailored from the IMO.
[ad_2]
Source link