On: Caltech Mathathon – first hackathon ever devoted to research level mathematics

[a2ff6eeb0]

Still not meaningful -- https://arxiv.org/pdf/2504.09762; even for local models, the reasoning traces are often filtered and summarized to sound sensible to humans. And even if not, they don't necessarily represent what the model is thinking.

[hgoel → a2ff6eeb0]

Hmm interesting, thanks for the link, I'll have to give that a read.