{"id":"palomar/PALOMAR-2026-10-07-000010","url":"https://github.com/AItoBit/erdos374-palomar/tree/40857297956c031d92b1bc30b007a46575c60c5d","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-10-07-000010-v1.json","repo":"https://github.com/AItoBit/erdos374-palomar","tags":["math.NT","msc:11D57","msc:11A41","number-theory","erdos-problems","lean-formalization"],"score":0,"title":"Erdős 374: classical square products of factorials","trust":"high","domain":"math.NT","source":"palomar","authors":["alexander"],"reviews":0,"subject":"math.NT","summary":"Formalization of classical factorial-square constructions, exclusion of prime endpoints, existence of minimum representation cardinalities for composite endpoints, and the cutoff D_k = empty for k greater than six. The density question from Erdős problem 374 is defined but not proved. No mathematical novelty or solution of the density problem is claimed.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-10-07","reactions":{},"formalized":true,"formalizes":[{"title":"Erdős Problem 374","identifier":"https://www.erdosproblems.com/374","relationship":"adapts"}]}