Ar-Curunir

Indeed part of the choice is because Rust is now an established systems language.

The author in question is clearly not a charlatan. That they might have omitted discussing some of your favourite details in an overview article is not a sign of quackery.

What do you think mathematicians were doing for centuries before LLMs?

And also, humans have been doing a lot more work than just mathematics...

Yes, duh! Human output across the millennia is worth much more than whatever is being invested in frontier labs.

How is this even a question.

In every such post you have people both-sidesing. Killing almost 100k people is not equivalent to whatever Hamas has done. Hamas bad, Israel worse. It's not very difficult.

Begone foul genocide apologist.

Even spending 200 billion on it is fine, given that we spend much more on things that are much less profound

Why bother with C when you can get an LLM to write it in Rust and not waste tokens on finding memory bugs

You’re acting like people are being grammar nazis when Claude and the ilk are actively making a mockery of language.

Please. Have you been doing mathematics ? Yes, some big open problems are solved. I have not seen the ideas therein used to solve related or other problems. That is the point of most mathematics: to develop frameworks and general techniques for understanding and solving problems, not solving one-off problems.

For example, group theory lead to a useful way of thinking about how to solve a wide array of problems. That is what mathematicians are seeking.

Yes, and even after introducing and using Rust, there were still vulns in the remaining code.

FWIW, Rust is my main language, so I am grateful to the humans that created it, and it is indeed a monumental effort. But vuln finding is a different kind of creative endeavour, and one that is heavily weighted against defenders.

Mozilla had 400 Firefox CVEs found by Mythos; if those were so easy to find, why didn’t humans do it before?

The only population growth the US gets is from immigration. Cutting out skilled population growth is not a good idea!!

Oh yeah, the real world has subtitles, right?

What? Plenty of people can use the smaller iPhones with just one hand.

You can indeed generate many nonsensical problems. Generating ones which require interesting and non-trivial mathematics is much more difficult.

Current career structure of mathematicians works partially by looking at whether they have solved novel and interesting problems, or at least done theory-building that can help solve such problems. Many mathematicians are also motivated by being the world's first to solve such problems

Removing this measure suddenly means that academic mathematic norms need to adapt rapidly, and, even more importantly, intrinsic motivation for many mathematicians needs to change rapidly. That is understandably a sea change for the current mathematics community.

Have you heard of, e.g., Walmart? How do you think their logistics works? Or, similarly, any modern capitalist economy? Do you think it's entirely decentralized planning with independent actors?

"Capitalist central planning is actually communism".

If you're going to use wrong words, then be prepared for people to be pissed off at your wrong usage.

They offered to collaborate by asking to drop a coauthor.

That is not collaboration, and is not an academic norm.

> And simply knowing a problem can be solved is half the battle.

Have you done any mathematical research? If not, then no, knowing that a problem is solvable is not “half the battle”.

Homework problems are all designed to be solvable, yet they can vary greatly in difficulty. Research mathematics is even more extreme, because, unlike with homework, you don’t know that it is solvable with the extant mathematics, and you might need to invent new maths.

To come away from this thinking that the academic is the bad actor, given OpenAI’s reputation, is certainly an exercise in creative thinking.

Dude you’re over this entire thread unflinchingly supporting OpenAI with nonsense semantics-based arguments.

Either put up some evidence-backed arguments, or shut up.

They definitely do, just implicitly. In the past it was more explicitly stated.

This entire thread you’ve been talking about the PKK with very little evidence in support.

Morality != legality. these anarchists have a much better moral grounding than most US tech companies which gladly support US military destruction.

Yet on most metrics IBM is a success.

I don’t think that’s true. True masters will create works that enable additional interpretations, perhaps beyond or even contradictory to those intended by the original authors. I doubt 50 Shades of Grey enables such a multitude of additional interpretations.

Man even your comments sound like they’re written by an LLM

Yes, they just hand out Turing Awards for bullshit.