Are Frontier Reasoning Models useful on hard-to-verify problems?

Has anyone spent significant resources (tokens, harnesses, formal problem specification) on pointing very powerful models at philosophical or social questions? This community loves to discuss aliens and far-future value estimates and other things where it's fun to get precise numbers that are highly sensitive to initial wild guesses. Are we close to the point that AI is better than Parfit or EY at such reasoning? I've used various tools (mostly Claude models) for my own discussion and "research", and it is helpful, but not particularly groundbreaking or smarter than the collective LW brainpower. I'm wondering about true breakthroughs or step-changes like we've seen in math, coding, etc.