Re: "optimal way to do reasoning". The idea here is that if you have an "iterated system 1" type reasoning system that takes ~$1k and O(hour) in compute to find a correct program to solve a simple task, vs. a discrete program search system that does the same in 0.1s on your

→ View original post on X — @fchollet