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.