Autonomous cyber vulnerability discovery, exploitation, and patching pipeline validated and generated patches for 948 local privilege escalation vulnerabilities in the Linux kernel. The run cost $1.2 million in API usage.
Key points
948 local privilege escalation vulnerabilities in the Linux kernel were validated and patched.
Total API cost for the run was $1.2 million.
Sources
Grand Challenges – five challenges with $1M prize
Grand Challenges introduces five material-science problems and a $1 million prize for solutions. The initiative will track and report AI progress on each challenge.
Key points
Five Grand Challenges in Material Science announced.
$1 million prize money committed to solutions.
AI progress on each challenge will be tracked and reported.
Sources
- Original post
- Grand Challenges - Linked page
Stacks Project 16M-line formalization released
Stacks Project formalization released with 16 million lines, preserving optimized code quality and highly interconnected structure. The release claims to cover the entire project. It is presented as a counterexample to criticism of vibecoding at scale.
Key points
Release: 16M-line formalization of the entire Stacks Project.
Emphasis: optimized code quality and highly interconnected structure preserved.
Sources
Stacks Project 16M-line formalization released
Stacks Project 16M-line formalization released, preserving optimized code quality and its highly interconnected structure. The release is described as a counterexample to claims that vibecoding at scale is slop.
Key points
Release: 16M-line formalization of the entire Stacks Project.
Claim: Optimized code quality and highly interconnected structure preserved.
Sources
Arrow 2 generates cleaner SVGs with fewer nodes
Arrow 2 reconstructs structure rather than tracing pixels, producing cleaner SVGs. It creates intentional geometry, reduces node count, and improves editability.
Key points
Reconstructs structure rather than tracing pixels.
Generates cleaner SVGs with intentional geometry and fewer nodes.
Sources
SF Compute makes GPU hour loan collateral
SF Compute announced that GPU hours can be used as loan collateral, requiring a liquid order book, physical settlement, and an operator that owns no hardware. The company also said it stopped brokering compute and began running the entire hotel.
Key points
GPU hour usable as loan collateral, needs liquid order book, physical settlement, operator owns no hardware.
Stopped brokering compute and started running the whole hotel.
Sources
Miden audit interview with Trail of Bits and OpenZeppelin
Miden audit interview discusses work with Trail of Bits, OpenZeppelin and spearbit. Trail of Bits created tooling to help audit the novel Miden software stack.
Key points
Interview about audits with Trail of Bits, OpenZeppelin and spearbit
Trail of Bits wrote tooling to make auditing Miden easier
Sources
GPT Image 2.6 now in Recraft Studio on Free plan
GPT Image 2.6 is now available in Recraft Studio, including on the Free plan. Flare drafts fast and Sunburst keeps edits consistent; compare it next to Recraft V4.1.
Key points
GPT Image 2.6 is now in Recraft Studio
Included on the Free plan
