AI to Assist Mathematical Reasoning: A Workshop

If your unaware of who Terrance Tao is...

The strategy for the very highest levels of maths is; if you get stuck, see if you can interest Terrance in your problem as he probably has an idea of what to do next.

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.

I would like to hear about the outcomes of this workshop. Talia has some great ideas and research in this area.