Teortaxes▶️ (DeepSeek 推特🐋铁粉 2023 – ∞)
@teortaxesTex
We're in a race. It's not USA vs China but humans and AGIs vs ape power centralization. @deepseek_ai stan #1, 2023–Deep Time «C’est la guerre.» ®1
No AGI for you, Xi bro A random Hangzhou kulak says he needs money more and you’d better pony up! Aircraft carriers are cool tho. That’s giving back to the people. Or something [blocks you]
the big difference between China and the US is that the US, as a real communist country, will invest billions of taxpayer moneys into unprofitable AGI moonshots in hopes of developing WMDs, whereas China will defer to this myopic rich peasant. Amusing
Logging off to meditate in a cave Wovon man nicht sprechen kann, darüber muss man schweigen
finesse
Those who had faith made mad money
Japan was denied ASML's role in the semiconductor supply chain Burgers are devious. They don't put their eggs in one basket. Lithography goes to the NGMI continent that won't try to build fabs. Fabs go to a tiny island existentially dependent on their navy. Assembly to China…
ASML is a bad example of “European innovation.” The reason ASML has EUV is because Lawrence Livermore and Sandia Labs chose to license to them instead of Canon and Nikon due to Japanese trade tensions in the 90s. The US king-made ASML.
few things give me so much confidence to yap than «I respect your AI takes, but you’re stupid to not believe in [crackpot bullshit] please stick to AI» type comments.
ASML is a bad example of “European innovation.” The reason ASML has EUV is because Lawrence Livermore and Sandia Labs chose to license to them instead of Canon and Nikon due to Japanese trade tensions in the 90s. The US king-made ASML.
Great benchmark. The first AI to do this will be very impressive I particularly like the requirement for experimentation. You can’t really solve any of these until you test hypotheses and learn from them
Today, we're announcing a preview of ARC-AGI-3, the Interactive Reasoning Benchmark with the widest gap between easy for humans and hard for AI We’re releasing: * 3 games (environments) * $10K agent contest * AI agents API Starting scores - Frontier AI: 0%, Humans: 100%
this may not be what the Chinese companies will like, but after those rumors about Huawei, I think there's no other way they will make it
One thing about NVidia being about to sell chips to China is that the Chinese govt wants foreign companies in China to kick the local companies into shape. This worked beautifully with Tesla, and the Chinese govt wants NVidia in China so that Huawei gets a run for its money.
> Unitree has completed 10 funding rounds to date, with its latest round pushing its valuation to 10 billion RMB (~$1.4B) The company dominating and leading quadrupedal and bipedal robotics is worth $1.4B. Figure is expected to be worth $39.5B total. Something something GDP
Unitree is preparing for an IPO in China ⦿ Unitree Robotics has officially begun its IPO counseling process with the Chinese Securities Regulatory Bureau. ⦿ Unitree has completed 10 funding rounds to date, with its latest round pushing its valuation to 10 billion RMB (~$1.4B)…
absolutely phenomenal work. read the paper in awe. LLMs can solve ARC with a very clever test time training setup + scoring mechanism and this paper shows that beautifully
How @arcprize 2024 was claimed 📖 Read 207: « The LLM ARChitect: Solving ARC-AGI is a Matter of Perspective », by Daniel Franzen, Jan Disselhoff, and David Hartmann github.com/da-fr/arc-priz… Covering over here the main parts of the approach, which won over the competition,…
I love this idea of an optimization target
Evaluated across 21 real-world datasets, AutoDS outperformed competitors by 5-29% at finding discoveries that are surprising to an LLM. In a human study that involved more than 500 hypotheses, 67% of the discoveries made by AutoDS were also surprising to the experts. 📊
Benchmark keeps changing I should stop paying attention
Kimi K2 scored 59% on the aider polyglot coding benchmark. Full leaderboard: aider.chat/docs/leaderboa…
Lol reality distortion field. This has been a thing for years now. I had something on the market in 2021. Others have had full products with thousands of paying customers for years. I get it, I like Elon too, but this isn't an innovation. It's a chat bot.
in just 11 years... 💀
China's exporters are desperate… to export stuff, which they proceed to do what is up with this guy's thesis?
China's monthly exports to Qatar just doubled. Ever since the US raised tariffs on China to 50%, there's an explosion of transshipments to the US via all kinds of places. This is a sign how badly US tariffs are hurting China's export machine. China's exporters are desperate...
