Oddbean new post about | logout
 I was having ChatGPT do the math, it seems to think 16t if considering lost coins 
 Sounds about right.