3 ms·
You guys are missing the forest for the trees. They used an AI agent sending ideas to a fuzzer and discovered a heap buffer overflow in Lean. This is big.
by vatsachak 7mo ago
You guys are missing the forest for the trees.
They used an AI agent sending ideas to a fuzzer and discovered a heap buffer overflow in Lean. This is big.
- germandiago 7mo agoIndeed this is a nice discovery and I think it is useful in its own right.