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.

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 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.

Proprietary service drops support for proprietary protocol..

Just checked USAJOBS.gov . There is not a single CISA based job listed. If they are understaffed as bad as this indicates why are there no job postings at their official site for hiring? None, Zero, Zip. Seems to be this article is fake news based on a stolen, uncheckable, email.
 

Not really news. There has been no Cyber talent in the government for a while because it won't PAY them. When you can make 2X more going contractor, or private industry, the only people in the government are people who need the ability not to get fired to have a small chance of holding a job. There is no innovation or dedication in or civil servants. Until the government is willing to meet the wages on the outside they will be unable to attract top talent.

If you think Government workers are a meritocracy and we are losing top talent, you obviously have never looked into Federal hiring practices. They self select for the worst candidate.

If you are a Govie reading this, yes I mean you.

So this move probably improved efficiency, not hurt it.

Nope. That's why I changed all my players to BlueOS.

I replaced all my SONOS connects with BlueSound node Nano devices. A pricey replacement, but worth it.

As a bonus I was now able to turn off SMB1 on my home Samba server !

This seems like such an obvious improvement that I was curious about the one commissioner who voted against it. It turns out he, Andrew Ferguson, is expected to be nominated and confirmed to be the head of the FTC under the upcoming administration. Some info about the anticipated new head of the FTC:

* UVA undergrad and law degrees
* worked for private firms defending against anti-trust enforcement
* clerked for Clarence Thomas
* worked for Republican senators on judicial confirmations
* solicitor general for Virginia
* appointed to FTC in 2023

We will see how things change under his leadership.

> Every large NAS vendor (Synology, QNAP, etc) has their own SMB server they wrote themserlves

That's untrue. Both Synology and QNAP use Samba. QNAP contributes code and bugfixes back to samba.org (Hi Jones !).

When there are 42 AGs listed, I wondered which states didn't sign on. Here they are:

• Alaska
• Arizona
• Iowa
• Kansas
• Louisiana
• Missouri
• Montana
• Nebraska
• Ohio
• Texas
• West Virginia

That adds up to more than 50 owing to DC and some territorial AGs.

HP builds multi-function machines as well, the scanners SHOULD position them for doing well transitioning from a printed world to an exclusively digital one, but the software they provide for scanning is wholly inadequate. They don't even include OCR with their scanning software.