ORIAS
Mathematics, intelligence, computation and physics are where we look for new sources of capability. The habit is the same in all four: test the idea before you fall in love with it.
Plate VJohannes Kepler, Mysterium Cosmographicum, 1596.
We are not only asking how to compute more efficiently inside the operations we already have. We want to know whether different operations could make entirely different things possible.
Watching what a system does is not the same as knowing how it works. Some differences stay invisible until you change how you look.
A hard problem, a badly written-down problem and a truly impossible one can look the same from outside. Telling them apart is half the work.
Describing an outcome is easy. Having a dependable method that produces it, again and again, is the hard part.
Some useful capability may not fit any category we have yet. We leave room for it on purpose.
Starting points, not permanent departments. Some investigations will connect them; others will lead somewhere else entirely.
Mathematics Plate II
Problems hide symmetries, invariants and structure that their first description conceals. We study representations, realisation theory, dynamical systems, optimisation and information, and we care about the moment a mathematical discovery becomes a new practical operation, not just an elegant one.
Intelligence Plate VII
Perhaps the key skill is noticing which distinctions are worth making, or knowing when your own picture of a world has stopped working. Or perhaps those are familiar ideas in new clothes. We want to find out honestly, without assuming the future of intelligence must look like the present.
Computation Plate VIII
Algorithms, representations, memory and execution models decide what existing machines can do. Some gains come from removing work; others really do need new hardware or new physical access. We are interested in the boundary.
Ada Lovelace's table for computing Bernoulli numbers, 1842: the first published algorithm for a machine.
Physics Plate III
Measurement, dynamics, thermodynamics and quantum systems: where the hard limits really are, and where physical processes might compute in ways nobody has used yet.
A solution is out there, somewhere.
We know where to look, and how.
At a cost anyone could actually pay.
The answer becomes a working thing.
Reliably, on purpose, every time. Most of the interesting work lives in the gaps between these steps.
Exists and runs.
Exact checks passed inside ORIAS; not yet reviewed by specialists outside it.
Ideas and early designs. No results claimed.
Work that shaped the lab and that we have moved on from.
Open investigation. The answer is not known yet, by us or anyone.