R = C − A
The Law of Recognition
Set
No key set — example results available below
Your key stays in your browser. Never sent anywhere except api.anthropic.com. No server. No tracking. View source.
What's the hardest unsolved problem in your field?
or type your own
Formalize →
Three axioms. Five theorems. 161 independent validations.
No trust required.
Reading the paper...
A fresh instance is reading 344 lines of pure math
and applying it to your question cold.
Try another problem →