I was surprised to see that this lovely write-up wasn't posted here already. Also see the author's Mastodon post about it: https://wandering.shop/@aesthr/117470082684445346

you are viewing a single comment's thread
view the rest of the comments
[–] 1 point 2 weeks ago

Characterizing previous computer use in creating proofs as the same thing as current ai usage is pretty wild

  • source
  • parent