Surely the machines will have superior conjectures soon.
I think so. Mathematics is the least of my worries. I worry about what the machines will want to do.
I think so. Mathematics is the least of my worries. I worry about what the machines will want to do.