ChatGPT Sol 5.6 high found a normalization error in two recently published Riemann Hypothesis papers. The author confirmed it.
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.
Similar Articles
A recent experience with ChatGPT 5.5 Pro
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.
Gpt 5.6 discovered new math according to Sam Altman
Sam Altman announced that GPT-5.6 has discovered new mathematical insights, marking a significant advancement in AI capabilities.
Human mathematicians are being outcounterexampled
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.
ChatGPT's image model is better at math than most people
The article highlights that ChatGPT's image model demonstrates superior mathematical reasoning capabilities compared to most humans.
@EdgarDobriban: AI has helped resolve an important question in statistics. In the area of multiple hypothesis testing, the goal of cont…
Using GPT-5.6 Sol Pro, Edgar Dobriban disproved a long-standing conjecture that the Benjamini-Hochberg procedure controls the false discovery rate for correlated two-sided Gaussian tests, showing it fails at a small but real level. The result is conceptual with limited practical impact but resolves a central question in statistics.