@resuna @Disputatore @ErikJonker @david_chisnall I see a problem in writing an algorithm for something we don't even understand (AGI). I do agree that LLMs aren't going to do the job, since all they do is replicate grammatical logic, which allows them to fake intelligence rather convincingly without being intelligent. Even human hosted LLMs aren't very smart, that's why we came up with things like formal logic.