N
ConjecturaAfirmação matemática plausível e ainda não demonstrada. Padrão numérico não é prova.Problemas do Millennium
Pergunta
Restrições de capacidade podem produzir novos teoremas sobre P versus NP, Riemann e equações diferenciais?
Relação com DOUVRAS
Fornece perguntas de fronteira, mas exige o mais alto nível de disciplina. Nenhum padrão computacional deve ser comunicado como solução de um problema aberto sem demonstração formal e validação especializada.
Critério de progresso
Lemas novos e verificáveis, mesmo que pequenos; ausência de alegações prematuras.
Relações declaradas
Cada relação vem de uma justificação textual no manifesto. Não há arestas decorativas.
Os registros auditados desta linha vivem no arquivo público, sob licença CC BY 4.0.
Abrir os dossiês da linha N ↗