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

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 theory. 2. We have talked to mathematicians and frontier lab employees. We think 40 hours is enough to produce interesting results.