BoltonBailey avatarBolton Bailey
Will the first AI to get IMO gold tree-search the formal proof space?
55%
chance
29
1kṀ2852
2030