No one is talking about automated theorem provers (see 4 coloring theorem) or symbolic solvers (see Mathematica). These tools already revolutionized math decades ago.

The only thing that came out in the past year or two are LLMs. Which is clearly overhyped bullshit.