Comment by WarmWash

Trudging into the technicalities of the example still doesn't undo the question of "What is the point of mathematics? To find answers or to be a hobby?"

It's tempting to say "both", but that misses that AI is now forcing us to pick one.