Viewing profile — derpism999
derpism999
HN member- Joined
- Wed, Jun 03, 2026, 5:25 PM UTC
- HN karma
- 3
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About derpism999
No profile information was provided.
Recent public activity
-
comment
Comment #48387093
That doesn’t mean it isn’t a problem for human proofs as well. Mathematicians use affiliations and c.v.’s as their primary means of gatekeeping for review, not the effort that went…