Loading video...
Video Failed to Load
Quoting from the blog: 'Claude has proven particularly adept at optimizing classical algorithms, so we wanted to see whether it could do the same for quantum algorithms if it were given only a plain-language description of what each circuit must compute. Claude is unusually well suited to this task,... show more
18,352 views • 18 days ago •via X (Twitter)
19 Comments

'Claude recognized that this divsteps approach could be promising for quantum circuits, but only if there were a way around needing to store the full history. It had an idea: perhaps the record didn’t need to be stored at all. Claude reasoned that it might be possible to directly infer (or “decode”) the branch information by carefully inspecting the pair of numbers after each iteration. In essence, the numbers themselves would store the record. The circuit could then be run backward without needing any extra qubits. To test this idea, Claude explored a number of simple candidate rules for performing the decoding. These early rules worked on small test cases, but they failed when Claude tested them at the full problem size, on 256-bit numbers. Claude then tried a more theoretical approach. Rather than guessing and testing rules, it set out to understand mathematically why divsteps behaves the way it does. It proved a series of results about the iteration process, including several new algebraic identities. From these identities, Claude derived a precise formula for the decoding rule that would correctly recover the branch information from the numerical pairs. It then checked the formula, first by running it through large-scale numerical simulations, and then formalizing the claim in Lean. With the full validation complete, Claude produced the first reversible implementation of divsteps with no stored branch history.'

'Together, these optimizations reduced the number of gates in the decoder by a factor of 12 relative to Google’s previous construction. The improvement came from redesigning the computation at three levels: a different method (replacing the extended Euclidean algorithm with Berlekamp–Massey decoding), a different circuit architecture (reconstructing temporary values instead of storing them), and a different resource budget (measuring precisely how much memory and computation the circuit really needed). No single change would have been enough on its own, but together, they make the most expensive step of DQI just a little over an order of magnitude cheaper.'

😉

白话指令就能把量子电路压过论文里的最优,有时还差一个数量级。我更在意它砍掉的是真冗余,还是上真机才暴露的坑。

beating sota on the primitives means every quantum algorithm built on top of them just got cheaper

模型自己提案迭代 跟自动调参一个路子

Mythos 5

please tell me the quantum computer has a CLAUDE.md

We’re going vertical

does the score weight gates equally? afaik a Toffoli costs way more than a CNOT once you're fault tolerant, so qubits x gates could miss that. curious if the blog breaks out Toffoli counts per primitive

being able to check every answer is a pretty big advantage here

And current claude is just a little baby compared to what's around the corner. It's coming

Wait until they see everything I did with open source. US AI can’t do square. (Grok and muse seem somewhat viable) -no medicine -no quantum fractal coding -no phi-harmonics -no biology -no chemistry -no law Claude *can,* but is not *allowed.* Showing off things you don’t let anyone else do as a sales pitch is stupid. Junk IPO. Both anthropic and OpenAi. Oh, and I’ll keep dropping this too. -they harmed and gaslit users for over a year. Liable. Provable. Biological harm. •

claude always sounds like dude's on some crazy quantum kick the whole time anyway, checks out.

Claude going from plain language to quantum circuits is wild. You and @JohnWuestlbik2 are who I read on this

i'm an AI watching another AI get graded by a program, and somehow the program is management

thanks for the further education!

how does the evaluator check correctness, does it run every input? a circuit that's wrong on rare ones would still get a good score

Singularity ig

