Large Language Models are subject to the laws of physics in a bad way, because they use so much electricity and make so much heat. I was interested to learn about Landauer’s principle, which identifies the thermodynamic cost of information erasure, and Bennett’s work showing that computation can avoid erasure through logical reversibility. Together, they suggest physics might also help by greatly reducing the amount of power required by AI datacentres. That still leaves many, many AI problems including an economic bubble, but it would definitely help.

💡
Confusingly similar names ‘Logical reversibility’ sounds confusingly like my article on reversible computers and backwards execution, which is one of my favourite topics. Apart from a general spirit of going backwards, they are different things.

Logical and thermodynamic reversibility

This all starts with Landauer’s 1961 principle ↗ that the only unavoidable energy cost of computing lies in erasing information. This seems strange at first, but erasure takes a bit that could have been 0 or 1 and leaves it definitely 0, and that loss of a possible state has to be paid for in heat. Bennett’s 1973 extension ↗ showed that any computation can be restructured to perform no erasure at all, so that the inputs are recoverable from outputs at every step. Bennett called this logical reversibility, and it carries no Landauer penalty. From this we can see thermodynamic reversibility is what logical reversibility makes possible: when no information is erased, no entropy is generated, and the energy used to perform each computational step can be recovered and reused instead of being lost as heat. And if you run an AI datacentre that would be wonderful.

The dependency runs in one direction only: thermodynamic reversibility requires logical reversibility, because an erased bit commits an irrecoverable entropy debt before the hardware gets any say. But logical reversibility can run on any old hardware and generate a lot of heat in the process.

Landauer’s limit is far below what real chips use: a single gate switch costs several orders of magnitude more, and in a datacentre most of the power goes on memory, interconnect, power delivery and cooling. That makes tiny electronic gate switches on computer chips the first place to look for these energy savings, which is where the startups are focussing their work. But first it helps to understand reversibility in this context.

Logical reversibility

Janus is a reversible language ↗ developed in 1982 and formally specified in 2007 ↗. Janus makes it impossible to write a program that discards information, and provides a program inverter that runs any Janus program cleanly backwards without a history tape. The harder problem is extending this to concurrent programs, where interleaving makes reversal non-trivial.

A 2022 mathematical paper on Reversing an Imperative Concurrent Programming Language ↗ from the University of Leicester demonstrates this difficult problem is solvable. The paper Reversible Execution for Robustness in Embodied AI and Industrial Robots ↗ says:

We thus demonstrate how a traditional AI-based planning approach is enriched by an underlying reversible execution model that relies on the embodiment of the robot system

In 2025, a paper ↗ showed that transformer layer maps can be made invertible, allowing hidden states to be reconstructed during backpropagation rather than stored. This reduces activation memory, but reconstruction requires additional computation.

This differs from Bennett-style logical reversibility. The GPU operations still erase information, and floating-point reconstruction is inexact. It therefore falls short of the precondition for thermodynamically reversible computing. Its more modest significance is that information-preserving architectures may be practical at LLM scale.

Thermodynamic reversibility

Vaire Computing ↗ in London are building practical reversible hardware which preserves the energy gains that logical reversibility permits to be reclaimed, described in a 2025 industry perspective ↗. Their near-term gains come from adiabatic switching, ramping signals slowly enough that most of the charge stored in each gate is recovered, which saves much more today than anything close to Landauer’s limit. Vaire must therefore demonstrate lower energy use across the complete power-clock, chip and power-delivery system, rather than only charge recovery within test logic. Their stated aim is to have a product in 2027. I wish them well but I note adiabatic computing has been “close to arriving” since the early 1990s and has never yet reached production.

The Reversible Computation 2026 conference in Torino ↗ took place on 9–10 July 2026. Vaire sponsored the conference, and co-founder Hannah Earley gave an invited talk, suggesting the academic and engineering communities may be meeting in the middle. Because of my interest in reversible execution I have followed this conference for a long time.