Bolton Bailey
Will the first AI to get IMO gold tree-search the formal proof space?
Resolved
NO
30
Ṁ1k
Ṁ5.6k
resolved Jul 21
