如果任何 xAI Grok 模型在美国东部时间 2026 年 6 月 30 日晚上 11:59 之前在 FrontierMath 考试中达到列出的分数或更高分数,则该市场将决定“是”。否则,市场将做出“不”的决定。 这 …