AI Math Breakthrough Sparks Debate

A recent article in Science reports that a large‑language‑model AI has produced a proof of a long‑standing mathematical conjecture, a development that has drawn sharp debate within the mathematical community. The model, trained on vast amounts of mathematical literature, generated a sequence of logical steps that purportedly establishes the conjecture’s truth. While the proof is formally coherent and passes initial automated checks, many experts point out that the reasoning is not yet subjected to the rigorous peer‑review process that has