witness #216505

N: 42,415
|A|: 160
exponent log |A| / log N: 0.476307

status: superseded — the record is now |A| = 161
submitted by: Natanael Wildner Fraga
submitted at: 2026-09-28 16:32:45 UTC

Elements (160)

999, 1033, 1084, 1118, 1501, 1586, 2011, 2096, 3004, 3038, 3089, 3504, 3538, 3589, 4494, 4579, 5018, 5035, 5103, 5499, 5584, 6502, 6587, 7503, 7520, 7588, 7605, 8485, 8519, 8570, 8604, 9482, 9567, 10001, 10018, 10086, 10103, 10511, 10596, 11487, 11572, 11987, 12072, 12994, 13011, 13079, 13096, 13999, 14016, 14084, 14985, 15070, 15473, 15507, 15558, 15592, 16473, 16507, 16558, 16592, 16968, 17053, 17471, 17505, 17556, 17590, 17982, 17999, 18067, 18084, 19028, 19461, 19495, 19546, 19580, 19987, 20004, 20072, 20487, 20504, 20572, 20961, 20995, 21046, 21080, 22954, 22988, 23039, 23073, 23485, 23570, 23956, 24041, 24956, 25041, 25468, 25485, 25553, 25570, 25954, 26039, 27477, 27562, 27944, 28029, 29444, 29529, 30450, 30484, 30535, 31437, 31522, 32002, 32456, 32473, 32541, 32558, 32935, 32969, 33020, 33054, 33456, 33473, 33541, 33558, 34454, 34471, 34539, 34556, 35433, 35467, 35518, 35552, 35943, 36028, 36444, 36461, 36529, 36546, 37944, 37961, 38029, 38046, 38426, 38460, 38511, 38545, 38933, 39018, 39431, 39465, 39516, 39937, 39954, 40022, 40039, 40451, 40536, 41418, 41503

Commentary

Busca computacional com assistência de IA. Catálogo de 28/09/2026: construções parabólicas/aninhadas, fibras inteiras e refinamento local. Verificação exata local por contagens de pares: 160 soluções ordenadas de a+3b=2c+2d modulo N, todas diagonais. SHA-256 canônico: 2166501b3d2acf4f53d4953d1c452c1ef7ff1f5e7748c7ff8ec7434b990f9d69. A estratégia utiliza as construções públicas descritas em witness#123533, witness#123497 e witness#44533, com crédito aos respectivos autores. Não se afirma optimalidade nem solução da conjectura assintótica. Agradecimento ao ICARM e ao NSF Grant DMS 2425401 pela plataforma.

last edited by Natanael Wildner Fraga at 2026-09-28 16:32:45 UTC · history