@tao@mathstodon.xyz a lot of the success stories of AI in math seem to largely revolve around either resolving a conjecture by counterexample or problems which are numerical. Here is where AI excels. It’s ability to try many different candidate solutions very quickly. It’s a machine and its computing ability far exceeds what a human can do. Problems which can’t be solved by counterexample or don’t have a numerical or combinatorial flavor it doesn’t seem to do very well. I think AI’s capability in math is overhyped.