> it’s worth noting what they’ve accomplished in getting to a place where they can afford to worry about that as one of their primary concerns
It's probably also worth noting the long history of military dictatorships, murderous suppression of worker rights, massive ongoing corruption (including a literal cult controlling the government until 2016) and the highest suicide rate in the world. Reducing the story to just economies is truly narrow minded.
You can say the same things, or even worse, about many countries in the same time frame — China, Indonesia, South Africa, Brazil, Chile. South Korea both achieved economy miracle, and transformed itself into a solid democracy, better than any of the others
It's okay. You can complain to your union (which is run by your company) or work for a competitor (which is also owned by the same conglomerate as your company).
At least your leader is no longer brainwashed by a shaman who channels her dead father while taking bribes from those conglomerates [1]. That father who was also your former military dictator who followed the great tradition of torturing and murdering socialists and worker leaders with the CIAs help.
I would imagine integrating North Koreans into the South would be far more difficult than the reunification of Germany. The technological and health gap alone is huge and even their language has started to drift apart.
I've read about the sad state of escaped North Koreans. They are provided a "life starting" package from the South Korean government, but sometimes to get out of North Korea they have to promise to give some of that money to the people smuggling them out. There are also a lot of scams that North Koreans don't know to be wary of, and there was even a report of someone going back to North Korea after being scammed and becoming a propagandist on their national television to tell everyone about how South Korea is full of scams and liars, and North Korea is way better.
Are there major micro/restaurant payment apps in China other than WeChat? I imagine it's difficult to compete with an app that's preinstalled on every phone, integrated with every bank and used by every restaurant and street vendor. And that's ignoring the social network effect of the 900+ million daily users.
The history of the island is pretty much a condemnation of the modern the world - massive environment devastation, money laundering hub and finally a concentration camp for refugees.
It feels like we are finally at a tipping point of mass surveillance. The explosion in the prevalence of high quality street/traffic cameras, door bell cameras (that Amazon gives the police access to) and the growth of self driving cars (surveillance machines on wheels) are the final nails in the coffin of privacy which has been slowly dying since the start of the century.
It's drug dealers now. It's not difficult to see states using this to target women who travel for abortions, people traveling to political events etc.
> It's drug dealers now. It's not difficult to see states using this to target women who travel for abortions, people traveling to political events etc.
Mark my words, it will be even worse: our "social score" will be affected by our behavior and travel patterns, following rules that nobody, even their creators, know or understand. "Something that you're doing on every day basis is linked to people who do harm to society, here's your -0.1 scp/day".
No mention in the article of false positives. I wonder how many people they stopped and searched to get a result. I also wonder if the areas the suspect was visiting also overlap with poor or minority neighborhoods and what that means for those targetted.
The people who could instruct such AI and evaluate its outputs would be domain experts. Without them how would you even start to approach those problems?
Have you looked at the papers and C.V.s of the people on the front page of x.ai? Many have already worked on machine guided proofs and I see people with pure math and physics backgrounds.
Formal verification research is conducted since 30+ years and LLMs aren't really good at math and logic, so based on what grounds can we expect a breakthrough in machine guided proofs anytime soon?
Various recent math olympiad results from deep mind and openai.
I think we'll see something analogous to the classification of the finite simple groups collaboration, but where some core researchers will do several proofs in the area to show it the kinds of things needed and it can help fill in others. Things where there is a large volume of similar work to be done.
It's probably also worth noting the long history of military dictatorships, murderous suppression of worker rights, massive ongoing corruption (including a literal cult controlling the government until 2016) and the highest suicide rate in the world. Reducing the story to just economies is truly narrow minded.