To me, the importance of LLMs getting good at math isn't solving conjectures, it's that they're generally good at math, and that enables many things:
- writing provably safe software
- solving crazy graphics
- more accurate scientific models & analysis
- etc.