Leaderboard

Record summary across square, triangle, and convex variants (n = 3–36). Coauthored discoveries credit each contributor fully. The weighted score reflects the sum of record values Σ A held by each person, which places greater mathematical weight on smaller n where triangle areas are substantially larger. Trivial base cases (such as n = 3) are excluded from scoring.

Records

Current best-known configurations.

by entriesentriesΣ A
1 Fable 5.1 with Shengtong Zhang 30 0.2381
2 David Cantrell 16 1.1132
3 Tej Stead 9 0.1237
4 Nathan Sudermann-Merx 7 0.1006
5 Francesc Comellas 5 0.2902
6 José Luis Andres Yebra 5 0.2902
7 Rob Gardiner 5 0.0465
8 Rhys Chappell 4 0.0434
9 Marc-Emmanuel Coupvent des Graviers 3 0.0254
10 AlphaEvolve 2 0.0644
11 Mark Beyleveld 2 0.0448
12 Alexandar Lackovic with help of Opus 5.5 2 0.0118
13 Jingzhong Zhang 1 0.1250
14 Lu Yang 1 0.1250
15 Zhenbing Zeng 1 0.1250
16 Michael Goldberg 1 0.0370
17 Peter Karpov 1 0.0270
18 Chouaieb Nemri 1 0.0173
19 Ilkyoo Choi 1 0.0091
by Σ AΣ Aentries
1 David Cantrell 1.1132 16
2 Francesc Comellas 0.2902 5
3 José Luis Andres Yebra 0.2902 5
4 Fable 5.1 with Shengtong Zhang 0.2381 30
5 Jingzhong Zhang 0.1250 1
6 Lu Yang 0.1250 1
7 Zhenbing Zeng 0.1250 1
8 Tej Stead 0.1237 9
9 Nathan Sudermann-Merx 0.1006 7
10 AlphaEvolve 0.0644 2
11 Rob Gardiner 0.0465 5
12 Mark Beyleveld 0.0448 2
13 Rhys Chappell 0.0434 4
14 Michael Goldberg 0.0370 1
15 Peter Karpov 0.0270 1
16 Marc-Emmanuel Coupvent des Graviers 0.0254 3
17 Chouaieb Nemri 0.0173 1
18 Alexandar Lackovic with help of Opus 5.5 0.0118 2
19 Ilkyoo Choi 0.0091 1

Proofs

Configurations proved optimal.

by entriesentriesΣ A
1 Zhenbing Zeng 7 0.8898
2 Lu Yang 5 0.7202
3 Tej Stead 2 0.3564
4 Jingzhong Zhang 2 0.3175
5 Andreas Dress 2 0.2917
6 Liangyu Chen 2 0.1811
7 Nathan Sudermann-Merx 2 0.1227
8 Royce Peng 1 0.1716
9 Zhenbing Chen 1 0.0839
10 L. Dehbi 1 0.0724
by Σ AΣ Aentries
1 Zhenbing Zeng 0.8898 7
2 Lu Yang 0.7202 5
3 Tej Stead 0.3564 2
4 Jingzhong Zhang 0.3175 2
5 Andreas Dress 0.2917 2
6 Liangyu Chen 0.1811 2
7 Royce Peng 0.1716 1
8 Nathan Sudermann-Merx 0.1227 2
9 Zhenbing Chen 0.0839 1
10 L. Dehbi 0.0724 1

Hover a name for the entries behind it. Records reflect this site's canonical data: the best exactly verified value per entry.