formalized
.siFig. 001 / Continuity
One system of rules. Many possible outcomes.
One system of rules. Many possible outcomes.
Drag to turn ↔
Independent, non-commercial
research into applications
of super intelligence.
Research in the making
Scroll to explore
01 / The idea
There is a lot
left to find out.
How do we turn more intelligence into something people can actually use?
For us, that means building tools, testing their limits, and finding ways to check their answers. Formalized is a space for that work.
An open question
Can a machine’s answer
be independently checked?