If any language model achieves an accuracy of at least 60% on Humanity's Last Exam before Dec 31, 2027, then the market resolves to Yes.