← Back to context

Comment by tomjen3

3 hours ago

Then I propose the tomjen-1 benchmark: prove the N vs NP problem formally undecidable.

0 comments

tomjen3

Reply

No comments yet

Contribute on Hacker News ↗