Recovering the rule behind a Lenia body
One observed frame of Orbium was enough for a search to recover its rule close to the native values, and the recovered rule keeps the body coherent well past the frame it was fitted to.
Do different kinds of systems share principles of organization?
How a body takes shape, how a collective finds a solution, how a pattern survives disruption: we build experiments in living systems and computational worlds to uncover those principles.
Explore the investigations ↘“We realised that my equations describing molecular evolution were similar – and some almost identical – to those left over on the blackboard by Hermann Haken. Could it be that things as different as laser modes and DNA resemble one another so closely in their dynamic behaviour?”
— Manfred Eigen, recalling a 1969 meeting in Versailles
Cells that wait their turn form islands in self-sorting arrays
Cells of one sorting rule gather into islands because they wait for nearby cells to sort; islands outlast the sort when one kind keeps overtaking its equals.
Proof search with a missing tactic
We block one tactic from a successful Lean proof search and rerun it under the same budget to see whether the prover still reaches the theorem by another route.