ParentFull threadtomjen3·Then I propose the tomjen-1 benchmark: prove the N vs NP problem formally undecidable.View on HN