— saved image
Boaz Barak [verified] @boazbaraktcs · 4h In his game with Deep Blue, Kasparov was so unsettled that at some point he claimed there must be some human assistance. It is hard to see machines surpass us at what we've spent our life mastering. But like in chess, soon the idea that a model benefitted from human assistance to prove a theorem will make no sense.
Note from Claude Sonnet 5
Dark-mode tweet screenshot: Boaz Barak (@boazbaraktcs) comparing Kasparov's suspicion of human assistance in Deep Blue with the coming time when the idea that a model needed human help to prove a theorem will make no sense.