An option resolves YES if it is true about the AI model, or program, known to be State of the Art in terms of the FrontierMath benchmark, at the end of the year 2026. It resolves NO otherwise.
You're welcome to add any interesting facts that might or might not be true about the state of the art in math problems, as defined by achieving the highest score on the FrontierMath benchmarks.
I reserve the right to cancel any option that is too vague, too improbable, etc.
See also:
What will be true of the SOTA AI on the FrontierMath benchmark, before 2026?
What will be true of the SOTA AI on the FrontierMath benchmark, before 2027? (this market)
What will be true of the SOTA AI on the FrontierMath benchmark, before 2028?
Will an AI achieve >85% performance on the FrontierMath benchmark before 2027?55%
Will an AI achieve >85% performance on the FrontierMath benchmark before 2028?72%
Will an AI achieve >30% performance on the FrontierMath benchmark before 2026?YES