Is mathematics about to enter the conservatory?

Wang and Wu of Hunan University posted a preprint claiming a proof of the Spherical Hadwiger Conjecture, noting that OpenAI Codex helped develop proof details, locate gaps, structure the manuscript, and edit the text, with the authors verifying all AI-generated content. The summary author tested the argument with Claude Fable, found it plausible, and confirmed the paper follows the Leiden Declaration’s responsible-AI guidelines.