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.