Cheap data and the absence of coincidences make maths an ideal testing ground for AI-assisted discovery — but only humans will be able to tell good conjectures from bad ones.
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.
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.
The article doesn’t mention LLMs, and many ML related things came out in the last year or two that aren’t LLMs.