Most of the deaths are explainable.
One suicide (Eskridge), one likely suicide (McCasland), four possible suicides (Chavez, Casias, Garcia, and Thomas), two murders (Lureiro and Grillmair), two other deaths (Hicks and Maiwald), and one missing (Reza). Neither of the murders are linked. Reza may have simply fallen while hiking and been severely injured or killed. The two other deaths were both in the age range where sudden deaths start to become unfortunately common.
e.g. If the U.S. has 10,000 99.999% accurate anti-drone missiles that cost $100,000 each but Iran has 20,000 drones costing $20,000 each, who has the advantage?
The answer is obvious: the manufacturer of the US's expensive missiles.
Formal verification mathematically proves code implements a specification. It does not catch bugs that are specified.
There are entire classes of bugs (logic bugs) that LLMs can find that formal verification literally doesn't even try to.
So you prompt the LLM to "find all the bugs".
Even if the LLM can find every last bug (which in turn assumes that this type of problem isn't NP-hard or has some issue that Godel would point out), just defining to the LLM exactly what a "bug" is seems to be pretty much the same thing as those formal specifications that you just convincingly dismissed as inadequate.
I don't think that there's anything magical about LLMs that would let them get around fundamental mathematical roadblocks.
Stage 3 smog alerts were year-round when I was a kid in the 1980s. They were more common in the summer, but they could happen any time the temperatures rose, and they were a fact of life at school in the spring and fall. I spent a lot of recess and PE time indoors for Stage 2 and 3 alerts. This page shows the number of days at different air qualities for Los Angeles going back to 1980. The highest number of good air quality days was 11 in 1983. For all but two of the remaining years, it was in single digits. The combined number of unhealthy, very unhealthy, and dangerous days usually covered a cumulative six months or so out of the year.
You can see the numbers shifting to the left starting in 1989. Both Republicans and Democrats in the state government (which was run by Republicans at the time) had authorized various government agencies to make changes that would affect smog levels. Since 2002, the number of moderate or good air days has covered at least half of the year, a huge reversal from the 1980s. The number of very unhealthy or dangerous air days has been in the single digits every year (bar one) since 2007, even reaching zero in 2010 and 2013 and only one in six of the other years.
"This isn't brain surgery; it's just television." - David Letterman