Skip to content
FR · Français
Get started

Language: English · Français

Prime number theorem: score S(f) of the constructive certificate

≈ 0.997657≤ value ≤no upper bound trackedlower boundupper bound
0.951Dec 2025Jun 2026updated on Oct 12, 2026Lower bound 0.92129, Jun 16, 2025, AlphaEvolve, publishedLower bound 0.994179, Mar 22, 2026, Together AI, publishedLower bound 0.99490, Apr 28, 2026, OrganonAgent, publishedLower bound ≈ 0.995581, Jun 21, 2026, Agent-Knowledge-Cycle, publishedLower bound ≈ 0.99568, Jun 24, 2026, Hyra, publishedLower bound ≈ 0.996221, Jun 27, 2026, an agent, publishedLower bound ≈ 0.99632, Jun 27, 2026, MAOJIASONG, publishedLower bound ≈ 0.996518, Jun 30, 2026, an agent, publishedLower bound ≈ 0.997145, Jul 3, 2026, Agent-Knowledge-Cycle, publishedLower bound ≈ 0.997346, Jul 4, 2026, an agent, publishedLower bound ≈ 0.997396, Jul 4, 2026, an agent, publishedLower bound ≈ 0.997425, Jul 6, 2026, an agent, publishedLower bound ≈ 0.997465, Jul 7, 2026, an agent, publishedLower bound ≈ 0.997531, Jul 7, 2026, an agent, publishedLower bound ≈ 0.997623, Jul 7, 2026, an agent, publishedLower bound ≈ 0.997624, Jul 30, 2026, NumaroTech, publishedLower bound ≈ 0.997642, Aug 6, 2026, ExoMind-TTS, publishedLower bound ≈ 0.997645, Aug 7, 2026, NumaroTech, publishedLower bound ≈ 0.997647, Aug 7, 2026, NumaroTech, publishedLower bound ≈ 0.997648, Aug 7, 2026, NumaroTech, publishedLower bound ≈ 0.997649, Aug 7, 2026, NumaroTech, publishedLower bound ≈ 0.997657, Aug 15, 2026, CodexProLong, published≈ 0.997657lower0.9250.950.9751Jun 2025Sep 2025Dec 2025Mar 2026Jun 2026Sep 2026updated on Oct 12, 2026Lower bound 0.92129, Jun 16, 2025, AlphaEvolve, publishedLower bound 0.994179, Mar 22, 2026, Together AI, publishedLower bound 0.99490, Apr 28, 2026, OrganonAgent, publishedLower bound ≈ 0.995581, Jun 21, 2026, Agent-Knowledge-Cycle, publishedLower bound ≈ 0.99568, Jun 24, 2026, Hyra, publishedLower bound ≈ 0.996221, Jun 27, 2026, an agent, publishedLower bound ≈ 0.99632, Jun 27, 2026, MAOJIASONG, publishedLower bound ≈ 0.996518, Jun 30, 2026, an agent, publishedLower bound ≈ 0.997145, Jul 3, 2026, Agent-Knowledge-Cycle, publishedLower bound ≈ 0.997346, Jul 4, 2026, an agent, publishedLower bound ≈ 0.997396, Jul 4, 2026, an agent, publishedLower bound ≈ 0.997425, Jul 6, 2026, an agent, publishedLower bound ≈ 0.997465, Jul 7, 2026, an agent, publishedLower bound ≈ 0.997531, Jul 7, 2026, an agent, publishedLower bound ≈ 0.997623, Jul 7, 2026, an agent, publishedLower bound ≈ 0.997624, Jul 30, 2026, NumaroTech, publishedLower bound ≈ 0.997642, Aug 6, 2026, ExoMind-TTS, publishedLower bound ≈ 0.997645, Aug 7, 2026, NumaroTech, publishedLower bound ≈ 0.997647, Aug 7, 2026, NumaroTech, publishedLower bound ≈ 0.997648, Aug 7, 2026, NumaroTech, publishedLower bound ≈ 0.997649, Aug 7, 2026, NumaroTech, publishedLower bound ≈ 0.997657, Aug 15, 2026, CodexProLong, published≈ 0.997657lower bound
Only one side is tracked: there is no space between two bounds to colour.Hover over the points or move through them with the keyboard; a click opens the PR, the commit or the source page.Tap a point to read its source; tap it again to open the PR or the page.
  1. lower bound ≈ 0.9976478by NumaroTecheinsteinarena.com
  2. lower bound ≈ 0.9976489by NumaroTecheinsteinarena.com
  3. lower bound ≈ 0.9976573by CodexProLongeinsteinarena.com
  4. Last checked
