TechTakes

The OpenAI hacking incident has put everyone on edge. Anthropic, not to be outdone, decides to publicly announce that they have committed not one, not two, but three crimes! Come on! I was told this wasn't a marketing campaign!

CNN: AI investor Leopold Aschenbrenner forced to unwind all public stock positions after steep losses, sources say

I vaguely recognize the name, apparently he's a snot-nosed 25-yr old who got fired from OpenAI

Google shut down the AlphaFold team, trying to reassign the people behind the super interesting problem of using ML to predict protein structure from sequence onto chatbot development. A whole bunch left the company.

https://www.engadget.com/2225849/google-shuts-down-alphafold/

The Business Idiots are truly running the asylum.

Enjoy today's craziest link: https://atomarine.co/

There is something about this picture, a warehouse full of books to be destroyed by Anthropic for training data, that just makes me sick. Knowing that they are destroying books in the abstract is bad enough, but seeing the sheer scale of it makes me viscerally angry.

Karen Hao called her book Empire of AI for a very good reason. The empire has all these noble narratives of bringing civilization and progress to the colonies, but in reality the empire only sees resources to be extracted, repackaged, and sold back to their subjects at a fee. Kudos to those who saw this immediately and fought against it. Shame on those who believed in the narrative of progress, to the point where many of them are collaborators with the empire.

Whenever a smarmy fellow on Linkedin posts about how AI is making so much progress in coding or math, I want them to see this picture. I want them to see the videos of families in tears after a data center takes away their home with eminent domain, and other families who have to deal with the resulting pollution. Go beyond the bloodless math of tokens and instead see for yourself what this all truly costs. I hope it was worth it.

a stock-slobber posts a cri de cœur about the coming automation of maths and HN says it's no biggie, think how productive the field will become

https://kirwinhampshire.substack.com/p/the-dark-night-of-mathematics

https://news.ycombinator.com/item?id=49048681

btw the language in the post is bad enough to be entirely human-generated

For me, the affective quality of learning mathematics is empathetically tethered to an act of discovery and creation.

Before you a channel through which humans have accessed the ineffable and sacred for thousands of years is being sealed for eternity.

As an interesting follow-up to the ai-does-maths-using lean4 stubstack comments on Sunday, an llm accidentally uncovers a bug in the lean4 kernel.

Summary by Meven Lennon-Bertrand:

https://lipn.info/@mevenlennonbertrand/116997917683191056

To summarize:

• an AI agent let loose provides a sorry-free proof of the Collatz conjecture
• the proof is detected as actually being a kernel bug
• the bug is related to (nested) inductive types, for which there is no clear theoretical specification: the kernel's code is the reference
• external checkers (lean4lean and nanoda from a week ago) reproduce the bug, because they essentially copied the reference kernel implementation

Eta: “sorry-free” in this case means a complete proof with no trust-me-bro steps or TODOs… the sorry tactic in lean “proves” a theorem to be correct even if it is garbage or incomplete. More programming languages should make developers apologise for half-arsing their work.

And so

• AI raises the bar for kernel correctness by a lot
• without a clear type-theoretic understanding of what is actually implemented, we're toast
• external checkers help to catch implementation bugs, but without a clear specification they can't catch logic bugs

How bad this is, is unclear just yet… probably not the sky actually falling, but not great. Interesting though.

The only thing more grotesque than Palantir are its supporterts

It sure is a zany coincidence that all the major American AI companies have come out either for or against open weight AI models with grand ethical and/or patriotic concerns all at the same time isn't it?

Most recently our pal Zuck! https://www.wsj.com/opinion/the-ai-future-is-for-everyone-a0c24e20

I'm just imagining a WSJ reader reading this and thinking "what the heck is this man talking about". At some point you need a little structure or text to balance out the subtext.

Edit: did I miss any?

OpenAI (discussed here the other week): https://nitter.net/deanwball/status/2078133895766114412 / https://xcancel.com/deanwball/status/2078619513575137330

Microsoft: https://www.microsoft.com/en-us/corporate-responsibility/topics/open-weight/

Anthropic: https://www.anthropic.com/news/position-open-weights-models

Nvidia: https://images.nvidia.com/pdf/Open-Weights-and-American-AI-Leadership.pdf

Google: https://xcancel.com/sundarpichai/status/2081026488158040181

~~Amazon~~ The Washington Post who I'm sure wrote this for reasons completely unrelated to Mr. Bezos: https://www.washingtonpost.com/opinions/2026/07/02/right-answer-chinas-open-weight-ai-models-is-build-our-own/

That one guy I hate: https://xcancel.com/elonmusk/status/2080672505660834163

Clamuel did another podcast. I don't want to waste my time watching it, but I want to sneer at some choice quotes from news articles breathlessly reporting this stuff as gospel 1, 2

"We are now, like, in the singularity"

Is the singularity in the room with us right now? Even the people on X the Everything (Including CSAM) App aren't so convinced.

Altman said on the podcast that just a decade ago, the so-called singularity still felt like a distant and improbable dream — something he and his colleagues would discuss casually over lunch.

"Now we're actually in the moment that we used to talk about at the lunch table in a very not-serious way," he said. "I've been waiting for this my whole life, and I think it's going to be incredible, hugely positive, awesome for the world."

Do you feel it? Do you feel incredible? Do you feel hugely positive? Do you feel awesome, now that the singularity is here? Oh wait, he's speaking in the future tense again, never mind. Force of habit.

