I’m talking about models specialized at theorem proving.
That's not what the article is about or anyone is talking about...
They're talking about something much worse and you're ignoring it and trying to get everyone to talk about something else.
I don't know why you're doing, but I'm already doubting you're going to stop. Either in this thread or any other place you want to shove an uninformed opinion about an unrelated topic.