@tao@mathstodon.xyz AI will discover, verify, explain and canonize mathematics better than we can. If not in one year, then in five. Moving “mathematical value” to whichever stage remains human is not a principle; it is a retreat. The scarce resource will be the question.