I like this title. Mathematicians can already explore an idea with computer programs, and it seems like ML (tho maybe not gpt) could be used in this capacity. S

I like this title. Mathematicians can already explore an idea with computer programs, and it seems like ML (tho maybe not gpt) could be used in this capacity. Sort of like fuzz testing in software development. Theorem proving might or might not be a fruitful path to pursue with ML.