{"schema_version":"source-reader-v1","record":{"source_id":"riemann-community-record","versions":[{"work":{"authors":["R. Arun Chandru (submitter)","Independent riemannzeta.fun project (operator)"],"kind":"research_project","publication":"project","publication_note":"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.","ai_role":"self_reported","ai_note":"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.","artifacts":[{"kind":"formal_code","title":"Community submitted Lean proof","url":"https://github.com/josusanmartin/riemann/blob/d95a6d7d11d7836306ec7ec1eb5be3478663718e/submissions/master-of-puppets/proof/Solution.lean","version":"d95a6d7d11d7836306ec7ec1eb5be3478663718e","assessment":"external_report","note":"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."},{"kind":"project_notes","title":"Exact submission and model attestation","url":"https://github.com/josusanmartin/riemann/blob/d95a6d7d11d7836306ec7ec1eb5be3478663718e/submissions/master-of-puppets/submission.json","version":"d95a6d7d11d7836306ec7ec1eb5be3478663718e","assessment":"external_report","note":"The exact rational score and GPT-6 Astra name are submitter metadata; operator receipts and later revisions require separate review."}]},"id":"riemann-community-record@git-d95a6d7d11d7836306ec7ec1eb5be3478663718e","source_id":"riemann-community-record","title":"Independent Riemann challenge · October 2026 submission","owner":"R. Arun Chandru (submitter); Independent riemannzeta.fun project (operator)","url":"https://github.com/josusanmartin/riemann/blob/d95a6d7d11d7836306ec7ec1eb5be3478663718e/submissions/master-of-puppets/submission.json","subject_scope":"Independent Riemann challenge · October 2026 submission","revision":"git-d95a6d7d11d7836306ec7ec1eb5be3478663718e","content_sha256":null,"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.","observed_on":"2026-10-10","source_updated_on":null,"rights":"metadata-link","license":"Links and original OpenMath paraphrases only; upstream license governs external files.","terms_url":"https://github.com/josusanmartin/riemann/blob/d95a6d7d11d7836306ec7ec1eb5be3478663718e/submissions/master-of-puppets/submission.json","attribution":"R. Arun Chandru (submitter); Independent riemannzeta.fun project (operator)","rights_note":"No upstream full text or code is republished by this record.","check_interval_days":30}],"entries":[{"id":"riemann-hypothesis:rh-community-october-record:v1","source_version_id":"riemann-community-record@git-d95a6d7d11d7836306ec7ec1eb5be3478663718e","item_id":"riemann-community-record#rh-community-october-record","url":"https://github.com/josusanmartin/riemann/blob/d95a6d7d11d7836306ec7ec1eb5be3478663718e/submissions/master-of-puppets/submission.json","wording":"An independent submission reports κ = 66812491/99194876 for distinct critical-line zeros over the multiplicity count.","wording_kind":"paraphrase","locator":"Submission master-of-puppets; candidate_critical_line_bound; observed scoreboard 2026-10-10","supersedes":null}],"problems":[{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13}],"selected_version_id":"riemann-community-record@git-d95a6d7d11d7836306ec7ec1eb5be3478663718e","available_versions":[{"id":"riemann-community-record@git-d95a6d7d11d7836306ec7ec1eb5be3478663718e","revision":"git-d95a6d7d11d7836306ec7ec1eb5be3478663718e","observed_on":"2026-10-10","title":"Independent Riemann challenge · October 2026 submission","publication":"project","content_sha256":null,"used_in_current_publications":true}],"usages":[{"id":"source-use-a60250a5854251877dff","entry_id":"riemann-hypothesis:rh-community-october-record:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"activity","title":"Individual AI-assisted submission: reported 67.35478% bound","claim":null,"fragment":"activity","assessment":null,"superseded":false,"formalization":null,"update":{"id":"activity-rh-community-record","title":"Individual AI-assisted submission: reported 67.35478% bound","kind":"formalization","source_entry_ids":["riemann-hypothesis:rh-community-october-record:v1"],"summary":"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.","limitation":"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.","related_claim_ids":["claim-rh-simple-critical-line-proportion"]}},{"id":"source-use-bd0b8fce657f80f0bedf","entry_id":"riemann-hypothesis:rh-community-october-record:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"question","title":"Riemann hypothesis","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null}],"linked_entries":[],"linked_sources":[]}}