Stephen Downes

There has been a lot of fuss about the many software vulnerabilities discovered by Anthropic's new Claude Mythos model. But the flip side of that is the potential for software developers to fix them. "Defenders finally have a chance to win, decisively," exaults Mozilla in this post describing how it responded with fixes for 271 vulnerabilities. "Encouragingly, we also haven't seen any bugs that couldn't have been found by an elite human researcher... Software like Firefox is designed in a modular way for humans to be able to reason about its correctness. It is complex, but not arbitrarily complex. The defects are finite, and we are entering a world where we can finally find them all."