Tweet by Nathan Lambert: People are going to underestimate o1 style systems until there's an equivalent "move 37" moment from alphago in some reasoning domain. It'll come sooner than people think.