Mathematics, word problems, common sense, and artificial intelligence — mentioned by nyrikki

Sun, 03 Sep 2023 19:32:05 GMT

Feed forward Neural Networks, like LLMs using attention are effectively Directed acyclic graphs, so it has little it can do to 'evaluate from the outside' Even if you can move to second-order logic logically-valid formulas in second-order logic is not recursively enumerable. AS RE problems are those which a Turing machine can answer "YES" in a finite amount of time, but a "NO" answer might never come, moving out of RE spaces like DAGs is not computationally feasible. The problem with 'pattern finding' is that it can learn some even HoL problems if it is in the corpus, but will fail on even…

Paper and discussion history. A mention is not an endorsement.

Mathematics, word problems, common sense, and artificial intelligence · HackerPapers discussions

Mathematics, word problems, common sense, and artificial intelligence — mentioned by nyrikki