It's also funny how he talks about how positive things are gonna be immediately after the super scary hack done on Hugging Face (really due to incompetence on both sides). Oh no, the AI is gonna kill us all! It's going to be incredible, hugely positive, awesome for the world.

Later in the podcast, Altman criticizes AI leaders who have repeatedly warned that AI is dangerous. He didn't name Anthropic, his primary competition, but its CEO, Dario Amodei, is well-known for making dire predictions about the future in his calls for greater attention to safety.

"I also think some of the alternative visions painted by other companies are quite terrifying," Altman said. "I'm going to make sure that gets pushed against and is not what happens."

At least Clammy realizes that all the doom trolling about how AI will replace and destroy all humans turns out, surprisingly, to lead to overwhelming negative public opinion. But this statement truly reassures me that Scammy has good intentions about AI safety. He will make sure this is pushed against and is not what happens. He wouldn't want another super scary, dangerous hack that just so conveniently turns out to be excellent marketing.

OpenAI CEO Sam Altman says one of his biggest concerns about AI isn't whether it becomes too powerful in and of itself, but that a single company could control that power.

Yeah, it would be really bad for Anthropic to control all the power of AI. It would be a disaster to hand everything over to Anthropic.

"Every time that humanity has traded off its liberty for safety, it's been a long-term net loss," Altman said. "We are going to put this in the hands of people. We're going to empower them. We are going to let society express its ideas and use this technology in the way they want."

Society is expressing its ideas about AI, all right. But I feel like they aren't what he has in mind.

Altman, meanwhile, said preventing such power from becoming overly concentrated has long been central to his vision for AI, even as his company continues to keep its own models closed.

"For so long now, I have felt focused on this singular goal of abundant intelligence and a belief that incredible human prosperity will come from that, as long as we don't have a weird power concentration and kind of a new authoritarianism," he said.

Well, we seem to have a weird power concentration and "kind of" a new authoritarianism, but I don't see any abundant intelligence or incredible human prosperity.

Lots more sneers on the Better Offline subreddit.

A LWer runs the numbers and doesn't run away screaming like Zitron:

https://www.lesswrong.com/posts/EeTQGxa8RSpwHo4Ez/the-biggest-bet-in-history

Note that this implies massive efficiency gains to the economy. For their one-third slice to equal 8% of those salaries [59% of the total workforce in the USA], the total savings (productivity across that share of the workforce) will need to rise by roughly 24%. So they are absolutely serious about this, and are betting heavily that the productivity boost arrives within four years.

Coindesk: Major bitcoin wallet flaw drains $38 million worth of BTC in 25-minute sweep

A wallet's seed, the secret phrase controlling the funds, is meant to be drawn at random from a pool so vast that guessing is hopeless.

Coldcard's firmware was not doing that. According to a report published by Block's Bitcoin engineering and security teams, a build setting told the device to skip its own hardware randomness generator, and a check in a supporting library tested only whether that setting existed rather than whether it was switched on.

Key generation quietly fell through to a basic software substitute seeded from the chip's serial number and clock registers.

The AI Race With China Is a Lie Told by Big Tech to Justify the Data Center Invasion via naked capitalism

choice quotes:

More to the point, LLM development in China is incidental to the country’s real goal for AI. Its focus remains on products embedded with AI and robots. Or, as AI policy researcher Liang Zheng says, in China, “The first priority is to use it to benefit ordinary people” (debatable, but indicates the kind of AI they are pursuing).

In the US, the first priority is to exploit people so that the tech oligarchs can profit. It’s chatbots all the way down.

Yet, the “AI race” story is a convenient lie for Big Tech and its political protectors. It is a neat political argument designed to insulate the industry from criticism and regulation.

If every environmental review, every question raised by a community, every issue around water usage and electricity prices can be dismissed or lessened as “helping China,” then meaningful political debate can be silenced. Real regulation—if even possible—can be avoided. Fear becomes a substitute for policy.

At the same time, data center developers and their minions in Washington have tried to weaponize false claims about foreign ties to the anti-data center movement. Kevin O’Leary of Shark Tank fame has explicitly said that our movement is being funded by China. He has no evidence because evidence of a falsehood can’t exist. In fact, Fox News has been forced to retract its coverage of his claims.

We understand why O’Leary and the other Tech Broligarchs don’t understand the grassroots opposition to data centers building across the country. It’s hard to spot the grassroots from the window of a private jet.

Missed this paper last week from Google

Funny how now that it's widely known that the general public hate AI, companies producing AI are softening their "it's going to take your job" stance. Surely just a coincidence

So it's been 7-8 months since the software industry decided that AI agents are good now and that you can do a year's work in 1 hour

So... Where are all the amazing and wonderful AI generated software products? Where are all the companies using agents to leave the rest of us behind?

All I see are one-shotted maintainers, big marketing stories with little substance and a pile of detritus made up of abandoned vibe coded projects.

It's almost like AI agents make you feel more productive but actually slow you down (paywalled sorry)

More insane cult stuff has emerged - this time its MAPLE. https://www.insidemaple.com/p/the-high-control-dynamics-at-maple

Max Kennerly sneers the New York Times:

This opinion piece, written by someone with no relevant expertise, cites two sources, both of them blogs by people who also have no relevant expertise, one of whom is employed by a sham think tank funded by the "Effective Altruism" propaganda network.

Truly embarrassing decision to publish it.