> Now comes AI and it looks like the only bottleneck is people's motivation.

Who pays the salary of the mathematicians and the cost of accessing the AI?