ssfdg

lmao pathetic

edit: to offer a slightly more substantive reply I will offer the Merriam Webster definition of cooking, which is "to prepare food for eating by a heating process" which applies just as much to warming preprepared or frozen foods as it does to enthusiast home cooks. I agree with you that the class divide is exemplified by the extremes of rich idiots who can just order Doordash for every meal and people who rely on the grocery store freezer section. The difference is that the people in the grocery store freezer section are actually cooking their food, while the Doordash people aren't, and the former category of people is substantially larger than the latter.

I'm sorry, but no, you don't get to lecture me about my privilege when I'm responding a grotesque coddled techbro pontificating about how Doordash has solved the problem of eating to the point that cooking is some quaint cute whimsical thing that people do as a hobby on the same level as owning a typewriter.

> Just like people still use typewriters, make their own clothes, or cook themselves dinner etc.

One of these things is not like the others. Your silicon valley bubble privilege is showing.

This is almost certainly the case. I very much doubt that anyone there of any importance in the decision-making process around this actually cares about the math, just the headlines they can get from pushing it out.

What a disingenuous, willfully ignorant take. None of these AI companies have been acting in good faith or in any way other than grotesque self-aggrandizement to the expense of everyone else.

This proof dump reminds me of the glut of low-quality drive-by PRs overwhelming open-source repos.

By all accounts the "dangerous for math" claims seem to be primarily around flooding the field with complicated impossible-to-understand proofs that according to recent research may or may not be correct depending on what's going on with the Lean implementation.

It's looking to me like it's more of a slop PR problem than it is that these things are genius at math and will displace mathematicians. I am happy to be wrong but I strongly suspect the next few weeks to months will result in more and more of this work being exposed as slop.

These things are ok-ish to halfway decent at coding tasks with a ton of babysitting and still make tons of extremely simple errors almost constantly, why should math be any different?

Also a ton of comments in this thread: breathless frothing hype declaring mathematics is over and assuming these proofs are exactly what they claim they are at face value, giving the company with a vested interest in everyone unquestioningly believing this is all real every conceivable benefit of the doubt

I agree with this too and I find this article extremely depressing.

The AI "revolution" as described here is the wholesale outsourcing of vast swaths of thinking and decision-making to a single entity. A project coded with Claude is a project coded by Anthropic. A business whose decisions are made with ChatGPT is a business run by OpenAI.

Is that what these people really want? To become a conduit through which two or three companies get to exert control over everything in the world?

"Those who gained experience with the old tech were essentially AI models trained on statistically good probabilities of getting good shot"

I am so glad I am not you. What a miserable way to live your life.

I don't buy this analogy and I think it takes a depressingly reductive view of creativity. In both cases, the photographers had to take the time to go to a place, see a view they thought was worth capturing, operated their equipment to get a shot, and then had enough discernment to recognize which of their final products were worth something. Both the traditional photographer and the modern photographer can create images of value in different ways.

If you want to shoehorn AI into this analogy at all then no one is even bothering going hiking at this point, let alone seeing anything worth capturing. It would just vomit up endless permutations of statistically average images that look like the kind of pictures people take of landscapes.

Correction: OpenAI carried out an attack on RubyGems.

I am gobsmacked at the tech industry's seemly bottomless appetite for giving these clowns the benefit of the doubt.

Are posts like that really DIY? They're more like increasingly elaborate and convoluted ways of getting something else to do it for you

I don't understand the point of this. If they wanted to make a Python interpreter, why didn't they just ask an AI to do it?