Who developed those methods in the first place? If it was academics, why did they not have the same "reputational and funding risks" in the late 1990s, which is when you said "the bioinformatics revolution started"? What's changed in the last 20 years?
You compare academics in general to a small number of non-academic people and organizations. The latter are not representative of non-academics, because I know people in industry who use the same methods as those in academics. Is Patcher, the author of this piece and an academic, one of the people who uses "old formal methods" due to "reputational and funding risks"?
I'll add that I mostly work in cheminformatics. There is relatively little academic research in this field. Most of it is driven by industry, and more specifically drug discovery. A lot of people in industry also use "old formal methods".
Finally, here's a quote from someone who "served on the advisory council
of [a longevity] organization, along with the chairmen of a number of major
US corporations":
> Why has the problem of aging been such an intractable one? Up until [recently], the prevalent view of scientists had been that the task of controlling aging was fundamentally impossible. But today, such a consensus no longer exists. Many researchers now believe that their predecessors failed, not because their goals were misguided, but because the tools and the level of sophistication they could bring to the task were inadequate. Moreover, it is argued that progress has been hampered because funding has been scarce, and researchers concerned with aging have been too few and far between. ...
> Growing public and private support for aging research reflects the scientific community’s own increasing commitment. Today, aging research occupies unprecedented numbers of highly talented individuals, not only
specialists in gerontology, but researchers from other disciplines as well. These include biochemistry, endocrinology, immunology, neurobiology, genetics, and cell biology, to name only a few.
Before following the link, when do you think that essay was written? http://www.garfield.library.upenn.edu/essays/v6p107y1983.pdf .