I really struggle to understand this discussion. Mathematics isn't a way to keep a specific kind of intellectual happy by providing fun, meaningless puzzles to solve in isolation. It's the bedrock of all other science. The goal is to find solutions and to advance the field - but we seem to be treating it like some sort of occupational therapy for bored geniuses.
As we solve lower level problems, we can unlock real world math solutions. Stellerator Design, Quantum error correction, Predictive superconductivity, Inverse protein and enzyme design - the list goes on. Many solutions AI can find can bring us closer to these - so let's fire up whatever datacenter we can find and get us to these outcomes.
As we solve lower level problems, we can unlock real world math solutions. Stellerator Design, Quantum error correction, Predictive superconductivity, Inverse protein and enzyme design - the list goes on. Many solutions AI can find can bring us closer to these - so let's fire up whatever datacenter we can find and get us to these outcomes.