brian-bfz

6 ms·

1.
by brian-bfz 9d ago
We are giving each team $20k AI credits. I hope they will use it to solve problems beyond the reach of regular AI plans.
2.
by brian-bfz 9d ago
You're right that we can't. We'll be responsible in our press releases and award prizes based on explanation, but we don't control the headlines. However, this is already an improvement over the current state, where res
3.
by brian-bfz 9d ago
Solving a problem is the easy part with AI. Selecting a problem worth solving is half of the challenge. We allow prior work as long as it's labelled. We record chat logs, so it's easy to verify what's prior work. When we eval
4.
by brian-bfz 9d ago
I don't think AI will solve more math problems in a world with Mathathon than the counterfactual by EOY. People will use AI in math anyways. What matters is: can we encourage them to do so transparently and with full understanding of t
5.
by brian-bfz 9d ago
Agreed. I think we share the same concerns about LLM use. We just drew different conclusions. Mathathon's goal is to reshape rather than stop LLM use. Can we set high standards for LLM use? Can we highlight the roles of a mathematician
6.
by brian-bfz 9d ago
Yes. To us, solving a problem with AI doesn't matter as much as selecting the right problem and understanding the proof. A participant must have a good mathematical intuition.
7.
by brian-bfz 9d ago
We are a student-led initiative. Our sponsors don't pay us and don't have a say in our decisions. All of our funding goes toward our judges and participants.
8.
by brian-bfz 9d ago
You pick your own problem! You can even formulate your own conjecture and then prove it. Picking an impactful problem is part of our judging criteria.
9.
by brian-bfz 9d ago
1. IMO the hard part isn't prompting. It's selecting the problem and understanding the solution. It'd be especially exciting if a participant formulates their own conjecture, proves it with AI, then generalizes it to a new t
10.
by brian-bfz 9d ago
We aren't affliated with the CS department. We're a student-led initiative. Our goal is to promote responsible AI use in math.
11.
by brian-bfz 9d ago
Hey guys, I'm one of the organizers. AMA. - We are a team of undergrads at Caltech. We don't represent Caltech, any Caltech departments, or any of our sponsors. - We don't receive monetary compensation. All the funding raised
12.
Mathathon – $2M Hackathon for Math(twitter.com)
3 points by brian-bfz 12d ago|1 comments
13.
by brian-bfz 12d ago
Hey guys! I'm Brian, an organizer of the Caltech Mathathon Challenge. We are hosting the world's first math hackathon. Our goal is to promote responsible use of AI in math. We are working with leading mathematicians to ensure tha