When Covid-19 struck in 2020, Sashikumaar Ganeshan at the Indian Institute of Science, Bangalore built a model to predict the spread of the contagion, marking his deep immersion into AI technologies.

AI could soon spew out hundreds of mathematical proofs that look "right" but contain hidden flaws, or proofs so complex we can't verify them. How will we know if they're right?

Data-analysis and modelling positions are already becoming obsolete, but hands-on experimentalists can breathe easy for now.