Assistant professor (of mathematics) at the University of Toronto. "Tireless math ronin,” “forever confused.” Algebraic geometry, number theory, etc. He/him.
In practice this means that a huge amount of duplicative labor, both in flesh and in silico, is being devoted to work whose marginal value to mathematics is, essentially, the cost of the tokens and perhaps a few bits of information indicating that the problem can be solved by existing models.