Will AI replace mathematicians?