as a meta ultra finitist i disagree, obviously the number of theorems is bounded by the largest number but i have a marvelous construction of an even tighter bound
If there’s an area where infinite progress is possible, it’s mathematics. AI is not the end of mathematics, it’s the beginning.