Przemek Chojecki used a "multi-agent harness" to generate an attempt at a FrontierMath Open Problem. Reception was mixed.

This resolves YES iff by EOY, Paolo Cascini marks the problem as settled and credits ulam.ai/research/delpezzo.pdf.

The point of this market is that betting that your approach works shows that your submission is serious, rewards you iff your approach works, and rewards potential counterparties for investigating your approach.