I've applied as a team, hope I get in.

Recently I care about how to create harness for mathematics that uses up the complete reasoning ability of the model. I care about both capability and cost.

Most generic harness we have now are not made for maximizing reasoning. I've tested agents like codex, and rarely the cost of reasoning tokens reaches more than 20%. Which is quite strange as math requires a lot of reasoning. So hackathons can be a good test bed.