Claude is said to have devised reversible divsteps without storing branch history

A user quotes an account saying Claude found a way to recover divsteps branch information from number pairs, letting a quantum circuit run backward without storing the history. The account says early rules failed on 256-bit numbers; Claude then derived a formula, tested it in numerical simulations and formalized the claim in Lean. Another quoted passage claims combined changes reduced decoder gates by a factor of 12 compared with Google's previous construction.