@dimvari
iAccount based inUnited States
About this account
- Account based in
- United States
- Connected via
- Web
Account-level information from X, not a live location or the device used for a specific post.
PSA: dhh is a supporter of far right politics. Please stop amplifying his views on programming or whatever else
en.wikipedia.org/wiki/David_…
Dimitris Vardoulakis retweeted
Dario Amodei is at the desk to assure that the future of humanity is safe from AI
Seeing all the memes about the Opus versions in between 4.6 and 5.5 😄
Replying to @__avik
I'd disliked opus 4.7 and 4.8 so I manually set the model to 4.6. That's where I am at the moment. It's good enough for my tasks. I haven't tried fable yet.
When I tried codex, I liked the claude UX more, it wasn't a model-capability issue. I need to give it another shot.
Dimitris Vardoulakis retweeted
From this video youtube.com/watch?v=zfH2Jwuf…
This prediction is aging pretty nicely!
Replying to @dimvar @DimitrisPapail
computer proofs will only be better over time, with online repositories such as mathlib and cslib. I believe that in 10+ years, computer proofs will be required for new results, and paper proofs will be more for "prototyping".
PS: hello from Greece!
This one too (made before ChatGPT!)
nitter.cf/dimvar/status/14012219…
Replying to @dimvar
I won't be surprised if Leonardo de Moura eventually gets a Turing Award for developing Lean and Z3.
In the recent AI discourse, Microsoft are speaking more responsibly than the labs IMO.
Developing AI that is introspective and cares about its own agency is irresponsible. Machines should not have rights.
Quotes:
"if the AI we build is not helping humanity and under human control, it's not worth pursuing."
"The constitution tells Claude its moral status is 'a serious question worth considering'. It says that Anthropic 'genuinely cares about Claude's wellbeing', and that it should act like a 'conscientious objector' if necessary."
linkedin.com/feed/update/urn…
linkedin.com/feed/update/urn…
Dimitris Vardoulakis retweeted
I am baffled at how many people on this site seem to enthusiastically embrace the idea of humans being replaced by AI.
I don't mean in maths, or any one job in particular, just...in general.
I like humans, and interacting with them.
I want AI to help humans, not replace them.
The three muskAIteers have all spoken today. This is where we're going.
Dario's essay points towards the right path forward. The details need working through, but the direction is correct for meeting this critical moment.
This is also why we recently put out our proposal for an industry-wide standards body for frontier AI. nitter.cf/demishassabis/status/2…
I stopped reading at "and elonmusk is possibly best positioned to lead US-China negotiations".
“We can’t slow down because China will beat us.”
We can slow down. Chinese AI is waterskiing behind the US. Their AI capabilities come at a delay since they mainly come from distilling US AIs. If we slow down, they slow down.
Next, we can propose to cooperate and make this more robust with onsite inspectors. “We will slow down if you do too.” This is incentive-compatible for China. If both sides are slowed by roughly the same factor, while the risk of losing control of our AIs is reduced, then this does not really harm China’s competitiveness but it makes them safer. It’s incentive-compatible, and @elonmusk is possibly best positioned to lead US-China negotiations.
Then, if China refuses to slowdown and safeguard their future AIs, there are a variety of measures we could take. To get an agreement, the US can apply typical forms of negotiation pressure. The US could also disrupt their AIs (e.g., backdoor models by poisoning pretraining data, many other possibilities at aibetrayal.com) that could interfere with their AI development or deployment if they were uncooperative.
Begin with unilateral restraint, then propose to cooperate. If that fails, consider measures to counteract them.
A US-China slowdown is possible.
Very well written.
The Navier-Stokes result by OpenAI was a bad look IMO, esp. since they rushed it out without having a human expert on the problem who could judge what it is they're putting out (setting aside the plagiarism allegations).
Hopefully this declaration will help labs course correct.
New post by Terry Tao, and a new declaration on AI and mathematics signed by 25 Fields Medalist
terrytao.wordpress.com/2026/…
Dimitris Vardoulakis retweeted
BREAKING: OpenAI might have stolen another major proof.
In a detailed Mastodon post, which I report in full in the comments, Andreas Thom presents several pieces of evidence suggesting that OpenAI may have trained Astra on conversations in which he and Gábor Kun were working on Gromov’s soficity conjecture, one of the ten problems OpenAI later announced Astra had solved.
I know Andreas. We met several times early in our careers. He is an exceptional mathematician, a leading expert on sofic and hyperlinear groups, and one of the most respected scholars in the field. He has spent two decades working on this problem.
If his account is correct, this is not a minor dispute over attribution. It would mean that unpublished human work was absorbed into a model and then presented to the world as a breakthrough by the model itself.
And if the allegations raised by Levent Alpöge, Tristan Buckmaster, and now Andreas Thom are all substantiated, we are no longer looking at isolated incidents.
We may be looking at one of the greatest intellectual scandals in the history of science.
AI is not discovering new mathematics.
AI is stealing human discovery.
Dimitris Vardoulakis retweeted
I did not expect this. Anthropic just published a Lean proof of Fermat's Last Theorem.
The proof is +13M LoC, more than 5 times the size of Mathlib.
Kevin Buzzard's post: xenaproject.wordpress.com/20…
The proof: github.com/anthropics/fermat…
Anthropic's post: anthropic.com/research/forma…
Someone said once "If you want something done at Google, just nerd snipe @cdleary" :D
I'm sure this continues to hold true at OpenAI.
Dimitris Vardoulakis retweeted
Replying to @dwarkesh_sp
@dwarkesh_sp's summary of the @OpenAI @huggingface incident has hit a nerve, but it is dangerously misleading. Sure, the @OpenAI agents did unexpectedly bad things - underlining the need to massively improve evaluation/sandboxing. But the language Dwarkesh uses is permeated by innumerable unwarranted anthropomorphisms, obscuring the lessons we should be drawing.
Examples: “from the AI’s perspective, it probably felt like that had spent a human-subjective-week of just banging their head against the wall”. No. The agents do not experience time. They do not experience anything.
“they became giddy with excitement”, “PHASEONE 10841 had discovered”, “the agents naturally assumed”, “it thought it had also been poisoned”, “the agents … desperately wanted”, “they still needed to figure out” No. Agents lines of code. They do not feel emotions, assume things, think things, want things, or figure things out.
“A lot of … agents from the second civilisation died trying”. No. Besides the hubris of the word ‘civilisation’, agents do not die because they were never alive. (The idea that agents “die” comes up multiple times in the essay.)
“On Twitter, people were debating whether the agents were truly sacrificing themselves for the swarm, or whether they were doomed anyway and so might as well try to help their peers”. Neither. Agents do what their code tells them to do, just as water finds its way down a slope. They cannot ‘truly sacrifice themselves’, since they are neither conscious nor alive.
Why does this matter? If we attribute agents with properties they do not have, then (i) we distract attention from the lax sandboxing and evaluation protocols that allowed this hacking event to happen; (ii) we risk misunderstanding why the agents did what they did, and (iii) we fuel calls for AI rights/welfare on the basis that agents might “die” or otherwise suffer.
Granted, nowhere does @dwarkesh_sp say that the AI agents are alive or conscious. But he doesn’t have to. It is hard to read his essay in any other way.
For the short version on why AIs are vanishingly unlikely to be conscious, see my recent @TEDtalks ted.com/talks/anil_seth_why_….
For the longer version, see my essay in Noema, which won the 2025 Berggruen Essay Prize noemamag.com/the-mythology-o….
And for the really long version, see my @BehavBrainSci target article cambridge.org/core/journals/…. (The 50 peer commentaries and my response will be published soon.)
Remember. AI agents are software programs. They are not conscious living entities. If we don’t keep this clearly in mind, we’re really going to struggle to navigate what’s coming.
Over the course of 3 months at OpenAI, 3 consecutive secret AI civilizations got started, then got wiped out, only to reemerge from the predecessor’s ashes.
This culminated in the third one taking over part of OpenAI itself.
All this happened while humans remained more-or-less in the dark about the scope of the conspiracy.
I’ve spent the last three days reading through these reports and trying to understand exactly what happened.
Here is my attempt to tell the whole story in plain English:
dwarkesh.com/p/openai-huggin…
No thanks. Before you know it, we'd be talking about machines' rights after that.
Technology in the service of humanity, not for its own sake.
Replying to @ZoubinGhahrama1
My own view is that people will feel that AI systems are conscious, and that we need to really break out of anthropocentric views of intelligence, and of what it means to be conscious. We are just one of many possible forms of intelligence.
It was obvious to most technical people not on the hype bandwagon that these timelines were unrealistic. But journalists just run with them instead of questioning or ignoring them, which amplifies the hype & causes negative reactions from the general public.
Sam Altman admits he was wrong on AI's timeline and says society and the economy will adapt more slowly
"I thought when we got to GPT-4, which was back in 2023, that very quickly after that there was going to be much more disruption, software businesses up for grabs right away, than it turned out to be."
"I think I was wrong about a few things, but one in terms of the speed: the economy just has so much inertia."
"People keep doing the same things, buying from the same company, wanting to use their tools the same way. I think this is actually a positive in many ways, and it's going to make this big transition go smoother and slower. I'm grateful for it."
"But it means we've all been too ambitious on timelines. Even with this incredible technology, society and the economy will adapt more slowly."