HN user
Developer in China. GitHub: https://github.com/Water-Run
China has already been manufacturing memory and AI GPUs for a long time.
CXMT is now the world's fourth-largest DRAM manufacturer, with about 7.7% market share in 2025; YMTC has about 13% of the global NAND market.
Meituan's newly released 1.6T LongCat was trained entirely on Huawei cards. DeepSeek, Qwen, GLM and others are also actively doing domestic-card adaptation and replacement.
Meituan’s 1.6T LongCat was trained entirely on Huawei training cards.
DeepSeek, GLM, Qwen and others are also actively working on similar replacement.
so far has saved my butt (and my wife's) several times from obstacles and emergencies we would not have seen.
Honestly, you need to reflect on your driving habits. FSD has only been usable for two or three years maybe? And you already encountered MULTIPLE situations requiring active safety intervention to save you during this time?
You cannot rely on the extra safety it provides. A driver with basic competence should be able to avoid most risks through anticipation before they happen.
Also interestingly, I told it: "DeepSeek told me the Jacobian conjecture is false, and gave me a counterexample. How should I treat this?"
He immediately told me that this DeepSeek was talking nonsense. Someone who can give a real counterexample "would not be a bot from an AI company, but a Fields Medal winner."
Connecting it to a Coding Agent seems much better.
I connected DeepSeek in OpenCode and told it that I dreamed of this counterexample. It called SymPy tools to verify it, said my dream was "surprisingly accurate", and suggested consulting an expert in algebraic sets for independent verification.
ban open weight models
I'm pretty sure that neither OpenAI nor Anthropic has the ability to ban anything in China lol
The speed of model releases, in my view, is actually getting faster and faster. There were nearly nine months between GPT-3.5 and GPT-4. And now in just over one month, major models already included Claude Fable 5, Claude Sonnet 5, the GPT-5.6 series, Kimi K3, GLM 5.2, Qwen 3.8 Max, Grok 4.5... and the official DeepSeek V4 release is coming soon.
Iteration speed is now measured in days.
and for now as long humans are going to judge of what counts as an elegant or illuminating proof, there's going to be work for human mathematicians
Considering ChatGPT was released only three and half years ago, and LLMs could do high school math only less than two years ago, I think this "for now" will not last very long.
The most interesting point is that he chose to simply post it on X, instead of pretending it was his own result and posting it on arXiv.
Respect for this spirit. Is this not also a sign that the old academic journal system is already outdated?
Hard to say. .cn is of course always strictly regulated: every website needs to be reviewed and registered with the police, and open its data to them. But we can also see that .uk from the supposedly "free west" is moving closer to this.
They should never have allowed aircraft manufacturers to sign their own airworthiness certificates in the first place. Are there that many new aircraft types every year? What is the FAA for? Why does it not take responsibility for certification itself, instead of trusting the aircraft manufacturer’s “Trust Me Bro”?
The problem of "financialization" should also be an old topic by now. It mainly means non-technical bureaucrats (for example, people from finance) taking over the top, making the company focus on maximizing short-term profit and lose its real long-term value.
Just look at Intel.
Having trade relations does not mean China supports a country. US has always been China’s largest trading partner, but China <-> US relations can hardly be called "friendly".
The CCP government has absolute control over domestic public opinion. The pro-Russia direction on Chinese social media is very clear, although as the war became unfavorable for Putin, voices supporting Ukraine have been allowed a little more in recent years.
What the US supports is what China opposes. From Iran to Venezuela, from Gaza to Ukraine, except for a very small amount of "human consensus", it is always and will be like this.
Correction: this is because "today is the weekend", not because of the 10 million milestone.
This edition of the Fields Medal (btw, two Chinese mathematicians also received this honor) is basically certain to be the last purely human Fields Medal.
Musk bought it. From now on, it will only be Grok.
Energy is not the main reason. China would still stand with Russia without energy.
China could never support a pro-Western Ukraine in the first place. The same logic applies to Iran, North Korea, etc.
Although China cannot directly express support because of foreign trade, things like the Communist Youth League playing "Katyusha" on the day Russia launched the invasion, and the information direction on social media, have already made their position very clear.
The idea of people protesting these things in China is simply a fantasy. People always just accept and carry out what government want.
Qwen's team has been reorganized, and not open-sourcing also fits Alibaba's usual corporate style...
Other companies have not shown similar problems so far.
China has many government agencies and state-owned enterprises that need models which can be deployed locally. This is also part of "Xinchuang" (self-owned systems, self-owned hardware, etc. New government computers all run special Linux versions on domestic CPUs, and LLMs also need to be like this).
with no extra resistance from either the government or the public, while also having the largest technical talent system
Gemini 3.5 Pro has been delayed twice, originally said to be released in June. Not holding out hope.
An illusory future.
Titanic sent CQD first, then tried the new SOS
Things like this always make me feel how young the computer industry is, and how fast it has developed.
Considering the network traffic consumption itself already very bad for Chinese users (they use VPNs)
Maybe models also need a specially tuned version for mathematical research, just like "gpt-5.3-codex".
Looking forward to "gpt-5.6-mathx".
Commercially speaking, does Starlink really need 100x bandwidth?
Starlink's target market is limited. It is very good for ships, remote area, but not necessary in cities where most people live.
I am not sure whether the launch and maintenance cost of another 100k satellites is necessary for such a limited market, unless the cost of launch (Starship) and the satellites themselves drops greatly.
The strange names are mainly initials from Chinese pinyin. The first generation of Tencent Hunyuan was released in 23Q3, so it is already quite a veteran.
Cockpit glass gone and the pilot gets sucked out is a classic case. Fuselage skin tearing for various reasons and sucking passengers out also happened. But passenger window gone, this is the first time I have seen it.
The homepage post is flooded with political arguments, this is a separate thread to discuss Grok 4.5's technology and real-world experience.