Tweet by Dean W. Ball:

Finally got a chance to read this piece, which argues that o1-style reasoners will not generalize beyond domains with easy verification. It may well be true, but I have some causes for doubting Aidan’s thesis.

One I want to highlight in particular: https://t.co/z5r3b09Jbx