Seems like a pretty good time to capitalize on that! Since the thinking-about-thinking fields are having such a moment right now, with formerly academic philosophy problems turning into real-world engineering problems.

Another way to look at this: it's really impressive that as humans we've built proof systems, and language constructs to describe math and logic, up to the point where a LLM (which brings perseverance and long context window) can comprehend the problem and reason about a solution.

Is it any less valid, as we see AI becoming more and more equally capable of stuff that looks like cognition, to come away with the impression that maybe ALL minds are Chinese Room style predictor engines? Always seemed surprisingly lax of philosophers to assume otherwise.