ChatGPT Sol 5.6 high found a normalization error in two recently published Riemann Hypothesis papers. The author confirmed it.

Reddit r/singularity News

Summary

A non-mathematician used ChatGPT to identify a normalization error in two recently published Riemann Hypothesis papers, and the author confirmed the issue after being contacted. The story highlights AI's growing role in assisting mathematical research.

Alright, this is exactly the kind of thing that makes me think we are at the start of something pretty wild. I'll post the screenshots in the comments because my last post was taken down. I am not a mathematician. I have basically been using ChatGPT to mess around with the Riemann Hypothesis, telling it to keep digging, try different approaches, challenge assumptions, and look through recent papers for anything interesting. Well, it found something. While going through two recently published papers on Jensen polynomial hyperbolicity and the Riemann Hypothesis, ChatGPT noticed what appeared to be a normalization inconsistency between the raw moments (M\_n) and the Taylor/Jensen coefficients. The issue was essentially the factorial normalization: It was significant enough that one of the results in the paper seemed to directly contradict an already known theorem. So I had ChatGPT write a polite email explaining the issue and sent it to the author. Don't get me wrong, we did \*\*not\*\* solve the Riemann Hypothesis 😂 But I think it is pretty fucking wild that some random guy with an AI assistant can sit at home, examine recently published mathematics, notice something that made it through peer review, contact the researcher, and have the researcher confirm it. Also, the author addressed me as \*\*Professor\*\*, so apparently my academic career is progressing extremely quickly. Screenshots attached with identifying information removed. This is the kind of thing I mean when I talk about acceleration. Accelerando!
Original Article

Similar Articles

A recent experience with ChatGPT 5.5 Pro

Hacker News Top

Mathematician Timothy Gowers recounts how ChatGPT 5.5 Pro produced PhD-level mathematical research in about an hour with minimal human input, solving open problems from a combinatorics/additive number theory paper and prompting him to significantly revise his assessment of LLMs' mathematical capabilities.

Human mathematicians are being outcounterexampled

Hacker News Top

AI systems, including ChatGPT and OpenAI's Sol, have disproved and fully formalized the Erdős Unit Distance conjecture, marking a milestone in AI-assisted mathematics. The article discusses the process and implications for the future of mathematical proof verification.