Viewing profile — chalr
chalr
HN member- Joined
- Sat, May 09, 2026, 3:09 PM UTC
- HN karma
- 0
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About chalr
No profile information was provided.
Recent public activity
-
comment
Comment #48075669
There have always been attempts at settling all mathematics by using mechanized approaches. Often by mathematicians who already had made an impact and then wanted an automated appr…