Qwen 3.8 flash next 3bpw.
Took 55 minutes. deepseek harness
On July 31st 2025, China's internet regulator called Nvidia in for a chat and asked it to prove its…
On July 31st 2025, China's internet regulator called Nvidia in for a chat and asked it to prove its chips did not have a backdoor, a hidden vulnerability that could be used to track or disable them. This month the country's industry ministry reportedly asked ByteDance how many…
NEAR AI took first place on Lean Eval v1, a benchmark of very hard formalization problems
The system runs almost entirely on the open-weight DeepSeek V4.1 Flash, so it is extremely cheap. A cheap model can work here because Lean checks every proof exactly. I built a toy
Opus 5.5 and Kokoro made a video for my latest (non AI-written) essay "Working the roofline for DeepSeek-V3 on Hopper".
I'm really happy with how it turned out!
You have reached the end of the archive
All of deepseek