How is this rage bait? It is simply properly used English language…??

Edit: To the lurking downvoters: Since when people started interpreting “mac users” to mean (according to the context here) semi-all? A qualifier of “some” i guess is what you would like, but it’s not incorrect.

It’s proper to just say “mac users”, or for example “fishermen use worms as bait”. Or maybe you’ll like this example more: “linux users write open-source firmware for wifi routers”

I am more skeptical. Even with Navier Stokes, I never heard anyone actually internalize the result and have trust in it. I just heard vague lean-dih waving.

Supposedly it’s 26000 subtheorems of goobledigook, feels untameable.

Mathematicians seemingly: Axioms are correct, we trust lean => Result correct.

As a physics, CS thinker: AI probably found a bug in our axioms. And/or usual self-referential math issue. And/or connected to Goedel’s incompleteness. Also I wonder why I even trust lean as much, havent even read its code. Most software works great until somebody starts poking at its limits.

Compared to what OpenAI is claiming its word machine has solved (without any human verification for the claims so far, not even in OAI), the scribbles kinda are (just highschool math).