Math is likely moving into a big science era, much like experimental particle physics and astronomy did before it.
Once AI mines the easy unsolved problems, it will take large token budgets to make meaningful advances. That will need to be funded and planned at a societal level, like the great facilities of the other big sciences.
Mathematics will become more like an observational science, with some mathematicians specialized in interpreting the results that come out of the big AIs.
Once AI mines the easy unsolved problems, it will take large token budgets to make meaningful advances. That will need to be funded and planned at a societal level, like the great facilities of the other big sciences.
Mathematics will become more like an observational science, with some mathematicians specialized in interpreting the results that come out of the big AIs.