All the drama around AI’s takeover of mathematics

AI research labs are rapidly advancing into the domain of pure mathematics, with major players like OpenAI and Anthropic claiming successes on complex proofs and even Millennium Prize-level challenges. However, the scientific community is raising concerns about the lack of rigorous verification and transparency in these black-box models. While the progress is undeniable, the rush to market has sparked a debate over whether AI outputs should be trusted without the traditional, peer-reviewed formal proofs that define mathematical certainty.