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.