kurtis_reed

Yes however, whether a natural language proof and a formal proof "correspond" is subjective.

How do you know the natural language proof is incorrect?

> Maybe read the original article before replying, at a minimum.

Maybe read the comment before replying, at a minimum.

alternative TO Microsoft

Why creepy? Apparently the AI did most of the work, so they put the spotlight on that, duh.

Pure math has been overvalued for a long time. Now that we don't need humans for it, it's really time for pure mathematicians to pack it in.

"Warren"? You know him personally?

Robbery implies taking it away from you so you can't have it anymore. How is that the case?

If solving a problem is "purely" theoretical it's of no use outside the math community's enjoyment. Otherwise it's not purely theoretical.

> none of the millennium problems have anything to do with a "real" problem

P vs NP has a lot to do with real problems.

> this is ABSOLUTELY not how actual mathematicians see their field

Yeah and they should start seeing it differently

Whatever justification for lamplighters existed before exists now?

Congratulations on your opinion?

Indeed. As Nassim Taleb says, "Something bad for the (existing) class of mathematicians as they lose their privilege, but not necessarily bad for mathematics & our body of knowledge?" https://xcancel.com/nntaleb/status/2098498124419305639

> the vast majority of the locals hated the protests and didn't support them

Totally false

People have been saying we've been "at peak hype-cycle" for years

A better alternative is just to make all your work open and public, then everyone can see what you should get credit for.

> it convinces decision makers that human mathematicians are obsolete, and it convinces young people that their passion for mathematics has no future

Maybe those things are true, so maybe they should be convinced?

Tao seems to be stuck in a pure-math-for-the-benefit-of-pure-mathematicians mindset. The rest of us care about applications of math, not math itself.

Plenty of new open problems will come from applications, and applications are what actually matters. Pure mathematicians are wrapped up in math for the sake of math which is a fun academic game but not something the rest of us should care about.

People don't use SQL because it's a good language

You mean "benchmarked"?

How is it different from https://github.com/github/spec-kit?

Multiplayer? It's a game?

"multiplayer"? Is this a game? I honestly don't know what that means in this context.

Dark night for mathematicians' careers maybe but not for mathematics at all.

English doesn't do quotation marks like that

Actually, it's "either the word 'whom' or when to use it". I guess you should learn actual English.

Imagine someone wrote a blog in some obscure language that few people speak. If you happen to know that language, you'd think wow this is great. If you don't happen to know that language, you'd just think it's a shame. This is the same thing, just to a lesser degree. Some people might be interested in putting in the effort to learn a bunch of foreign cultural references, but not everyone.

You could just use the US terms, then you wouldn't have to learn both.

"The idiot who praises, with enthusiastic tone, All centuries but this, and every country but his own."