sylvain cormier
@sylvaincormier---
Founder, Paraxiom Technologies. Post-quantum cryptography + formal verification for AI trust. 909 Lean 4 theorems, 14 Rust projects, 3 live blockchain validators. Solo-built from Montreal.
https://paraxiom.org$0total balance
$0charity balance
$0cash balance
$0 in pending offers
About Me
I build formally verified post-quantum infrastructure — SSH, TLS,
QKD transport, AI attestation, and a PQ L1 blockchain. My AI safety work
includes 30+ Lean 4 theorems proving that sycophancy and hostility are the same
mechanism (selective fact emphasis + uniform polarity), and that passive
attestation formally avoids the oversight paradox. Experimental results: o4-mini
schemes at 80% (n=25), hardening prompt reduces to 52%, Qwen3-32B hallucinates
36-50% but schemes 0%. Karmonic regularization reduces hallucination by 25pp on
Mistral-7B. 16 Zenodo publications. All code is Rust, all proofs are zero-sorry
Lean 4.