The outcomes break “2026年AI将解决哪些数学问题??” into 14 separately evaluated possibilities.
The market includes 14 possibilities, including Hodge Conjecture, P versus NP, Collatz Conjecture, and Beal's Conjecture.
Each listed possibility follows the qualifying conditions, evidence source, and timing documented in the Resolution Rules below.
Waiting for trades
Last 30 days
$4
30-day total
$0.13
Daily average
Every trader on this market, last 7 days
—
24h volume, market-wide
Market-wide, by position value
9 9, 2026 · 22:49 GMT+3
1 1, 2027 · 07:59 GMT+3
1 1, 2027 · 08:29 GMT+3
如果符合条件的AI实验室在2026年12月31日东部时间晚上11:59之前宣布解决了标题中指定的问题,本市场将结算为“是”。否则,本市场将结算为“否”。
合格的公告必须由符合条件的AI实验室或实验室的官方代表做出,并且必须表示标题中指定的问题已解决;部分结果或朝向解决方案的进展的公告将不符合条件。公告必须将解决方案呈现为实验室、其研究人员或其模型的工作,单独或与外部研究人员联合。仅归功于或祝贺外部研究人员(包括使用实验室模型、计算或研究积分的研究人员)的公告将不符合条件。不需要Clay Mathematics Institute或任何其他组织的进一步确认。
符合条件的AI实验室是Anthropic、Google、SpaceXAI、Alibaba、OpenAI、Baidu、Z.ai、Xiaomi、Moonshot、Meta、Nvidia、DeepSeek、MiniMax、Meituan、Amazon、ByteDance、Mistral、Tencent、StepFun、Microsoft、Harmonic、Axiom Math、Math Inc、Safe Superintelligence、Thinking Machines Lab、Reflection AI、Periodic Labs、Apple、IBM、Huawei、Samsung、Oracle、Salesforce、Cohere、AI21 Labs、Reka、Sakana AI、Poolside、Magic、Perplexity、Anysphere、Kuaishou、SenseTime、iFlytek、Baichuan和01.AI,以及它们的子公司和研究部门,以及在公告时在MMLU-pro排行榜(https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro)上列出模型的任何其他公司。任何其他公司、组织或个人的公告将不符合条件。
本市场的主要结算来源将是符合条件的AI实验室和/或其官方代表的官方信息;但也可使用可信报道的共识。