Nope. We have evidence: what human mathematicians were producing and what AI systems are now producing.