Resolves to the company whose AI model is credited with doing the majority of the work in the first solution to any of the unsolved Millennium Prize Problems besides Navier–Stokes. Resolves on Clay Institute announcement or earlier on broad expert consensus that the proof is correct. Resolves N/A if no AI-led solution by end of 2034. If a claimed solution is under serious review at close, the market will be extended until it's confirmed or rejected.