Speaking for myself (and I bought Hillel's recently published Logic for Programmers): It's not clear to me which formal method I should use. I'm certain the answer is "there's a different best one for each situation", but I don't want to know one for each problem I'll face. I'd rather have a definitive answer to what is the second best for all situations, similar to how we can answer "python" to that question when the question is about general programming

Out of curiosity, why’s that? I don’t know formal methods nor the relationship to python.

The most widely available, useful, and best-bang-for-buck formal method is using a good type system.

The issue seems to be with the expectation that personal enrichment and subjective aesthetic appreciation should be socially instead privately funded

I don't consider myself an open weights supporter, but it's a bit of a bummer that if there's any novel search technique discovered by the model throughout this finding, it's possibly locked behind ant's reasoning summarization.

One wonders if they could turn their mechinterp work into analyzing the "thought processes" of these very special cases that turn into novel research and finally crack the creative thinking barrier.