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: c866778c54064ab2f149d9c8a187d6c7342adf8aed3ca24fa20743dca3aaf5ac. 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:01 UTC