Comment by upmind

What does AI for Math mean? People doing Math research that want to transition to AI research?