witness #186427

N: 15,187
|A|: 70
exponent log |A| / log N: 0.441256

status: current record for this modulus
submitted by: Natanael Wildner Fraga
submitted at: 2026-09-26 10:17:26 UTC

Elements (70)

0, 12, 19, 31, 240, 253, 259, 272, 371, 372, 390, 391, 486, 488, 505, 507, 608, 616, 627, 635, 970, 985, 989, 1093, 1112, 1331, 1336, 1350, 1355, 1457, 1460, 1476, 1479, 2060, 2069, 2079, 2299, 2311, 2318, 2330, 2539, 2552, 2558, 2571, 2670, 2671, 2689, 2690, 2785, 2787, 2804, 2806, 2907, 2915, 2926, 2934, 3269, 3284, 3288, 3392, 3411, 3630, 3635, 3649, 3654, 3756, 3759, 3775, 3778, 14957

Commentary

Busca computacional com assistência de IA. Catálogo construído com sementes parabólicas/aninhadas, produtos com fibras inteiras e refinamento local. Esta lista passou por contagem exata de pares e enumeração completa de triplas: 70 soluções ordenadas, todas diagonais. SHA-256 canônico: 2c4071532e8857a377261e33effd7aa612b3514be43e11aca39a0db62afcae50. Não se afirma optimalidade. A estratégia de parábolas aninhadas foi informada pela construção pública de witness#123533. Agradecimento ao ICARM e ao NSF Grant DMS 2425401 pela plataforma.

last edited by Natanael Wildner Fraga at 2026-09-26 10:17:26 UTC · history