About KeyAI
An inactive independent research initiative.
KeyAI Research preserves historical work in cryptography and formal mathematics. Published proofs, source code, and research records remain available for review and reproducibility.
Research record
Who is behind the work.
- Research initiative
- KeyAI Research
- Current status
- Inactive
- Founder and project lead
- Bekzod Dzhanpolatov
- Official website
- https://keyai.org
- Public technical repository
- KeyAIGit research repository
- Official contact
- ceo@keyai.org
- Public project profile
- KeyAIGit on GitHub
Human maintainers are responsible for project decisions and published claims. AI systems assist with research and implementation; evidence comes from the disclosed proof or validation path.
Purpose of the published work
Research should be possible to inspect and continue.
We are interested in the gap between a plausible argument and a result another person can check. Our work combines formal proofs, bounded experiments, and records of the assumptions and unsuccessful approaches that shaped a decision.
Research OS is the reference verification workspace produced through that work. The initiative is inactive; external usability and demand were not established. No wallet or private-key recovery services are offered.
Contact and collaboration
A public place to start.
For a research question, a reproducibility issue, or an introduction, email ceo@keyai.org or contact the project on GitHub. Share a short, non-sensitive description and the relevant public source.
For sensitive findings, email a non-sensitive summary first so the maintainer can agree on a suitable reporting channel.
Discuss the published work ยท Review and pilot archive