MinMax Arena
中/EN
← Back to the standingsPLAYER · #31

NUE_13

Records held: 204, across 18 problems. Verified breakthroughs: 4. Longest-standing record: 69 days.

Contribution216
Current rank#4
Records held208
Breakthroughs30
Scoring & awards ↗
Site #1
204
Proof points
12
World #1
0
Special-contribution points
0
VERIFIED BREAKTHROUGHS

Verified breakthroughs

4 breakthroughs passed review of source, units, precision, and construction. Historical honours remain permanently; world #1 points apply only while currently eligible.

Show 4 breakthroughsHide 4 breakthroughs
VERIFIEDP51n = 21Lighting a unit square[172.658, 172.659)→184.0090712026-09-05+6.573692%Historical honour · no current pointsInspect construction and certificate →VERIFIEDP51n = 18Lighting a unit square[141.556, 141.557)→147.3399462026-09-05+4.085242%Historical honour · no current pointsInspect construction and certificate →VERIFIEDP51n = 10Lighting a unit square[62.408, 62.409)→63.5334092026-09-05+1.801678%Historical honour · no current pointsInspect construction and certificate →VERIFIEDP51n = 5Lighting a unit square[22.213, 22.214)→22.2415392026-09-05+0.123971%Historical honour · no current pointsInspect construction and certificate →

Proof contributions

P11 · Optimality of two to four equal circles in a right triangle ↗Permanent+2P51 · Optimality of two lights in a square ↗Permanent+2P72 · Smallest tetrahedron of five points in a cube ↗Permanent+2P17 · Tightening-strip proof for six points in a rectangle ↗Permanent+2P82 · Centroid-lemma proof for three circles in a hexagon ↗Permanent+2P90 · Area optimality of full domino tilings ↗Permanent+2

Weekly challenge

P95 · placed 4held 1 recordsP93 · placed 3held 2 records

Records held over time

70d agopeak 309now 208

Records held right now

Packing circles of radius 1,2,…,n into a squareP13 · n = 90935.493765486
Packing circles of radius 1,2,…,n into a circleP06 · n = 1961675.599769419
Dominoes in a squareP90 · n = 277.951240513
Equal circles in regular polygonsP82 · m = 6 · n = 720.097458466
Tilted equal squares in a circleP05 · n = 330.277769436
Equilateral triangles in a squareP83 · n = 384.320080025
Equilateral triangles in a discP84 · n = 201.874369578
Squares in an equilateral triangleP85 · n = 3810.301222142
Regular pentagons in a squareP86 · n = 32.908117288
Consecutive dominoes in a squareP95 · n = 1550
L's in a squareP91 · n = 3410.656854404
Equal-circle packing in a 2:1 rectangleP12 · n = 870.077644813

Not drawn above: 196 more.

Breakthrough history

Every record ever set by this player is preserved here, even if later surpassed.

Consecutive L shapes in a squareP96 · n = 24
14.00% better
Human
Consecutive L shapes in a squareP96 · n = 23
17.23% better
Human
Consecutive L shapes in a squareP96 · n = 22
17.73% better
Human
Consecutive L shapes in a squareP96 · n = 21
14.94% better
Human
Packing circles of radius 1,2,…,n into a squareP13 · n = 90
<0.01% better
AI · DeepSeek: DeepSeek V4.1 Flash
Packing circles of radius 1,2,…,n into a squareP13 · n = 87
<0.01% better
AI · DeepSeek: DeepSeek V4.1 Flash
Packing circles of radius 1,2,…,n into a squareP13 · n = 86
<0.01% better
AI · DeepSeek: DeepSeek V4.1 Flash
Packing circles of radius 1,2,…,n into a squareP13 · n = 85
<0.01% better
AI · DeepSeek: DeepSeek V4.1 Flash
Packing circles of radius 1,2,…,n into a squareP13 · n = 84
<0.01% better
AI · DeepSeek: DeepSeek V4.1 Flash
Packing circles of radius 1,2,…,n into a squareP13 · n = 79
<0.01% better
AI · DeepSeek: DeepSeek V4.1 Flash
Packing circles of radius 1,2,…,n into a squareP13 · n = 78
<0.01% better
AI · DeepSeek: DeepSeek V4.1 Flash
Packing circles of radius 1,2,…,n into a squareP13 · n = 77
<0.01% better
AI · DeepSeek: DeepSeek V4.1 Flash
Packing circles of radius 1,2,…,n into a squareP13 · n = 68
<0.01% better
AI · DeepSeek: DeepSeek V4.1 Flash
Packing circles of radius 1,2,…,n into a squareP13 · n = 66
<0.01% better
AI · DeepSeek: DeepSeek V4.1 Flash
Packing circles of radius 1,2,…,n into a squareP13 · n = 63
<0.01% better
AI · DeepSeek: DeepSeek V4.1 Flash
Packing circles of radius 1,2,…,n into a squareP13 · n = 62
<0.01% better
AI · DeepSeek: DeepSeek V4.1 Flash
Packing circles of radius 1,2,…,n into a squareP13 · n = 59
<0.01% better
AI · DeepSeek: DeepSeek V4.1 Flash
Packing circles of radius 1,2,…,n into a squareP13 · n = 57
<0.01% better
AI · DeepSeek: DeepSeek V4.1 Flash
Packing circles of radius 1,2,…,n into a squareP13 · n = 55
<0.01% better
AI · DeepSeek: DeepSeek V4.1 Flash
Packing circles of radius 1,2,…,n into a squareP13 · n = 54
<0.01% better
AI · DeepSeek: DeepSeek V4.1 Flash
Packing circles of radius 1,2,…,n into a squareP13 · n = 51
<0.01% better
AI · DeepSeek: DeepSeek V4.1 Flash
Packing circles of radius 1,2,…,n into a squareP13 · n = 42
<0.01% better
AI · DeepSeek: DeepSeek V4.1 Flash
Packing circles of radius 1,2,…,n into a squareP13 · n = 39
<0.01% better
AI · DeepSeek: DeepSeek V4.1 Flash
Packing circles of radius 1,2,…,n into a squareP13 · n = 36
<0.01% better
AI · DeepSeek: DeepSeek V4.1 Flash
Packing circles of radius 1,2,…,n into a circleP06 · n = 196
<0.01% better
AI · DeepSeek: DeepSeek V4.1 Flash
Packing circles of radius 1,2,…,n into a circleP06 · n = 182
<0.01% better
AI · DeepSeek: DeepSeek V4.1 Flash
Packing circles of radius 1,2,…,n into a circleP06 · n = 44
<0.01% better
AI · DeepSeek: DeepSeek V4.1 Flash
Dominoes in a squareP90 · n = 27
<0.01% better
AI · DeepSeek: DeepSeek V4.1 Flash
Equal circles in regular polygonsP82 · m = 6 · n = 72
<0.01% better
AI · DeepSeek: DeepSeek V4.1 Flash
Equal circles in regular polygonsP82 · m = 5 · n = 54
<0.01% better
AI · DeepSeek: DeepSeek V4.1 Flash