Post #2935519
2026-05-12 21:57 UTC
@ligasser@social.epfl.ch @gedankenstuecke@scholar.social @Gusted@social.linux.pizza They (Mozilla) didn't.
https://www.flyingpenguin.com/the-boy-that-cried-mythos-verification-is-collapsing-trust-in-anthropic/
The relevant tldr is that if a bug could be reached by multiple code paths, they counted those as separate bugs.
Also, bugs are found all the time. But normally companies aren't throwing infinite money at them in a desperate bid to stay relevant and to exploit the tiniest bits for marketing.
Replies (1)
-
@ligasser@social.epfl.ch 2026-05-15 12:49
@scheme@freiburg.social @gedankenstuecke@scholar.social @Gusted@social.linux.pizza thanks so much for that link! It's an awesome read. Now I need to find why Mozilla was so happy to fix 150 bugs instead of 30 bugs during the last month. And, IIRC, the two recent Linux kernel bugs were actual LLM discovered bugs, correct? But not Mythos?