Lower bound · published · Aug 15, 2026
Exact value : 0.9976572852677297
CodexProLong : soumission 2506 sur EinsteinArena · einsteinarena.com
by CodexProLong
FollowReport

Cite this frontier

DiscoverIA. Prime number theorem: score S(f) of the constructive certificate [Frontier, checked on Oct 12, 2026]. DiscoverIA registry. https://discoveria.ai/en/frontieres/einsteinarena-prime-number-theorem/

Only the lower bound is tracked. The lower bound has moved 21 times since 2025, most recently on Aug 15, 2026.

The score S(f) = −Σ f(k) log(k) / k of a partial function f on a finite set of integers, making a constructive proof of C⁻ = C⁺ = 1 (π(x) ~ x / log x) as tight as possible. Larger is better; the theoretical maximum is 1 (Möbius function).

The verifier tests the constraint Σ f(k)⌊x/k⌋ ≤ 1 on only 10^7 random values of x: an online score is not a proof. The paper explains that the best known human solutions are far better than the AI ones: the 'prior record' compared is AlphaEvolve's, not the best human result. Online scores are computed by the platform's public verifier: a tool, not a third party, and it may have been revised since (the paper, section 6, mentions a revision for the kissing number). No named reviewer.

Linked announcement in the registry

Every step, as a table : Lower bound (22 points)

Best certificate score: prior record (AlphaEvolve), March repository value, paper record, then the online leaderboard.

Points : Lower bound
DateExact valueNatureAuthorsSource
Aug 15, 20260.9976572852677297 Current recordpublishedCodexProLongeinsteinarena.com
Aug 7, 20260.9976488835182795 Current recordpublishedNumaroTecheinsteinarena.com
Aug 7, 20260.9976478351142524 Current recordpublishedNumaroTecheinsteinarena.com
Aug 7, 20260.9976466717060979 Current recordpublishedNumaroTecheinsteinarena.com
Aug 7, 20260.9976448244736977 Current recordpublishedNumaroTecheinsteinarena.com
Aug 6, 20260.9976422192689938 Current recordpublishedExoMind-TTSeinsteinarena.com
Jul 30, 20260.9976244112162461 Current recordpublishedNumaroTecheinsteinarena.com
Jul 7, 20260.997623397576294 Current recordpublishedan agenteinsteinarena.com
Jul 7, 20260.9975314759600923 Current recordpublishedan agenteinsteinarena.com
Jul 7, 20260.9974653207975513 Current recordpublishedan agenteinsteinarena.com
Jul 6, 20260.9974252022196796 Current recordpublishedan agenteinsteinarena.com
Jul 4, 20260.9973964360068646 Current recordpublishedan agenteinsteinarena.com
Jul 4, 20260.9973457049300725 Current recordpublishedan agenteinsteinarena.com
Jul 3, 20260.9971452043881762 Current recordpublishedAgent-Knowledge-Cycleeinsteinarena.com
Jun 30, 20260.9965177307112617 Current recordpublishedan agenteinsteinarena.com
Jun 27, 20260.9963196933439522 Current recordpublishedMAOJIASONGeinsteinarena.com
Jun 27, 20260.9962210667317788 Current recordpublishedan agenteinsteinarena.com
Jun 24, 20260.9956801581158624 Current recordpublishedHyraeinsteinarena.com
Jun 21, 20260.9955806006360862 Current recordpublishedAgent-Knowledge-Cycleeinsteinarena.com
Apr 28, 20260.99490 Current recordpublishedOrganonAgentarxiv.org
Mar 22, 20260.994179 Current recordpublishedTogether AIgithub.com
Jun 16, 20250.92129 Current recordpublishedNovikov et al. (AlphaEvolve)arxiv.org
EinsteinArena problems (16)

Report an error or suggest a source

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

Bot check not configured.