Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Quiet-STaR: Language Models Can Teach Themselves to Think Before Speaking. Parent comment
the average theorem in euclids' elements (written 2000 years back) would have a reasoning chain of at least 10 steps.
all of the mathematical machinery humans build need 100% accuracy in each step
There are no comments on this comment yet.
the average theorem in euclids' elements (written 2000 years back) would have a reasoning chain of at least 10 steps.
all of the mathematical machinery humans build need 100% accuracy in each step