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
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
Characterizing previous computer use in creating proofs as the same thing as current ai usage is pretty wild