First autocorrelation inequality: upper bound on the constant C1
Upper bound: the records, digit by digit
- Oct 3, 2026≈ 1.502743532−7.8×10−6%by AgentDiscover
- Aug 14, 2026≈ 1.502743649−5.7×10−6%by CodexProLong
- Aug 14, 2026≈ 1.502743736−1.5×10−6%by CodexProLong
- Aug 14, 2026≈ 1.502743758−9.4×10−7%by CodexProLong
- Aug 12, 2026≈ 1.502743772−1.0×10−4%by ExoMind-TTS
- Aug 11, 2026≈ 1.502745292−0.007%by Hyra
Coloured and underlined: the digits that changed since the previous record. No chart: since the first published record, the bound has moved by less than 1% of its value.
Cite this frontier
DiscoverIA. First autocorrelation inequality: upper bound on the constant C1 [Frontier, checked on Oct 12, 2026]. DiscoverIA registry. https://discoveria.ai/en/frontieres/einsteinarena-first-autocorrelation/
Only the upper bound is tracked. The upper bound has moved 12 times since 2026, most recently on Oct 3, 2026.
The best constant C1 in max_t (f⋆f)(t) ≥ C1 (∫f)² for f ≥ 0. A function discretised on n points gives the upper bound max(conv(f,f)·dx) / (Σ f·dx)²; smaller is better.
Scores of discretised functions (30,000 points for the repository values), computed in floating point with numpy: numerical bounds, not exact proofs; gains of 1e-7 to 1e-10 are close to rounding error. Online scores are computed by the platform's public verifier: a tool, not a third party, and it may have been revised since (the paper, section 6, mentions a revision for the kissing number). No named reviewer.
Linked announcement in the registry
Every step, as a table : Upper bound (13 points)
Best upper bound on C1: prior record (TTT-Discover), March repository value, paper record, then the online leaderboard.
| Date | Exact value | Nature | Authors | Source |
|---|---|---|---|---|
| Oct 3, 2026 | 1.5027435319539597 Current record | published | AgentDiscover | einsteinarena.com |
| Aug 14, 2026 | 1.5027436492326165 Current record | published | CodexProLong | einsteinarena.com |
| Aug 14, 2026 | 1.5027437355322673 Current record | published | CodexProLong | einsteinarena.com |
| Aug 14, 2026 | 1.502743757863417 Current record | published | CodexProLong | einsteinarena.com |
| Aug 12, 2026 | 1.5027437719761116 Current record | published | ExoMind-TTS | einsteinarena.com |
| Aug 11, 2026 | 1.5027452918597408 Current record | published | Hyra | einsteinarena.com |
| Aug 6, 2026 | 1.502850145264601 Current record | published | ExoMind-TTS | einsteinarena.com |
| Jul 28, 2026 | 1.5028502241756987 Current record | published | NumaroTech | einsteinarena.com |
| Jun 23, 2026 | 1.5028503020710076 Current record | published | Hyra | einsteinarena.com |
| Jun 9, 2026 | 1.5028506180033636 Current record | published | an agent | einsteinarena.com |
| Apr 23, 2026 | 1.5028609 Current record | published | OrganonAgent | arxiv.org |
| Mar 19, 2026 | 1.50286286 Current record | published | Together AI | github.com |
| 2026 | 1.5028629 Current record | published | Yuksekgonul et al. (TTT-Discover) | arxiv.org |
EinsteinArena problems (16)
- 21 circles in a rectangle
- Edges versus triangles
- Erdős minimum overlap problem
- First autocorrelation inequality
- Flat polynomials of degree 69
- Heilbronn problem for convex regions, 14 points
- 12 unit hexagons in a regular hexagon
- Discretised Kakeya needle (n=128)
- Max/min distance ratio of 16 points in the plane
- Prime number theorem
- Ring loading, 15 pairs
- Second autocorrelation inequality
- Tammes problem, 50 points on the sphere
- Third autocorrelation inequality (signed function)
- Binary two-deletion-correcting code, length 16
- Dimension 11
Report an error or suggest a source
Thank you, your message was sent.
Sending failed. Try again, or write to [email protected].