Medico-legal paraprofessional. Investigator for TV, press, and trash bins 🇩🇪🇬🇧🇫🇮🇺🇦 https://xitter.gq/t.co/LytmqLnzNI
Berlin, Joensuu, Nantes
Joined December 2013
- Tweets19.1K
- Following1.2K
- Followers760
- Likes12.9K
When was the last time when capital changed the world for the better
What's happening with "cyberpunk" these days.
In the 1980s and 1990s, cyberpunk was REAL -- the kids were doing things with technology, first microcomputers then the Internet, that were challenging and overturning the old guard.
The underground hacking movement was full of kids changing the world, who would then decades later (meaning now) be the ones in charge.
We had the likes of Microsoft challenging stodgy IBM, and then the likes of Google challenging Microsoft.
I don't see that same underground happening today. The leading edge of AI, the frontier models like OpenAI and Anthropic, require billions in capital, and are beyond the reach of "punks". It's not punks changing the world, but capital.
Excellent remark.
Have you ever noticed that only the rich and famous ever get reincarnated? The chances of an ancient Egyptian to be living in a temple were miniscule, but who wants to be reincarnated from a farmer doing back-breaking work in Lower Egypt? Also, what a coincidence to be reincarnated from ancient Egypt just when Egyptology was all the rage.
Hei @grok, based on the content I post and share, where would I stand on a 100 points political left-right scale where 1 is extreme left and 100 most right-wing?
Dr. Fake🏴☠️ earlightswindle 3.0 retweeted
Kudos to whomever made this video.
It's accurately hilarious.
👇😂👇😂👇
German "AfD" nazi party is probably done for.
300GB internal mails leaked and it looks as one would expect.
In a country that used stolen bank data and encrochat contents for persecution, the source should be no problem. Now it's just the political will to set the ban process in motion
I love it how Trump thought he could throw Zelensky under the bus, but then Ukraine took out the russian MAGA bot centers, making sure that midterms will be a desaster for Trump.
Well they got Richard Heart in Turkey. See you in Finland
iltalehti.fi/ulkomaat/a/b0b0…
There are REALLY less MAGA/AfD/russian bots since Ukraine took out the troll centers.
Elon setting up own bots in 3...2...1.
"AI" still cannot do 2+2.
The only question is, will it ever be up to it, or do we look at a systemic fault.
I do think so.
BREAKING: OpenAI’s solution to Navier–Stokes does not match its Lean verification.
The most important article to read today is not one of OpenAI’s 700 AI-generated math papers.
It is this other paper, making a deep and worrying point:
A Lean-verified proof does not automatically validate the proof written in natural language, nor does it mean that the formal statement captures the intended theorem.
During translation, an AI can change an assumption, weaken a statement, or replace the argument entirely.
It can hallucinate another theorem.
Lean correctly verifies the result.
But the proved result may no longer be what the paper claims.
This is a general problem. Things get spicy when the authors examine OpenAI’s proposed Navier–Stokes solution.
They identify at least two mismatches between the written intermediate results and their Lean counterparts:
One estimate claims that four additional input derivatives suffice. The Lean version requires five: a weaker result.
A pressure-flux estimate is obtained through a different bound, and proved through a different argument.
It is not clear whether these mismatches invalidate the entire proof.
But they raise an important issue.
OpenAI is flooding us with claimed revolutionary breakthroughs. Yet nobody knows whether the proofs are correct or whether they prove what they claim to be proving.
Epistemia at scale.
*
Paper in the first reply
Captain Obvious to comment:
Last time you did a 3-day SMO it went as expected
