As AI conquers math, its human counterparts seek to steer its powers

Claude-Louis Navier was an engineering professor in Paris in the 1820s, where he was known for his deep analytical knowledge of bridge-building, but also blamed for relying too much on theory when a bridge he designed cracked and had to be dismantled.