kurtis_reed

Foldable Androids have been around for years, why didn't you get one before?

> Does anyone actually want these kinds of devices I wonder?

Yes

It's time for the social fabric of math to be ripped up, it's an industry being disrupted.

No one has the right to prevent others from working on a math problem. If you're working on a problem the best way to not get scooped is transparency: publish whatever you have as soon as possible.

Tao's behavior is most consistent with any other worker resisting automation for selfish reasons.

So mathematicians are no different from any other labor group that fights automation for their own benefit at the cost of overall welfare. Most artists are unpaid hobbyists, mathematicians should expect the same.

I'm smart and I think others are stupid

The point of understanding is to get better at proving new things. Now that humans are obsolete for proving things, human understanding is unnecessary.

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.