← back to paper

Review history

arxiv: 2605.04105 · 2 revisions

An improved double-exponential lower bound for $r_4(5,n)$

1. 2026-05-12 UNVERDICTED LOW v0.9.0 novelty 4.0
   70488 ms 5525 in 1430 out 2026-05-12T03:08:17.461983+00:00
2. 2026-05-08 UNVERDICTED LOW v0.9.0 novelty 5.0
   73168 ms 5522 in 1388 out 2026-05-08T18:11:17.039556+00:00