A conjecture raised by Guo at a 2021 AIM workshop proposed that the positive square energy s+ = E+_2 would behave like the spectral radius, never dropping when an edge is added to a graph. That claim was later disproven for the case p = 2. A new arXiv preprint by Tang, Liu and colleagues establishes that edge-addition monotonicity fails for every p >= 1.
A newly posted paper builds explicit counterexamples to Rockafellar's sum conjecture, showing pairs of maximally monotone operators that meet the interior-domain qualification yet whose sum fails maximal monotonicity. One example is constructed on the Banach space c0 and another on l1. The results settle a long-standing open question in convex analysis and optimization theory.
A newly posted arXiv paper argues that current AI systems risk outpacing human understanding and control, and that fresh mathematical work is needed to make them legible, steerable, and cooperative. The author structures the call by mathematical subfield so researchers can identify where their expertise applies, and frames it as an open invitation to the mathematics community.
Several Fields Medal-winning mathematicians argue that the AI field's emphasis on solving competition-style problems as a measure of progress misses the deeper goal of mathematical understanding. They warn that optimizing for such benchmarks can steer research away from genuine insight and discovery.
OpenAI says one of its models has produced a solution to a long-unsolved Millennium Prize problem in mathematics, presenting it as a landmark result. The claim has left many mathematicians uneasy, with some criticising the announcement as premature and boastful rather than a settled proof. It lands amid a string of recent cases where AI systems have contributed to mathematical research.
A group of 25 Fields Medal recipients, including Terence Tao and Peter Scholze, has issued a joint statement arguing that the AI industry's objectives and those of mathematics are badly misaligned. They contend that using AI to churn out solved problems erodes the field's core purpose, which is genuine understanding. The signatories present this as a warning sign of a wider risk facing other disciplines and society.
A Hacker News discussion considers the proposal that AI systems should be aligned to mathematical or other formal objectives rather than to human preferences. Commenters weigh whether a mathematical target would be easier to specify and verify, or whether it merely avoids the harder question of what people actually want from such systems.
A new arXiv paper examines the human review record behind ten mathematical results that OpenAI announced on 1 August 2026, assessing 18 chapter-specific reviews. It also weighs the applicable review standards, Lean formalizations, follow-up research, and how later mathematical work has referenced the proofs. The audit offers an independent quality check on AI-generated mathematics.
A new arXiv paper presents a curriculum-level case study on how generative AI tools, including ChatGPT, handle core undergraduate mathematics. The authors discuss the implications for traditional assessment methods and for universities considering alternatives.
A Hacker News thread questions whether a mathematical proof credited to OpenAI had already been established in earlier published work by other researchers. The headline frames this as a possible repeat of an earlier case where an OpenAI-attributed result was found in existing literature. No verification or company response is included in the report, so the allegation remains unconfirmed.
OpenAI said it had solved one of the seven Millennium Prize problems in mathematics, a result the company framed as a major research achievement. The announcement, rather than being widely celebrated, triggered unease and doubt among academics, who questioned the claim. The episode highlights growing tension between fast-moving AI labs and the slower verification norms of the research community.
OpenAI stated on Tuesday, September 8, that one of its models produced a proof tied to the Navier-Stokes equations, one of the seven Millennium Prize Problems carrying a $1 million award. The claim concerns a longstanding set of partial differential equations describing fluid flow, whose general smoothness and existence questions remain unresolved. It is unclear from the report how much of the underlying mathematical problem the work actually addresses.
A dispute has erupted after OpenAI publicized an AI-produced proof for a long-standing millennium mathematics problem. Mathematician Tristan Buckmaster alleges academic fraud, while CEO Sam Altman denies the accusation. Terence Tao cautioned that such clashes risk undermining centuries of open scientific practice.
A reported advance in AI-assisted mathematics has sparked disagreement among researchers about how strong the underlying results really are. The episode has focused attention on how machine-generated mathematical claims are checked, credited, and communicated to the public.
A disagreement has escalated over claims that an AI system produced a valid proof for one of mathematics' Millennium Prize problems. Mathematician Tristan Buckmaster has accused OpenAI of academic misconduct, a charge CEO Sam Altman rejects. Terence Tao cautioned that such disputes risk undermining centuries-old norms of open scientific inquiry.
OpenAI says it has used AI to crack a difficult mathematical problem concerning the Navier-Stokes equations. The announcement has been accompanied by a disagreement over how the proof was actually produced.
OpenAI says its AI has produced a solution to the Navier–Stokes problem, one of the Clay Mathematics Institute's seven $1 million Millennium Prize challenges. The release includes a technical writeup together with a machine-checked formal proof written in the Lean proof assistant. Whether the argument constitutes a complete, correct solution will depend on scrutiny from the mathematics community.
WHY IT MATTERS ↘Pairing a frontier-model claim with a machine-checked Lean proof shifts verification from trusting the lab to auditing a formal artifact, a template that could become standard for evaluating AI reasoning claims. It also escalates competitive pressure among labs to target landmark open problems, though expert scrutiny of the argument remains the real bottleneck before any practical or prize implications follow.