The name is the button.

An agent writes the code now, and a human thumb hovers over Accept all a hundred times a day. The honest question of this decade is what, exactly, you just accepted. So I read the diff.

Eight years as a backend engineer in Stockholm, back in Tokyo since 2023, and I still ship something small most nights, usually badly. My one rule: the only real review of a model is the thing you built with it. That is why there is no leaderboard on this site.

Around a hundred and forty sources come through — the labs' own posts, the papers, the tools, the runtimes and languages nobody is watching yet, the chip under the demo, and the newsletters people actually forward. What is moving gets counted so the week reads at a glance, and every few days I explain one mechanism in plain words.

A story here is a headline, a short excerpt, one image and the link to whoever wrote it. We never reproduce the post; the images belong to their authors. A post written in Japanese appears in Japanese, exactly as it was published, and the link goes to the original.

— Yuki Halvorsen, Tokyo

← Accept All Archive

TechCrunch AIValley

Axiom Math wants to keep AI slop out of mathematics

11.05

As AI floods math with unchecked proofs, Axiom Math is betting on verification. The startup’s AI agents just formally verified the Stacks Project, one of the field’s biggest libraries.

Read at TechCrunch AI ↗

One letter a week, starting soon.

Latest

Axiom Math wants to keep AI slop out of mathematics

More from TechCrunch AI on Accept All

ValleyDropbox acquires Tigris Data for $350M to bolster its AI infrastructure TechCrunch AI

ValleyAina’s smart ring has a screen, a joystick, and a mic so you can talk to AI agents TechCrunch AI

ValleyBox taps Nvidia’s Nemotron for new agent-first content retrieval system TechCrunch AI

ValleyA YC startup is putting $1M behind five unsolved materials science problems for AI TechCrunch AI

ValleyAgility is the first pure humanoid robot company on the stock market. Are you buying? TechCrunch AI

ValleyApple is reportedly cutting budgets for its internal AI usage TechCrunch AI