AI models in mathematics are proving to challenge major theories in various fields, including computing and physics.