Is mathematics about to enter the conservatory?

Mike McCoy writes at mbmccoy.dev about a preprint that proves the Spherical Hadwiger Conjecture, open since about 1974. The paper, by Wang and Wu of Hunan University, credits OpenAI Codex with help…