Team claims to have Lean 4 proof that P≠NP

Share This Post

Article URL: https://arxiv.org/abs/2510.17829

Comments URL: https://news.ycombinator.com/item?id=45672103

Points: 4

# Comments: 1

Source: arxiv.org

Subscribe To Our Newsletter

Get updates and learn from the best

More To Explore

Windows Securitym Hackers Feeds

Action Without Stakes

Article URL: https://www.robinsloan.com/lab/stakes/ Comments URL: https://news.ycombinator.com/item?id=45682781 Points: 1 # Comments: 0 Source: www.robinsloan.com

Do You Want To Boost Your Business?

drop us a line and keep in touch

We are here to help

One of our technicians will be with you shortly.