Welcome to the AI crisis in math

OpenAI recently released automated solutions to several long-standing mathematical problems, prompting debate among experts regarding the role of machine intelligence in formal research. This development highlights a growing tension in the academic community over whether AI-generated proofs represent a legitimate advancement or a fundamental shift that challenges the nature of mathematical discovery.