Caltech Mathathon – first hackathon ever devoted to research level mathematics
mathathonchallenge.com
Caltech Mathathon – first hackathon ever devoted to research level mathematics
1–10 of 108 posts
Re: Caltech Mathathon – first hackathon ever devoted to research level mathematics
#2Re: Caltech Mathathon – first hackathon ever devoted to research level mathematics
#3Re: Caltech Mathathon – first hackathon ever devoted to research level mathematics
#4Interesting, if only I still have energy to work on something 40 hours non-stop
Re: Caltech Mathathon – first hackathon ever devoted to research level mathematics
#5More 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.
Re: Caltech Mathathon – first hackathon ever devoted to research level mathematics
#6Won'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…
I’m not a full on AI optimist but it is absolutely the most powerful tool in a host of applications. From a Hackathon perspective, obviously in the 90s it was much more unorganized, but the same ethos existed. Use all available tools to accomplish the goal/task, it’s where a lot of incredible learning came out of. The same will hopefully happen in scenarios like this one
Re: Caltech Mathathon – first hackathon ever devoted to research level mathematics
#7Won'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…
If the goal is to accomplish something then why limit yourself with available tools? I’m not a full on AI optimist but it is absolutely the most powerful tool in a host of applications. From a Hackathon perspective, obviously in the 90s it was much more unorganized, but the same ethos existed. Use all available tools to accomplish the goal/task, it’s where a lot of incredible learning came out of. The same will hopef…
Re: Caltech Mathathon – first hackathon ever devoted to research level mathematics
#8Won'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…
If the goal is to accomplish something then why limit yourself with available tools? I’m not a full on AI optimist but it is absolutely the most powerful tool in a host of applications. From a Hackathon perspective, obviously in the 90s it was much more unorganized, but the same ethos existed. Use all available tools to accomplish the goal/task, it’s where a lot of incredible learning came out of. The same will hopef…
I'm not sure people need to organize a mathathon to wait for a computer to give a printout. They mainly need tokens.
Re: Caltech Mathathon – first hackathon ever devoted to research level mathematics
#9Won'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…
If the goal is to accomplish something then why limit yourself with available tools? I’m not a full on AI optimist but it is absolutely the most powerful tool in a host of applications. From a Hackathon perspective, obviously in the 90s it was much more unorganized, but the same ethos existed. Use all available tools to accomplish the goal/task, it’s where a lot of incredible learning came out of. The same will hopef…