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