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 ...