Viewing profile — 3192987
3192987
HN member- Joined
- Fri, Sep 04, 2026, 7:39 PM UTC
- HN karma
- 12
- Public activity
- 2 items
- HN profile
- View on Hacker News ↗
About 3192987
No profile information was provided.
Recent public activity
-
comment
Comment #49569396
And human salaries for those who worked on the prover harness etc. which isn't just standard Fable. It also uses Prove2Me, which uses a graph like previous automated theorem prover…
-
comment
Comment #49569328
We have a significant case split here: A human mathematician writes a Lean proof: - Unlikely that the mathematician would cheat with Lean bugs or even know how to find one. Trust i…