About Capacity Atlas
A registry of channel-capacity problems and their known bounds.
Reading an entry
Each entry specifies a channel and cites sources for its capacity or known bounds. Mathematical status and Lean proof coverage are recorded separately: an open problem can have formally proved bounds.
Acknowledgements
Capacity Atlas was inspired by Google DeepMind's Formal Conjectures project. See the acknowledgements for detailed attribution.
Licensing
Code is licensed under Apache-2.0; atlas data and prose under CC-BY-4.0. Third-party material retains its source license.