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
Computers have “come up with” solutions to problems that eluded human-only problem-solving for decades. That’s literally what computers are supposed to be for. That proves nothing about the novelty of AI beyond a narrow range of incremental problem-based solving which, again, we’ve used computers for for decades.
Characterizing previous computer use in creating proofs as the same thing as current ai usage is pretty wild