Skip to content
Home
Objective
Programme
Method
Research
Roadmap
Connectome
Embodied organism
Mathematics
Work
Deposited documents
ArithSpec
Per-tick certification
Two margins
Rate-level robustness
Connectome quantisation
Results
Atlas
Packomania
ESA SpOC 4
ESA Luna Tomato
IBM Ponder This
Friedman
FlyWire Codex
ex(50; C4): a graph with 50 vertices and
Discrete Kakeya: the area of the union o
Unit distances between rational points:
Integer complexity of 2⁶¹ − 1: an expres
Contact
FR
EN
Work
The simulated organism: a quadruped that can be replayed, resumed and audited
