4 ms·Then I propose the tomjen-1 benchmark: prove the N vs NP problem formally undecidable.by tomjen3 1mo agoThen I propose the tomjen-1 benchmark: prove the N vs NP problem formally undecidable.