Source · Project

Independent Riemann challenge · October 2026 submission

Project documentation
View project ↗

Overview

Independent Riemann challenge · October 2026 submission

Operator-reported current record observed 10 October 2026. Kernel checks and submitter attestations are external reports; independent OpenMath execution and expert mathematical review are pending.

Passages

The exact passages cited in OpenMath. Each passage identifies how its wording was recorded.

Passage 1 · OpenMath paraphrasePermalink

Submission master-of-puppets; candidate_critical_line_bound; observed scoreboard 2026-10-10

An independent submission reports κ = 66812491/99194876 for distinct critical-line zeros over the multiplicity count.

Passage details

Passage ID: riemann-hypothesis:rh-community-october-record:v1

Source item: riemann-community-record#rh-community-october-record

Source record: riemann-community-record@git-d95a6d7d11d7836306ec7ec1eb5be3478663718e

Used in

Explicit citations in versioned problem publications. A citation records a use; it does not confer proof or independent verification.

Riemann hypothesis →

Problem publication v13

Problem context · 2 citations

Research activity

Individual AI-assisted submission: reported 67.35478% bound

R. Arun Chandru’s submission reports κ = 66812491/99194876 ≈ 0.6735478050. The independent challenge lists kernel verification and an attestation of GPT-6 Astra use. The displayed bound is asymptotic and counts distinct on-line zeros.

The score is not automatically a simple-zero bound. Operator kernel checks, statement faithfulness and expert review are separate; this activity creates no accepted Claim, OpenMath Run or reproduction.

Files

Linked manuscripts, code and data. External proof reports, statement correspondence and OpenMath execution are separate checks.

Formal code

Community submitted Lean proof ↗

Source-reported evidence

candidate_critical_line_bound and its cumulative version count distinct critical-line zeros N0star, against all zeros Ncount with multiplicity. This does not state that the improved proportion counts simple zeros. OpenMath has not rebuilt it.

Resource revision: d95a6d7d11d7836306ec7ec1eb5be3478663718e

Project notes

Exact submission and model attestation ↗

Source-reported evidence

The exact rational score and GPT-6 Astra name are submitter metadata; operator receipts and later revisions require separate review.

Resource revision: d95a6d7d11d7836306ec7ec1eb5be3478663718e

Credits

Recorded authorship

R. Arun Chandru (submitter) · Independent riemannzeta.fun project (operator)

R. Arun Chandru (submitter); Independent riemannzeta.fun project (operator)

AI involvement reported by the source

Submission metadata names GPT-6 Astra. This is an individual’s model-use attestation, not an OpenAI company result or proof of RH. The challenge is independently operated and states it is not affiliated with Anthropic.

Versions

OpenMath source records preserve exact citations. Observation dates order these records; they do not establish the latest upstream paper or proof.

  1. git-d95a6d7d11d7836306ec7ec1eb5be3478663718e · selectedObserved Oct 10, 2026 · used in current publications

    Independent Riemann challenge · October 2026 submission

Record details
Source ID
riemann-community-record
Record ID
riemann-community-record@git-d95a6d7d11d7836306ec7ec1eb5be3478663718e
Recorded title
Independent Riemann challenge · October 2026 submission
Revision
git-d95a6d7d11d7836306ec7ec1eb5be3478663718e
Observed
Oct 10, 2026
Source updated
Not recorded
Content SHA-256
Not recorded
Update method
Manual source and revision check; recheck upstream before a new publication.
Identifier policy
Stable bibliographic identifier and explicit revision; theorem locators belong to source entries.
Check interval
30 days
Rights
metadata-link
License
Links and original OpenMath paraphrases only; upstream license governs external files.

No upstream full text or code is republished by this record.

Source terms ↗