3 ms·
> It's not even clear if AI was used to find the bug The intro says “We used Claude and Allium”. Allium looks like a tool they’ve built for Claude. So the art
by Aurornis 7mo ago
> It's not even clear if AI was used to find the bug
The intro says “We used Claude and Allium”. Allium looks like a tool they’ve built for Claude.
So the article is about how they used their AI tooling and workflow to find the bug.
- throwaway27448 7mo agoThe article does not explain anything about how they used AI—it just has some relation with the behavioral model a human seems to have written (and an AI does not seem necessary to use!)
- MBCook 7mo agoSure it does. They used their AI tool to extract the rules for the Apollo guidance system based on the source code. Then they used Claude to check if all paths followed those rules.
- zeristor 7mo ago[dead]