I think it is a problem. Maybe not for people like us, that understand the concept and its limitations, but “formal reasoning” is exactly how this technology is being pitched to the masses. “Take a picture of your homework and OpenAI will solve it”, “have it reply to your emails”, “have it write code for you”. All reasoning-heavy tasks.
On top of that, Google/Bing have it answering user questions directly, it’s commonly pitched as a “tutor”, or an “assistant”, the OpenAI API is being shoved everywhere under the sun for anything you can imagine for all kinds of tasks, and nobody is attempting to clarify it’s weaknesses in their marketing.
As it becomes more and more common, more and more users who don’t understand it’s fundamentally incapable of reliably doing these things will crop up.
Exactly, play by the original rules, and play aggressive as all hell. You don’t need almost any property, it’s just fine to mortgage everything but your main set, the goal is to get one very developed set ASAP.
Not only is this a pretty effective way to win (a conservative player who lands once on a very developed property is basically out of the game), it also makes the game progress much faster, especially if other players are willing to concede before the bitter end. 2 or 3 players like this, and you’ve actually got a recipe for a decent time.