Prologers are hurt the most by LLMs

Hi,
Prologers with their pipe dream of Ontologies
with Axioms are most hurt by LLMs that work
more on the basis of Fuzzy Logic.
Even good old "hardmath" is not immune to
this coping mechanism:
"I've cast one of my rare votes-to-delete. It is
a self-answer to the OP's off-topic "question".
Rather than improve the original post, the effort
has been made to "promote" some so-called RETRO
Project by linking YouTube and arxiv.org URLs.
Not worth retaining IMHO.
-- hardmath
https://math.meta.stackexchange.com/a/38051/1482376
Bye