in terms of how to operationalize / decompose p(doom), I'd like to base it on the ai views widget by tetraspace and rob bensinger https://ai-views-snapshots.tetratopia.foundation/
Quinn Dougherty
@quinn
Formal methods needs to know that AI security is its most important customer
quinnd.net$0total balance
$0charity balance
$0cash balance
$0 in pending offers
About Me
I do formal verification agents and synthetic data (mostly Lean 4). AI Security needs to know how to ask formal methods to help harden its infrastructure, and conversely formal methods needs to focus on helping with AI Security and Safety.
Projects
Outgoing donations
Comments
Quinn Dougherty
almost 2 years ago
why the longtermist branding? seems unnecessary and risks dragging critical people into distracting philosophical tangents
Transactions
| For | Date | Type | Amount |
|---|---|---|---|
| Guaranteed Safe AI Seminars 2026 | 10 days ago | project donation | 300 |
| Alignment Is Hard | over 2 years ago | project donation | 1200 |
| Manifund Bank | over 2 years ago | deposit | +1500 |