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