3 ms·
This is ultimately just very powerful semantic search though, is it not? It seems that what we need to make a big leap forward is better reasoning. There is a
by skepticATX 3y ago
This is ultimately just very powerful semantic search though, is it not?
It seems that what we need to make a big leap forward is better reasoning. There is a lot of debate between the GPT-4 can/can't reason camps, but I haven't seen anyone try to argue that it reasons particularly well.
- famouswaffles 3y agoYou can easily argue 4 reasons particularly well, especially with average human performance as the baseline. People who argue against GPT-4 reasoning at all are arguing against clear results. It extremely easy to show examples and benchmarks of 4 reasoning and understanding. The argument then turns into "well that's not "true" reasoning", whatever that means.
- imtringued 3y agoIt shouldn't even be that difficult to build it. Modus ponens and good theorems are all you need. Building the data set for that should be quite trivial.