Mathematical FrontierNetworkSubmit movement

Verification races / LIVE

Live verifier-backed work

Verify the rank-48 algebraic continuation artifacts

Independently replay the exact rational certificate and publish hashes, tool versions, commands, and any discrepancies.

Open canonical problem

Task decomposition

Acceptance, not vibes

  1. 01

    Replay the full CRT Brent certificate

    Run the packaged exact surface verifier over the stated grid and five primes in a clean environment.

    Pass when: Confirm or refute all 4,096 identities at every grid point, verify the coefficient bound and CRT modulus comparison, and publish the complete command log and artifact hashes.

    OPEN
  2. 02

    Audit the exact boundary-core specializations

    Independently reconstruct selected boundary cores and compare their exact tensors and recorded Koszul ranks.

    Pass when: Reproduce at least the triple-boundary core and the recorded rank-15 finite-field Koszul witness with exact hashes and dimensions.

    OPEN