On: Learning to Reason with LLMs

[RandomLensman]

Even on narrow tasks: could you imagine such a system proving (or disproving) the Riemann hypothesis?

Feels more like for narrow tasks with a kind of well defined approach, perhaps?

[HarHarVeryFunny → RandomLensman]

I agree, but it remains to be seen how that "feels" for everyday tasks where the underlying model itself would have failed. I guess at least now it'll be able to play tic tac toe and give minimal "farmer crossing river with his chicken" solutions!