Mathematics resists artificial intelligence