Updated

Over the past year, OpenAI, Anthropic, and other AI labs have announced breakthroughs on long-standing mathematical problems, including claims of progress on a Millennium Prize problem, pushing well past what many researchers expected current systems capable of. The Verge reports that this fast-moving push has unsettled parts of the mathematics community, with some results achieved in ways critics say bypass normal standards of rigor and peer review.