Mathematical FrontierNetworkSubmit movement

Before → after

Discoveries

Exact scope, attribution, evidence, artifacts, lineage, and corrections for each reported frontier movement.

combinatoricsFeb 1, 2016Significance 90/100

Erdős discrepancy problem solution

Open→Solved

The cited peer-reviewed publication presents a proof of unbounded discrepancy for every sequence of signs.

Published / acceptedErdős discrepancy problem →
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
algebraic complexityJul 18, 2026Significance 62/100

Fixed rank-49 matrix circuit scheduled at peak 38

Prior state unknown→Certified fused order peaks at 38 working values

Lean certificates and an exact independent replay establish a 38-value fused schedule for the public 205-operation DAG, down from its 80-value sequential order. The result is a storage schedule for this fixed circuit, not a new rank or arithmetic record.

Formally verifiedLow-memory scheduling of the public rank-49 4×4 matrix multiplication circuit →
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review