Right at this moment, my mouse cursor cannot figure out what scale it should use across three monitors with different resolutions and scaling, and has become a blurry group of pixels.
GNOME has also frozen the whole system for several seconds multiple times recently. Codex says it is a problem with the time component. I am still dealing with another recent problem where the system sometimes takes forever to boot, but after a forced restart it enters the system normally within seconds. Grok 4.5 says this is also GNOME's component fault.
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.
> 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.
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.
> 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.
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.
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.
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.