!["Proposing and solving olympiad geometry with guided tree search", Zhang et al 2024 [First system to fully solve IMO-AG-30 problem set, surpassing human gold medalists?]](https://www.digitado.com.br/wp-content/uploads/2026/01/EPS_8hvvzeAc_EuAy9CDLfz-YUe2pqf5OZfKNoTmU0M-1ZbYlv-978x400.jpg "\"Proposing and solving olympiad geometry with guided tree search\", Zhang et al 2024 [First system to fully solve IMO-AG-30 problem set, surpassing human gold medalists?]")
“Proposing and solving olympiad geometry with guided tree search”, Zhang et al 2024 [First system to fully solve IMO-AG-30 problem set, surpassing human gold medalists?]
!["Proposing and solving olympiad geometry with guided tree search", Zhang et al 2024 [First system to fully solve IMO-AG-30 problem set, surpassing human gold medalists?]](https://b.thumbs.redditmedia.com/EPS_8hvvzeAc_EuAy9CDLfz-YUe2pqf5OZfKNoTmU0M.jpg "\"Proposing and solving olympiad geometry with guided tree search\", Zhang et al 2024 [First system to fully solve IMO-AG-30 problem set, surpassing human gold medalists?]") |
submitted by /u/gwern [link] [comments] |
Like
0
Liked
Liked
