Kontorovich: quasi-RH "would be an instant Fields Medal" if a human did it

Posted 23:08 UTC, quoting OpenAI. Kontorovich (Rutgers number theorist, Lean formalization advocate): "Quasi-RH?!?!???! Are you kidding me? If a human did this, it would be an instant Fields Medal, no questions asked." He explains that the best previous zero-free region "got thinner and thinner" higher up the critical strip and that "They got a zero free strip!!!! Insane". ~386k views at 05:20 UTC.

Follow-up at 00:22 UTC (https://x.com/AlexKontorovich/status/2107627562721833292, ~34k views): "Yeah, no Siegel zeros either. So I guess two Fields medals…" (the same family includes a paper on uniform exclusion of Landau–Siegel zeros).

Sentiment: enthusiastic. He does not say he has checked the proof; the Lean formalization of the 7/8 statement was independently re-run by Dave Goldblatt (see 2026-10-07-goldblatt-zeta-lean-recheck).

Quasi-RH?!?!???! Are you kidding me? If a human did this, it would be an instant Fields Medal, no questions asked.

RH says zeta has no zeros in Re(s)>1/2. The best we had until a second ago was a region that got thinner and thinner the higher up the imaginary axis you go. I thought maybe they’d fatten that up a bit, that’d be a massive breakthrough. But no. They got a zero free strip!!!! Insane

Quoting @OpenAI: We’re releasing a broad range of new mathematical results produced by an internal frontier model.

We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results.

https://github.com/openai/math

Media: https://pbs.twimg.com/media/HT-7S8SWAAEGF0B.jpg?name=orig

views 438703 · likes 4774 · reposts 464 · replies 111 (at fetch time)

Archived 2026-10-07 via fxtwitter (unofficial).