Archived: the original frontier-math site, kept as it was on 14 October 2026, when the repository became Foundation0. Its data is frozen; see the live race tracker for the current version.

PR race moves ~every 10 min — every head SHA below must be re-checked; nothing here is a live quote.

Integer multiplication: conditional κ frontier

v1 dashboard — upstream race CrocSwap/integer-mult-bounds. Method and tier definitions: method.html. Machine-readable feed: feed.json (schema feed.schema.json).

The leading claim sits … percent above the last verified result. The certificate at certificates/selected-result.json still certifies …, the gen4 result from PR 279. Every point above that line on the chart is an unconfirmed claim until the maintainers publish a new selection.

claimed   draft (never promoted)   — frontier of non-draft claims   - - human-verified selected result   ★ lean-verified (reserved, empty in v1). X: upstream PR number; Y: κ decimal. Hover a point for its title.

All plotted points (inline source per point — unsourced points forbidden)