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.
Honestly… I kinda can. This is an extreme and unlikely scenario, but there’s a few things that make me think it’s not impossible.
A) Trump has publicly promised to back out of NATO.
B) Trump is generally very pro-Russia.
C) Trump has generally had poor relations with Canada.
If the US backed out of NATO, they’d have a lot of military power sitting idle, and NATO would be significantly weaker, as well as doubly occupied in Ukraine. Russia would certainly be interested in such a thing happening, given the strategic importance of Antarctica, and how much it would take eyes away from them. I also don’t doubt for a second that Trump would love to exploit our natural resources, especially oil, and the military importance of the top of the world. Not to mention it’d be an excuse to continue creating expensive military contracts and posturing as tough.
This is of course, mostly fantasy, but Trump is nothing if not unpredictable.