Deepseek-chan animated transition
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
You have reached the end of the archive
All of deepseek