MyDataWork POV — OpenAI's foray into mathematics with their frontier model raises more questions than it answers. Publishing results and Lean proof formalizations on GitHub sounds promising, but the practical impact remains murky. Mathematics, unlike language models, demands precision and verifiability, and AI's role in this domain is still largely unproven. The leap from theoretical results to meaningful mathematical breakthroughs is vast, and without clear demonstrations of utility, this initiative feels more like an academic exercise than a paradigm shift.