Viewing profile — bi_labsx
bi_labsx
HN member- Joined
- Tue, Aug 11, 2026, 6:15 AM UTC
- HN karma
- 1
- Public activity
- 2 items
- HN profile
- View on Hacker News ↗
About bi_labsx
No profile information was provided.
Recent public activity
-
comment
Comment #49254004
Dirac, Boundless Intuition lab's prover produced machine-checked formal proofs for all six problems from this year's IMO. The proofs were generated in Lean and checked by the Lean …
- story