I feel like I'm seeing a maths+AI change from "let's test the limits of LLMs by seeing if they can do useful math" to "LLMs can do useful math, now let's solve lots of problems!", or put a different way the goal has shifted from "interesting exercise for AI" to "making a big difference in math". Am I correct?
Are there practical applications of any these problems being solved? No judgement implied, I'm well aware that "no" only means "not yet".
Are there practical applications of any these problems being solved? No judgement implied, I'm well aware that "no" only means "not yet".