It is sarcastic. But it is also what OpenAI tried.

The reason they just drop these and say nothing is because these are unverified slop.

OpenAI’s method of verification is rewrite them as Lean proofs that can be verified by computers. Two things have happened so far:

1. The Lean proof proved the slop wrong, easy, retract.
2. The Lean proof, being generated by a LLM, is susceptible to hallucinations. For example the Navier Stokes problem Lean proof turned out to be slightly different than the original natural language proof, because the LLM tried to bend a condition to make the proof compile.

But, in case nobody found any problem, OpenAI gets to claim credit for the discovery until someone can review and prove something’s wrong.

You can say these proofs are “Schrodinger’s correct”

Just searched in Korea. Samsung used to make them but not anymore, they seems to herd that market towards the Z flip now.

Latest flip phone available on the market is a 2025 Chinese 4G phone.

Personally I would settle with a keyboard that can be attached to a generic bar type phone that can be slid out so I can ssh into things, but alas even that is impossible it seems.

Cloudflare have “workers” that can run code, and anyone can create them, my guess is abuse? You can try contacting cloudflare.

I understood this reference. Japan is 25 years late according to schedule but better than never!

For those who don’t: it’s a big rabbit hole. Search for 第2新東京市

This is an article about the fallout. To read more I would recommend this BBC article from 7 days ago

https://www.bbc.com/news/articles/c0k2dz4y6gxo

I’d recommend

https://github.com/roflcoopter/viseron

Checks all the boxes: local storage and streaming, detection, recognition.

Should work fine with most cameras, but configuration is via YAML only, no GUI.

You can try a DDNS service to get a fixed domain name bound to your dynamic IP. Most modern routers support a few providers, try looking in the settings. They are mostly free for personal use.

I’m using one of these “shady” cameras that have good reviews. Yes they require an internet connection to set up but once you are done you can just wall them off from the internet and stream locally to your box ;)