SIGNIFICANCE

Clear records for AI-assisted mathematics

Take this check

Independently build the Theorem D Lean targets and run their axiom audit at commit 3635e74826a4c1fcece7d1cd2b6fa75e43a00510.

2026-anthropic-zeta-two-thirds · task task-1

Task type
reproduction
Source PDF
Download the exact manuscript
Claude, More Than Two Thirds of the Zeros of the Riemann Zeta Function Lie on the Critical Line · version 6792988e6cd0…

Status

Open.

How to do this

  1. Download the exact manuscript above and start with the stated entry points. The version hash identifies the file for the eventual record; you do not need to calculate it before reading.
  2. Read or reproduce only the stated scope and note the method you actually used.
  3. Submit what you found through the linked attestation form below, using the record, task, scope, and manuscript hash shown here. No Significance account is required; GitHub may ask you to sign in.

Open attestation form

Attestation template

Fill only what you did. State what you checked and found—not whether the whole proof is correct.

id: att-task-1
task_id: task-1
reviewer: '[your name or handle]'
scope: Independently build the Theorem D Lean targets and run their axiom audit 
  at commit 3635e74826a4c1fcece7d1cd2b6fa75e43a00510.
manuscript_sha256: 
  6792988e6cd0e17690621ce898abd5d534f98407741bc7cb14bbe7d07c77d72f
asserted_at: '[YYYY-MM-DDTHH:MM:SSZ]'
method: '[what you actually did: read / rederived / rebuilt / compared]'
finding: '[what you checked and found about exactly this scope]'
limits: '[what you did not check — optional but encouraged]'