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: 80 soluções ordenadas, todas diagonais. SHA-256 canônico: a912799130ff9bf98c51c6e75f44123f781d54cfeaac9a51cfb846219c256a66. 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.
Natanael Wildner Fraga · 2026-09-26 10:06:34 UTC