The lead
DeepSeek ships V4-Flash-0731 with large agent benchmark gains and MIT licensed weights
The weights went up on Hugging Face under an MIT licence, and mainline llama.cpp already runs it, so a 128 gigabyte class machine gets roughly 35 tokens per second locally. The benchmark numbers are DeepSeek's own and have not been independently reproduced yet.
The 0731 build keeps the preview architecture, 284 billion parameters with 13 billion active, and only changes the post training. DeepSeek reports Terminal Bench 2.1 rising from 61.8 to 82.7, DeepSWE from 7.3 to 54.4 and Cybergym from 38.7 to 76.7.
KRALYSWorth a real test at Kralys before the next tooling decision: a permissively licensed model you can run in house changes the make or buy question for anything touching client data.