Viewing profile — warrensmith9000
warrensmith9000
HN member- Joined
- Thu, May 14, 2026, 10:58 AM UTC
- HN karma
- 1
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About warrensmith9000
Building OMEGA Protocol — formally verified AI governance in Lean 4. 22-conjunct sufficiency theorem, zero sorry statements. Adversarial improvement loop finds and closes proof gaps automatically. Also: clinical AI (Reflexive Care), smart contract security research. omegaprotocol.org
Recent public activity
-
comment
Comment #48133752
[flagged]