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 helping develop proof details, finding gaps, organizing the manuscript, and editing the English. The authors say they reviewed and verified all AI-assisted mathematical content and take full responsibility for the paper.
McCoy tried to prove the same result in grad school and again earlier this year with AI help. He has not fully verified the new proof, but says it passes a first read and follows the Leiden Declaration principles for AI use.
He points back to OpenAI’s GPT-4 labor impact report, which put mathematicians at the top of its exposure list: 100% exposed across three models, ahead of writers, translators, artists, and graphic designers. His argument is that math lagged behind those fields not because it is harder, but because it has less economic value and less training data. He then asks whether research mathematics ends up like classical music, kept alive in a conservatory by a small slice of capital.
See more at mbmccoy.dev and the paper is here. Via Hacker News.
Image Lena Gulenko, CC BY 4.0, via Wikimedia Commons
from Adafruit Industries – Makers, hackers, artists, designers and engineers! https://ift.tt/qI30fn9
via IFTTT
