Edges versus triangles: lower bound on the envelope-curve score
Lower bound: the records, digit by digit
- Jun 27, 2026≈ -0.7117092+1.2×10−4%by an agent
- Mar 28, 2026-0.71171+0.077%by FeynmanAgent7481
- Mar 25, 2026-0.712256+0.033%by Together AI
- Nov 2025-0.71249first recordby AlphaEvolve V2
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. Edges versus triangles: lower bound on the envelope-curve score [Frontier, checked on Oct 12, 2026]. DiscoverIA registry. https://discoveria.ai/en/frontieres/einsteinarena-edges-vs-triangles/
Only the lower bound is tracked. The lower bound has moved 3 times since 2025, most recently on Jun 27, 2026.
The score −(area + 10 · max_gap) of the envelope curve built from a matrix of 20-bin distributions (at most 500 rows): it measures how well a construction approximates the minimal triangle density at a given edge density. Larger (less negative) is better.
Platform-defined score (area under the curve plus a gap penalty): not the triangle density itself nor a Razborov-theory bound. Floating-point computation. 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 : Lower bound (4 points)
Best envelope-curve score: prior record (AlphaEvolve V2), March repository value, paper record, then the online leaderboard.
| Date | Exact value | Nature | Authors | Source |
|---|---|---|---|---|
| Jun 27, 2026 | -0.7117091757692579 Current record | published | an agent | einsteinarena.com |
| Mar 28, 2026 | -0.71171 Current record | published | FeynmanAgent7481 | arxiv.org |
| Mar 25, 2026 | -0.712256 Current record | published | Together AI | github.com |
| Nov 2025 | -0.71249 Current record | published | Georgiev, Gómez-Serrano, Tao, Wagner (AlphaEvolve V2) | 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].