I see sources saying BYD sold 187,657 vehicles in Europe in 2025, and MG sold 307,812. Interesting.
Your source only says:
“Top 5 best-selling EV brands in Europe in 2025
Volkswagen – 274.417 (+56%)
Tesla – 238.765 (-27%)
BMW – 193.186 (+15%)
Skoda – 172.100 (+117%)
Audi – 153.848 (+51%)”
Of course, because the agreement between the European Union and Chinese limits battery electric vehicles, but does not limit hybrids the same way… which I think speaks again to the ability of the different manufacturers to compete on a “fair” basis
Correction: the European Union imposed additional tariffs (up to 35%) on Chinese-made battery-electric vehicles, while conventional hybrids and plug-in hybrids were exempt from those additional tariffs, giving Chinese manufacturers an incentive to shift toward hybrid sales.
Chinese EV have heavy import taxes in the EU. Also in France, (I don’t know in other countries), you get more subvention when buying an EU-made EV. This heavily distorts the market to try to save VW and friends.
0.5 GB of SRAM is exactly what the Cuckatoo32 [1] Proof-of-Work scheme needs for optimal solving efficiency. Solutions are 42-cycles in random bipartite graphs of 2^32 edges on 2^32 + 2^32 nodes, which can be found by repeatedly removing edges that have only one adjacent edge. Tracking which nodes have incident edges takes 2^32 (completely randomly accessed) bits which is exactly 0.5GB. Another 0.5 GB is needed to track alive edges but those can be accessed serially for which DRAM suffices.
A language that was designed to make Kolmogorov complexity concrete is Binary Lambda Calculus, a self interpreter of which takes only 168 bits (21 bytes). Unlike the Lisp self interpreter in the article, it operates on a bitstream and thus has to include a parser.
I did the same for my performant implementation of pure functional programming language BLC/BLC2,
which in 400+ lines contains a graph reduction engine for combinatory logic, to which the lambda calculus programs are converted by Kiselyov's bracket abstraction algorithm.
Hutter prize does have speed restrictions. If it did not, LLMs would win even with counting the size of the model (which is the most reasonable choice imo) as per the main benchmark: https://www.mattmahoney.net/dc/text.html.
Not so in Europe, where the top 10 EVs sold in 2025 [1] has not a single Chinese car.
[1] https://autorai.nl/tesla-van-de-troon-gestoten-als-populairs...
reply