Team claims to have Lean 4 proof that P≠NP
Uncategorized
1
Posts
1
Posters
3
Views
-
Team claims to have Lean 4 proof that P≠NP
https://arxiv.org/abs/2510.17829
#HackerNews #PvsNP #Lean4 #Proof #Mathematics #ComputerScience #HackerNews
-
undefined oblomov@sociale.network shared this topic on
Gli ultimi otto messaggi ricevuti dalla Federazione
-
@krysztophe @ParadeGrotesque domino effect
-
In risposta a @bbacc e un po' tutto l'altro thread che sennò si incasinava troppo!
:smug:
-
@ParadeGrotesque
@stefano
Replaxing them *with an AI that goes down with Cloudflare*, too !
-
chris@mstdn.chrisalemany.ca and TekSavvy is a cat swiping at its feet 😝
-
I have just donated to @Codeberg
-
Tech garbage #apple #macosx edition:
In Mac OS X Tahoe (and probably Sequoia), the OS downloads between 14G and 40G of these stupid aerial flyover videos. I never asked for this bullshit. I deleted the files and they came back.
~/Library/Application Support/com.apple.wallpaper/aerials/videos
Any way to permanently disable this crap?
-
@ancientsounds exactly. That's why I'm so sad that it's more and more centralized.
-
@stefano
So ironic that the internet was designed to be distributed, to cope with random undesired outages
