jmusall

There's a "hide" button in the top right corner

That must have slipped through Kevin Buzzard's review, which is not entirely unplausible with 29500 theorems to verify...

I think they should spend another few billion tokens and let agents try to disprove any of those statements or links between them. Then I'd be a lot more convinced.

The comparator was only used to verify that the final statement indeed is a valid formalization of Fermat's Last Theorem, not that the proof leading up to it is correct.

> the shareholder's benefit is to society's benefit

Yes, but there can be other benefits than monetary ones. Besides, I find it rediculous to believe that wealthy people receiving more benefits automatically translates to improvements for the general society.

To add another point: The monetary value these companies create is often only possible because of their monopolistic market distortion. I don't think it can be a net benefit for society when competitors have little to no chance to offer a better product.

> When people suggest regulation they want to control how these companies are acting

That's true. In your original comment you also said "government taking over YouTube" which is why I thought we were talking about complete transfer of control à la planned economy, which is normally not the goal of regulations.

The things mega corporations built could be even more valuable (for society) if they didn't intentionally restrict for their own and their shareholders' benefit what you can do with them.

"Regulating" also doesn't mean "taking control".

The article did not make me understand that at all.

> Since we're making a new app, we're going to want two things: an app server (which hosts our API & frontend) and a view server (which collects data from the network for us).

Yes, the user data is decoupled from the apps, but aren't both stored on some kind of instances? Also:

> Why are we listening to the event stream if we're the one making the write? Because we're not the only ones making writes! There are lots of user repos generating events, and lots of apps writing to them!

Who is hosting this event stream? Aren't we making some kind of federated network by deciding on our app server which event streams or which users/apps pushing updates to listen to?

As far as I can tell the specification only demands the code modules (pixels) to be square (which is already often ignored in "aesthetic" QR codes which use e.g. round dots instead) and arranged in a square grid. Not that each grid cell has to be filled completely by the respective module. So this might actually be compliant!

I think sampling "the whole square" might actually not be that good for decoding even standard QR codes as aliasing at the edges of each code module ("pixel" of the code) in a camera image would actually make the distincion between 1s and 0s more difficult.

Your argument still partially applies though, as introducing new unrelated colors at the module edges could also lead to aliasing effects when the code is too small for example.

With the crucial difference that these processes deterministically return correct & working results (save for bugs which can be fixed and then stay fixed). Cannot be guaranteed for LLM output, no matter how much effort we put in.

I could not find any indication that the purpose of this ever-increasing spending (while alarming) is money laundering in the essay you linked. Can you provide any other source to back up this claim? Money laundering is illegal, while spending money in of itself is definitely not.