←back to thread

323 points steerlabs | 1 comments | | HN request time: 0s | source
Show context
wintermutestwin ◴[] No.46192249[source]
Can someone please explain why these token guessing models aren't being combined with logic "filters?"

I remember when computers were lauded for being precise tools.

replies(2): >>46192796 #>>46198343 #
1. sswatson ◴[] No.46192796[source]
1. Because no one knows how to do it. 2. Consider (a) a tool that can apply precise methods when they exist, and (b) a tool that can do that and can also imperfectly solve problems that lack precise solutions. Which is more powerful?