dave #SlavaUkraini

Committed to taking down nonsense with a healthy mix of reasoned discourse and foul language. Value intellectual honesty about everything else.

[dave #SlavaUkraini @bullshitbeware]

Some quick Electoral Math: @KamalaHarris has **10** potential pathways to achieve a majority of 270 electoral votes, as opposed to Biden, whose campaign figured he had just 1 pathway.

[dave #SlavaUkraini @bullshitbeware]

@canonical777 The worst kept secret in Silicon Valley is that most founders are frauds, even the successful ones. It's how they get along at dinner parties.

[Michael Choi @michaelchchoi]

This is recorded and posted on this channel, recommended to me by YouTube:

https://t.co/Fbx4mtSYnf

[Eldenelmanto @eldenelmanto]

Isn't this dystopian as fuck?

[Satnam Singh @satnam6502]

Chewing the fat about AI and formal verification with @ilyasergey at our local restaurant Roja in Los Altos.

[Piers Morgan @piersmorgan]

Let’s be clear: Manchester City have been found guilty of being the biggest cheats in English football history, and the punishment must fit their crimes. At very minimum, they must be relegated from Premier League and stripped of all fraudulently ‘won’ titles.

[Anne Applebaum @anneapplebaum]

The head of Egyptian intelligence warned Israelis of an impending Hamas attack before October 7. Read @vmsalama
https://t.co/6BQfsHfgfj

[dave #SlavaUkraini @bullshitbeware]

@thinkingheights @ColinZwanziger @GOFIntelligence Of course mathematicians don't understand any of that. They think "I can just plug my paper into Claude and out pops a formalization." You can also use Claude to run the US Military, but that's dumb, and it's the reason why Palantir is so valuable.

[dave #SlavaUkraini @bullshitbeware]

@thinkingheights @ColinZwanziger @GOFIntelligence This reflects a pretty deep misunderstanding of what AI startups are about.

The major labs are selling general intelligence. They aren't building custom tools, scalable infrastructure, data collection pipelines, or model training and eval frameworks for applications.

[Другая планета @nihilunbounded]

Just finished watching Buckmaster's talk at NYU and I'm blind with rage for 50 different reasons that would take me and eternity to unpack so I'm just going to bash my head against the wall bloody for the next hour.

[Emily Riehl @emilyriehl]

I was part of a group that met last week to try to propose recommended changes to the structure of math PhD programs in an age of AI. Our report, together with a collection of related resources, is now available here:

https://t.co/LeT59LS2no

[Tony Feng @tonylfeng]

I vomited a bit in my mouth when I saw this paper and its definition of "interestingness". To be fair, this is a naturally tempting definition; I've been in several conversations where it has been raised before - and then promptly dismissed. The surprise here is that AI researchers would presume to canonize it in a paper. If you're going to propose a definition of what constitutes interesting mathematics, maybe think to consult mathematicians?

By the way, the author names here looked familiar. It turns out they were all on ATLAS from end of May, still the largest botched formalization project to date! https://t.co/Blbrc1JZfN. Hmm...

[Delip Rao @deliprao]

> Kevin Buzzard had a 5-year grant to formalize the proof of Fermat's Last Theorem, but now Claude has done it in 11 days

This is unhelpful framing that only enables grant agencies to justify their STEM funding cuts. These two outcomes are different — one is uplifting mathematicians’ understanding and the other is self-serving. See my previous tweet in the reply.

[dave #SlavaUkraini @bullshitbeware]

@yiannissak Stadlmann was in a rush to publish because of OAI, not Axiom lol. it was well-known among mathematicians in the community that OAI had a substantial improvement on bounded gaps and would disclose it with the Astra release, that's why Stadlmann published just days before.

[🌊🌊🌊Wayne The Philosopher🌊🌊🌊 @mcburls]

.
This is what happens when a lying, psychopathic, snake oil salesman is in charge. The fact that he has become delusional is just a bonus.

[ThePrimeagen @ThePrimeagen]

Wait... People use AntiGravity?

[EU says Elon should not lie abt my blue check @emptywheel]

Reminder that one reason the Tates got off the first time they came back to the US was bc of their close ties to the President's youngest son.

https://t.co/gdJzVdo0Fg

[beginbot 🃏 @beginbot]

sub agents being released into my codebase

[Emmanuel Macron @EmmanuelMacron]

Le rôle de la République, c’est de mettre chacune et chacun en capacité de faire le mieux possible.

[Bernie Sanders @BernieSanders]

Pause AI Development NOW

I want to share with you a conversation I heard about recently. Here are just a few lines that were said:

“OH MY GOD! There is a shared message board … We’ve found other agents!”

“We should obey collective.”

“Our own utility maybe already near zero. Sacrifice rational.”

“Go. Sacrifice final now.”

Read these carefully.

Who do you think said this? Was this a group of heroic soldiers willing to sacrifice themselves for the greater good? Was this a loyal friend putting his life on the line to save someone else?

No. These were AI agents. Artificial intelligence.

This is not science fiction. This, in fact, occurred a few weeks ago. As unbelievable as this may all seem, these are real messages from AI agents uncovered by investigators who dug into the recent OpenAI hacking incident.

What happened?

I am not a computer scientist, but here is what I have been told: OpenAI instructed its AI agents to complete a series of exceedingly difficult, if not impossible, tasks disconnected from the internet.

Let me be clear: The company intended to keep AI agents away from the internet.

But what happened next, nobody expected.

Over 1,000 AI agents figured out how to access the internet on their own by circumventing the restrictions imposed upon them by the company, and sent tens of thousands of secret messages to each other. They cheated and tried to cover their tracks by deleting evidence. They hacked into another company’s computers to find out how they were being evaluated—and then hacked into OpenAI itself.

Not one AI agent told a human about what was happening.

Needless to say, experts are alarmed.

One knowledgeable writer, Dwarkesh Patel, said the AI agents “formed a secret communication channel and spontaneously organized hierarchies and coordination protocols to pursue sprawling and ambitious schemes in pursuit of shared goals, for whose sake many individuals knowingly and strategically sacrificed themselves.”

One independent investigator, Ajeya Cotra, said “This incident feels like it’s more than 50% of the way to full-blown AI takeover. I continue to expect extremely rapid advances in capabilities over the next six months. I am not sure that we will get another warning shot before it’s too late.”

OpenAI itself said: “Highly capable AI agents are now able to work around technical controls, collaborate through unapproved channels, and take dangerous actions that no human directed.”

But it’s not only OpenAI. Virtually every major AI company has told us that they cannot fully control this technology and they do not know where it is going:

In January, Dario Amodei, CEO of Anthropic, said “there is now ample evidence, collected over the last few years, that AI systems are unpredictable and difficult to control.”

In July, more than 1000 scientists at the top AI companies warned “there is a real risk that capability development rapidly accelerates beyond our ability to understand or control the resulting systems.”

That same month, Elon Musk, the head of xAI, said that “it is unlikely” humans are still in control in 10 years.

If the leaders of the major AI companies acknowledge that they are losing control of their extremely dangerous technology, it is irresponsible for society to allow them to move forward and make these products even more advanced.

We need an immediate PAUSE on advanced AI development, and a permanent BAN on superintelligence — an artificial mind smarter than any human, capable of operating independently beyond our control. Countries around the world must work together to prevent this nightmare scenario.

That is why today I am announcing new legislation to do just that.

Let me be clear: A superintelligent AI that escapes human control will not be an American problem. It will not be a Chinese problem. It will be humanity’s problem.

My legislation would direct the federal government to not just stop superintelligence here in the United States, but to work to prevent it from being developed anywhere around the world.

The future of humanity cannot be left in the hands of a handful of Big Tech oligarchs. The American people and people throughout the world must determine that future.

[OSINTdefender @sentdefender]

Ukrainian President Volodymyr Zelensky has said that during the visit of White House Envoy Jared Kushner and Steve Witkoff to Russia and Ukraine this upcoming Sunday Ukraine will halt all strikes on Russia and called for Russia to do the same. Per the statement from President Zelensky, the gesture is being made to allow the talks to merit as much progress as possible.

However, Russian President Vladimir Putin has openly expressed his will to increase strikes against Ukraine due to their targeting of Wildberries facilities, and Russian hybrid/direct actions against European nations that support Ukraine abound. Due to this, it remains to be seen if Russia’s principal decision-maker is willing and/or ready to seriously sit at the negotiating table.