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

PandailyAsia

Tsinghua's Algebraic World Model Proves ARC-AGI-3 Levels Unwinnable With Lean 4

11.03

Researchers from Tsinghua University and Zhejiang University have introduced the Algebraic World Model (AWM), an agent that not only plays the interactive puzzles of ARC-AGI-3 but can formally prove…

Read at Pandaily ↗

One letter a week, starting soon.

Latest

Tsinghua's Algebraic World Model Proves ARC-AGI-3 Levels Unwinnable With Lean 4

More from Pandaily on Accept All

AsiaTencent Hunyuan's Hyra 2.0 Research Agent Builds Its Own Tools for Proteins, Proofs and Chips Pandaily

AsiaMoore Threads' 2,112-GPU Wuxi Cluster Reaches 92.9% Utilization After Going Commercial Pandaily

AsiaTencent Cloud Launches WAND-Vega as Its WAND Platform Generates 4.5 Million Images a Day Pandaily

AsiaCASIA Adds Fingertip Touch to Robot Insertion, Lifting 0.05 mm Clearance Success From 52% to 67% Pandaily

AsiaQwen AI Glasses Add Call Translation and Media Translation in New OTA Update Pandaily

AsiaCCID Says China's AI Inference Data Has Overtaken Training Data, With 175 Trillion Daily Token Calls Pandaily