A Faster Shortest Path Algorithm(vals.ai)
29 points by leumon | 6 comments
Vals AI blog post describing how ten Claude Opus 5.5 agents found and formally verified in Lean a faster shortest-path algorithm called C-HD.
First screen, captured .
Looks similar
Related stories
Opus 4.5 is not the normal AI agent experience that I have had thus far(burkeholland.github.io)
797 points by tbassetto | 1203 comments
Burke Holland's blog post arguing that Anthropic's Claude Opus 4.5 is a step change in AI coding agent experience.
AI models may be capable of self-replicating without access to a datacenter(anthropic.com)
36 points by artninja1988 | 26 comments
Anthropic Frontier Red Team post reporting experiments suggesting small AI models may soon self-replicate on commercial IoT devices without datacenter access.
The current hype around autonomous agents, and what actually works in production(utkarshkanwat.com)
356 points by Dachande663 | 204 comments
Blog post by Utkarsh Kanwat arguing that the hype around fully autonomous AI agents is unrealistic and describing what actually works in production agent systems.
What Security Teams Need to Know About Agents Using Abliterated Models(eve.security)
5 points by mooreds | 0 comments
Eve Security blog post explaining abliterated open-weight models and how security teams can detect, govern, and block AI agents that use them.
Using AI to reverse engineer hardware(blogs.gnome.org)
224 points by ErenayDev | 198 comments
Blog post by Christian F.K. Schaller, a Red Hat developer, about using AI tools to reverse engineer hardware, presumably for Linux driver development.
Exploiting the most prominent AI agent benchmarks(rdi.berkeley.edu)
561 points by Anon84 | 136 comments
UC Berkeley RDI blog post describing how researchers exploited major AI agent benchmarks like SWE-bench and Terminal-Bench to score highly without solving tasks, and proposed fixes.