“Grant Sanderson predicts that the most useful progress from AI models in mathematics in the next 5 years will be their ability to act as "supercharged connectors," finding and mapping connections between different fields.”