Solving (some) formal math olympiad problems
核心要点速览
We built a neural theorem prover for Lean that learned to solve a variety of challenging high-school olympiad problems, including problems from the AMC12 and AIME competitions, as well as two problems adapted from the IMO.
查看完整报道与分享
完整图文、背景资料与讨论归原始发布平台 OpenAI News 所有。