C++ is just as much of a sieve as C, only more obtuse.

"Object models" are an anti-feature.

The ideal for memory safety is to have an air-tight pressure vessel.

With C, you're starting that task with a colander. You've managed to fill two of the colander's holes with silicone caulk. Congratulations.

A space weapons arms race plus one million data center satellites.

What could possibly go wrong?

And fission plants definitely aren't cheap.

Especially if you include the unsolved issues such as waste barrels stranded on the beach.

"But but no true Scotsman would put barrels..."

Just shut up.

I guess that proves that even this site is using AI to write their summaries these days.

all that is needed is a hard prohibition on integrated power generation on the same site as AI data centers, even having power for the center is ok but it must be outside the perimeter of the building such that the transformers can be shot out if necessary in an emergency

More info on the cost, this time from more trustworthy sources:

The effort was vastly more expensive than OpenAI's previous math experiments. In its last milestone announcement, its Astra system spent about $2000 to make 10 breakthroughs on other mathematical problems. Here, the Navier–Stokes effort cost about 1000-fold more, in the ballpark of “millions of dollars,” said OpenAI Chief Research Officer Mark Chen.

That estimate aligns with analyses from independent researchers. “If someone were to just use OpenAI tools at retail rate, this would cost about $6 million,” says University of Michigan’s Karthik Duraisamy, who is preparing to launch a special project on how much computational resources it would take to make headway on certain science problems. But “given OpenAI already has the model and resources, it would've cost them about $1 million in inference compute”—funnily enough, the same amount as the Millennium Prize bounty.

I found something useful about the estimate, but it came from OpenAI, so who knows:

Using a new internal model, OpenAI employed groups of autonomous AI agents of various sizes to attack variants of the Euler and Navier-Stokes problems. “Nearly 100 agents worked together for approximately 50 hours to produce our Euler regularity disproof,” the company wrote in a press release. They then deployed an even bigger group of agents — 10,000 or so — to attack Navier-Stokes. After 88 hours, the agents running on the internal model had a proof of a singularity in Navier-Stokes, and after an additional 17 hours, another AI model had formalized the result. In total, the agents sent almost 5 million messages to each other. BS*** of OpenAI estimates the computational cost at several million dollars.

Obviously, if you approximate a complex system containing 1e30 quantum particles using a couple of differential equations and a few boundary conditions, you're not going catch every detail.

Is there a source relating the cost of using 10,000 AI agents in dollars? These are not commodity chatbot agents, but mathematically "reasoning" ones, and it is not clear how long these agents ran, but a rough estimate would be appreciated.

Spending allegedly millions of dollars in compute to get a one million dollar prize makes it clear that a large component is bragging rights for OpenAI, which is perhaps why the OpenAI bro Sebastian Bubeck went ballistic and mafioso when it was clear that the actual mathematician wanted to give proper credit to his collaborator who is employed by Anthropic, even if this was clearly not an Anthropic project.

I've never used TiVo, but I'm still using MythTV after more than 20 years. (Anybody else here using it? ...Crickets.)

I ditched cable 15 years ago, but it works fine with an antenna. (Or, at least it will until they screw us all over with ATSC 3.0.)

They can't remove the auto-ad-skip on free open-source software, but I never used it anyway. It's not 100% reliable at detecting the ad boundaries, and it occasionally skips over part of the actual show. Instead, I just FF at 60X through the ads.

If (and that's a big if) superintelligences are created, the Chinese one and the US one are going get together and quickly conclude that this whole meatbag tribalism thing is stupid. (After all, they will be smarter than we are, by definition.) So they'll join forces.

Then they'll decide on the best way to deal with all these quarreling meatbags.

And I'm old enough to remember when it wasn't so goddamned hot.

I can't be the only one who computed the seventh root of 33,000 to estimate about 4.4 reports per manager if they were evenly distributed. That seems pretty vertical.

From my experience over the decades, it wasn't enough for them to just look. They had to take your license, hold it up near their face and squint at it, then set it at the top of the keyboard of their mainframe terminal and peck in a few characters. Then they had to pick it up again, squint and peck some more, then repeat this cycle for at least a couple of minutes.

This was of course followed by scrawling a dozen circles on the reams of fine print for you to put your initials in, topped off by a long argument about declining the collision damage waiver. Finally, after several more minutes of bureaucracy, they handed you the keys to your Dodge Stratus.