These math breakthroughs happened by throwing tens of thousands of agents at a problem to cover all possible angles (with tools developed by other mathematicians) costing the same amount of money as hiring ten top tier mathematicians for several years. Not saying it is not impressive, but not “AI can replace sciencetists” level impressive.