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

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.