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