Good point, I don't think Xiaomi was on anybody's radar here.
A bunch of Chinese companies are doing chip fabrication right now. It's a big lucrative market that's opening up now that western companies can't sell advanced chips to China.
Wizard 1.2
The complexity here lies in having to craft a comprehensive enough spec. Correctness is one aspect, but another is performance. If the AI craps out code that passes your tests, but does it in really inefficient way then it's still a problem.
Also worth noting that you don't actually need AI to do such things. For example, Barliman is a tool that can do program synthesis. Given a set of tests to pass, it attempts to complete the program for you. Synthesis is performed using logic programming. Not only is it capable of generating code, but it can also reuse code it's already come up with as basis for solving bigger problems.
https://github.com/webyrd/Barliman
here's a talk about how it works https://www.youtube.com/watch?v=er_lLvkklsk
nobody could've possibly seen this coming
then you have a very poor understanding of the subject you're opining on
indeed they are
Meanwhile, funny how you forgot all of NATO pouring everything they have into Ukraine.
Ah yes, Russian Baltic fleet was famously destroyed in the imaginary universe that you inhabit.
So people like you can have the illusion of freedom. Speech that cannot be translated into tangible action is not freedom. The people in the west have the freedom to scream into the void, but not the freedom to change their conditions. Anybody who can't tell the difference between the two is so very lost.
also doesn't require burning down a rain forest each time you run a query