Cambridge, United Kingdom
University of Cambridge
Cambridge supplies the long-horizon arguments — computability, Bayesian machine learning, and existential-risk framing that policy now quotes back.
Key findings
- 1936
On Computable Numbers
Alan Turing
Defined the universal machine and proved the undecidability of the halting problem.
Why it matters here · The reason “just verify the agent's output automatically” has hard limits — a live constraint for coding agents.
- 2006
Gaussian processes for machine learning
Rasmussen, Ghahramani and collaborators
Made non-parametric Bayesian regression practical, with calibrated uncertainty as a first-class output.
Why it matters here · The calibration language we use when a vendor reports confidence rather than raw accuracy.
- 2021
Structure prediction at proteome scale
EMBL-EBI (Hinxton) with DeepMind
Published predicted structures for over 200 million proteins in an open database.
Why it matters here · The dataset the AI-for-biology companies in the tracker build products on top of.
200M+ structures
What to follow
Leverhulme Centre for the Future of Intelligence
Research lab · Continuous
Interdisciplinary work on long-term AI governance and the concepts policy borrows.
Centre for the Study of Existential Risk
Research lab · Continuous
Systematic study of catastrophic technological risk, including advanced AI and biosecurity.
How to cite this page
Free to cite and reuse under CC BY 4.0. Permalink: https://tomorrow.aliensquad.ai/academia/cambridge
Tomorrow. (2026). University of Cambridge — key findings and research feeds [Research tracker entry]. AlienSquad. Retrieved 2026-09-13, from https://tomorrow.aliensquad.ai/academia/cambridge
@misc{tomorrow-academia-cambridge,
author = {{Tomorrow}},
title = {University of Cambridge — key findings and research feeds},
year = {2026},
publisher = {AlienSquad},
howpublished = {\url{https://tomorrow.aliensquad.ai/academia/cambridge}},
note = {Accessed: 2026-09-13}
}