Claude re-derived a published one-loop quantum gravity calculation step by step: 18 tasks, 183 pages of derivations, 38 reproducible checks. It found a sign error and a missing term; the physical conclusion survived.
John Nash's handwritten field equation for gravity, checked in core Lean for every dimension and every metric, with a Lean Studio widget
Zero-parameter framework resolving ΛCDM tensions via 45-channel decoherence in de Sitter 5D
Closing the Tsirelson loophole in relativistic QFT: split inclusions and hyperfinite local algebras put all local Bell correlations in C_qa; de Sitter II_1 observer algebra; effective dimension of the vacuum via smooth max-entropy (Paper 9)
To associate your repository with the de-sitter topic, visit your repo's landing page and select "manage topics."