Our science foundation invites the submission of unresolved questions that advance understanding in the formal sciences.
We welcome thoughtful contributions, whether theoretical problems, impossibility theorems, conceptual paradoxes, or other rigorously defined challenges.
We also encourage submissions rooted in Web3 contexts, provided they lend themselves to formal methods.
Select challenges may be considered for support through our research collaboration programs.