This is very informal and the blog post is systematic and probably on its way to a peer-reviewed paper.
> How can the author believe that his examples won't be solved in the near future?
OpenAI folks are not that rosy lol (https://futurism.com/the-byte/openai-ceo-people-will-be-disa...)
Established researchers think LLMs won't get to us human-level AI (Yann LeCun https://twitter.com/ylecun/status/1621810424910958592), but let us assume they know nothing.
Let us discount all that. Let us assume LLMs will do that. What sized model will solve logic at or near the precision formal logic gives us? A 10 times bigger model? A 100 times bigger model? A 1e9 times bigger model? Can formal logic + deep learning give us a shorter path?
> Regarding AI conferences. Researchers often continue to ride dead horses if they find them interesting. As far as I know, symbolic approaches have never lead to any major success in AI. All the big AI achievements in recent years are based on machine learning, on deep neural networks specifically.
SAT solvers (a small part of symbolic approaches) are used in a lot of places:
https://ai.stackexchange.com/questions/67/what-are-the-real-...
I remember in 2010 that deep learning was a dead horse. Deep learning was practically useless pre 2010 and a joke too (unlike formal logic which has almost all of its current uses outside of AI).
Sorry, this position is very short sighted, and I am young person and was a kid during the 90s but I have read the history of AI. This is like claiming in 1990s and early 2000s all the advances in the past decade were from non deep learning methods and saying we have to stop research in that. Imagine how bad that would have been.
Interestingly, I see experienced researchers (or complete novices and lay folks) taking your position and younger ones in AI being more balanced. I guess the experienced folks have a moat that needs protection and novices fall prey to popular press.
Imagine thinking Newtonian mechanics is all that is needed as it stood for centuries. Thankfully, physicists were not short sighted. Hopefully, AI researchers resist the pressure to be short sighted and fashionable.
Penrose wrote about this very same thing:
"Fashion, Faith, and Fantasy in the New Physics of the Universe"
https://press.princeton.edu/books/hardcover/9780691119793/fa...