[we’re thinking there’s a reasonable chance that all of math is solvable, given the sheer amo7nt of compute in the world not being purposed to effective pattern generalization [more