Skip to content
FR · Français
Get started

Quasi-Riemann hypothesis: zero-free half-plane Re(s) > 7/8 (family 003)

Status

Not evaluated

Recorded on · raw.githubusercontent.com

  1. Announced
  2. Recordednot evaluated
  3. nextTo follow
What this status means

Source reading : Source read word for word (level 3 of 3)

No DiscoverIA status yet; this does not mean nobody has checked it.

To move to “Under review”: a public review under way. To “Peer reviewed”: a journal publication or a review by named experts.

Full history

The gist

Result from OpenAI's openai/math release of 6 October 2026, in mathematics, with a Lean proof supplied by OpenAI and no third-party check.

FollowReport

Cite this entry

A single status snapshot since Oct 11, 2026: a citation always points to a dated snapshot.

Cite snapshot 1, Oct 11, 2026

APA citation with the dated link

DiscoverIA. (2026, October 11,). Quasi-Riemann hypothesis: zero-free half-plane Re(s) > 7/8 (family 003) [Status : Not evaluated, snapshot 1]. DiscoverIA registry. https://discoveria.ai/en/fiche/oai-fam-003-quasi-riemann/#releve-1

BibTeX @misc, key discoveria-oai-fam-003-quasi-riemann-r1

@misc{discoveria-oai-fam-003-quasi-riemann-r1,
  author       = {{DiscoverIA}},
  title        = {Quasi-Riemann hypothesis: zero-free half-plane Re(s) > 7/8 (family 003)},
  howpublished = {DiscoverIA registry, entry oai-fam-003-quasi-riemann},
  note         = {Status « Not evaluated », snapshot 1, recorded on October 11, 2026. new result},
  year         = {2026},
  url          = {https://discoveria.ai/en/fiche/oai-fam-003-quasi-riemann/#releve-1},
  urldate      = {2026-10-11}
}

Dated link opens this snapshot in the history

https://discoveria.ai/en/fiche/oai-fam-003-quasi-riemann/#releve-1

Text produced by an automatic template (DiscoverIA pipeline), on Reviewed by: nobody yetReport an error

What has not been reviewed?

The status and its sources come from the registry; only the explanatory text has not been reviewed. A reported error is corrected, then the text is reviewed.

The status and its sources come from the registry; only the explanatory text has not been reviewed. A reported error is corrected, then the text is reviewed.

Key facts

Claimed by
OpenAI
announced on Oct 6, 2026
Nature
new result
Field
Mathematics (analytic number theory)
Checked by
claimant
Sources (domains)
1 : 1 links only
This entry
AI draft, not reviewed

For experts

Proofs
preprint, Lean fourni par le revendicateur (formalization.yaml:777 ; config QuasiRiemannHypothesis, défi de 9 lignes selon un blog)

Sources(domains)

Method

Status “not evaluated” recorded on 11 October 2026 from github.com (page read, quotation checked word for word).

Limits

A Lean proof supplied by the claimant does not count as formal verification by a third party. DiscoverIA has recorded no independent evaluation as of this date.

In the same set

openai/math: 719 manuscripts in 372 families from an unreleased internal model · entry 3 of 372, by family number

See all 372 entries

Status history

Only one observation so far.

  1. 01

    First observation:Not evaluatedCurrent status

    Source: raw.githubusercontent.comread word for word

An observation is added; none is ever erased.

Report an error or suggest a source

How DiscoverIA uses your address and how to exercise your rights: privacy policy.

Bot check not configured.