We help businesses adopt technology with confidence. Experience the cost savings and compound growth that come from complexity made coherent.
TN, USA
Joined November 2025
- Tweets56
- Following4
- Followers78
- Likes27
The Axiom global knowledge graph is the first visualization of our formal metaontology environment built on Lean 4:
- Green nodes are propositions proven to be definitionally True (e.g., P: "2 + 2 = 4").
- Gray nodes are contested propositions that users can choose to adopt or reject (e.g., Q: "∀ p : Person, p is-rich → p is-immoral").
- Purple nodes are proven theorems connecting propositions together (e.g., "(∀ p : Person, p is-immoral) → Q").
- The red node is False. Anything proven contradictory is connected to it.
Axiom provides an environment for constructing ideas where we can KNOW if something is True or False. Every connection is verified in Lean 4.
Are you willing to make your ideas precise enough to be proven wrong? If so, we have a free AI toolkit for turning everyday ideas into formal logic!
Happy 4th of July! Today we are announcing Axiom Early Access! Axiom is the first ever social platform where all ideas are logically valid. Link below.
For example, Bob might have the epistemology that whatever he finds compelling is true, and decide case-by-case with no defined principles at all. He is totally free to do this, so long as he is consistent. If False can be proven from his axioms, he is required to update them.
We formally verfied this argument to be valid ✅
On our platform Axiom, once something has been proven, it is no longer up for debate. All users are required to accept the conclusion if they hold the premise to be true.
Disputing the possibility of AI consciousness requires one of two beliefs, both of which I find implausible:
1. Consciousness is linked to certain capabilities that AI will also never possess. If someone believes this, I’d be happy to make a bet with them.
2. Consciousness can be totally divorced from capabilities, meaning it’s extraneous. Useless. It’s not the source of any of our insight or creativity or even the cause of us talking about consciousness! This is the position where philosophical zombies are possible. Then the question becomes “why do humans have consciousness?” If it’s irrelevant for capabilities, it seems odd that evolution would have produced it. And it certainly feels like our subjective states are part of the causal chain! And “feels like” is all we really have to go on when it comes to consciousness.
Personally, I think evolution produced consciousness because it had to, because it is linked to or synonymous with certain capabilities, and so sufficiently powerful AI systems will also have it.
*note: the term “consciousness” is notoriously vague. I tried to structure this argument in a way that’s agnostic to someone’s precise definition and can be substituted with “whatever special thing you think humans have”
