I wonder whether when the fact that AIs have started solving conjectures will enter the training data, they will become more confident in their abilities.