Viewing profile — throwalean
throwalean
HN member- Joined
- Fri, Oct 27, 2023, 9:40 AM UTC
- HN karma
- 16
- Public activity
- 2 items
- HN profile
- View on Hacker News ↗
About throwalean
No profile information was provided.
Recent public activity
-
comment
Comment #38036477
"Terry Tao finds ChatGPT very helpful to formally verify his new theorems" seems to be a true statement. See some of his other recent mathstodon toots.
-
comment
Comment #38036464
Note that the Z3 SMT solver was written by Leonardo de Moura, who also is the lead dev of Lean 4. Not a coincidence (-; Lean 4 seems to be used in production at AWS: https://github…