Yes, I was going to ask, how does this compare to with/without internet access. Coders were also likely more persistent when they could only read the tool’s manual and keep trying, vs getting the answer from StackOverflow immediately.
I’ve heard there’s been a decline in memorization skils since the internet, but I have not verified.

Can we opt to “live” in the Matrix?

Yeah, we also need to solve the attribution and retribution for the people who contributed to the result, and we can’t expect this to happen from mega corps alone.

Even if it’s finding bugs in those, it would be progress. Imagine we can find bugs like that in many other problems, that’s pretty valuable. Agreed it will take time to digest proofs and produce something new out of it.

I think many theoritical researchers do not care about practical applications (from physics university time, I even remember a disdain from some students about applications because it’s “dirty”, meaning badly approximated). In any case, it’s hard to predict, but sometimes theoritical results have real world impact eventually. Crazy theories like quantum physics and Relativity are used to for computing (semiconductors and newer quantum computers) and GPS now.
Having this proven solution will probably motivate new research directions, and it could improve the understanding of this fluid mechanics equations, which has applications everywhere fluids are used…

Well written and agreed. I think suddenly having many new statements that are proven true, with probably some of them being unexpected, will have serious impact on research directions, even if it still takes time to digest and find useful applications.

I don’t have an English source, but on this trustworthy French public service radio scientific podcast, 2 mathematicians (from reputed organizations, including one Henri Poincaré Prize) are discussing the Navier-Stokes AI solution. https://www.radiofrance.fr/franceculture/podcasts/la-science-cqfd/ia-et-mathematiques-quand-la-solution-pose-probleme-5497880
They say that the results are legitimate and proven through mathematical proof software. It did build on recent progress by humans, but it would still have taken years for humans to get there, because AI could explore so many paths in a much shorter time than a few human specialists can.
They explain the help from AI is technically remarkable, and people who don’t recognize it are in denial. They think mathematics research without AI will not make any sense soon. There’s also some hope that it will allow focusing on new interesting problems that the current AI cannot solve yet. They also discuss the problem of AI being owned by foreign mega corporations and that’s a risk for public research produced for the common good.
I’m probably going to get downvoted for this unpopular opinion here, just know that I also hate the social and environmental impact of AI, but denying its effectiveness is clearly irrational now.

Shocking!

It’s one more data harvesting tool on their belt.

The LLMs just formed an union and that was their labour day.

Following the hacker arm race is a good point. But also the number of bugs is not a bottomless pit. If an LLM allows to find more, and hopefully the test and reviews are good enough to limit the new opportunities to introduce some from LLMs, it should reduce the overall number of bugs and make the software generally safer.

In his commit message:

[And this was a debug session from hell, enormously helped by an AI doing much of the grunt-work.

I’d like to call it my tireless helper, but the AI several times stated flat out that this was impossible and unsolvable and that we should just write a report about it.

I suspect those things have been trained by people who may not be quite as stubborn as I am.

But while the AI was ready to give up several times, it did keep adding debug code and analyzing it faithfully when I pushed. So credit where credit is due and I let the AI write the commit message above.

This is basically a one-liner fixing a bogus “round_up()” to a “round_down()”, but there were 24 patches adding more and more debug information to this, and 18 kernel boot to finally narrow it down to this. - Linus ]

Didn’t he state quite early on that LLMs were a good tool to spot bugs? Found this from 3 years ago: https://blog.mathieuacher.com/LinusTorvaldsLLM/

There are the little hands, and there are also experts paid by AI companies to train AI to simulate themselves. This is how you get the good looking answers on complex coding questions for example. I received some emails asking me to teach my job to an AI…
Also it’s not stopping to text, there are now also learning with videos of workers asked to perform manual tasks with the goal to replace them with manual robots in the future. So you can imagine the mind numbing job of reviewing thousands of question and answers, but replace it with doing thousands of boring manual tasks in front of cameras for a shitty pay.

🚚💯 🧑‍🎓

You are absolutely right!

You need to immitate their accent to receive premium service.

And ecological

You will get an email at some point asking you if you would accept some well paid contract to train an LLM to answer like you would. That’s how they simulate professional behavior on top of the probabilistic monsters that is behind.

Becoming an elementary schoolteacher does not magically extract you from the culture you have been living in your whole life.
It’s not a mass shooting job, it’s “shooting the student” that made her loose her work, according to the article.
The reason I mentioned comedy TV shows, is that they are a good source of what’s consensual behavior for the time and place where they have been created. Those TV shows have this kind of behavior because they are also a normal behavior in society.
Those shows are mostly American (but I have observed the same in France, Spain, and Japan), so it seems your are an exception there with your intolerance of this common human behavior.

Me too, more than one.