alt Hacker NewsCaltech Mathathon – first hackathon ever devoted to research level mathematics
Comments
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.
Will BigAI support this with free access to lots of hardware loaded with frontier models?
Should I read this as the big labs trying to move maths forward? Or the big labs trying to use professional mathematitians as (cheap?) Labour for validating LLM outputs? On yesterdays "An Alien Mind" post from openAI they openly said that maths is not a priority for them, so I personally know what to think...
Interesting, if only I still have energy to work on something 40 hours non-stop
Won't deny that this is an interesting idea, but I feel like waiting on the output of an LLM for 40 hours feels like it is completely antithetical to what makes classic Hackathons appealing / educative.
More generally, I don't think the shape of a hackathon (intensely working for a short timespan) maps at all onto the way LLM Math progress has seemingly been made so far; AFAIK it mostly involves picking out something for the Model, then having it run for a week with sporadic correction / encouragement.