{
  "api_version": "1",
  "updated": "2026-11-10",
  "latest_event": "2026-11-09",
  "rights": "© Frontier Log, all rights reserved.",
  "event": {
    "slug": "2026-08-01-openai-ten-advances-in-mathematics",
    "date": "2026-08-01",
    "provider": "openai",
    "importance": "minor",
    "title": "OpenAI shares ten advances on open math problems",
    "headline": "OpenAI shares ten advances on open math problems",
    "detail": "Results on ten long-standing open problems from an internal version of Astra, each formalized in Lean.",
    "tags": [
      "math"
    ],
    "related": [
      {
        "slug": "2026-05-20-openai-model-disproves-unit-distance-conjecture",
        "date": "2026-05-20",
        "provider": "openai",
        "title": "OpenAI model disproves Erdős unit distance conjecture",
        "headline": "OpenAI model disproves Erdős unit distance conjecture",
        "url": "https://frontierlog.ai/event/2026-05-20-openai-model-disproves-unit-distance-conjecture"
      },
      {
        "slug": "2026-10-06-openai-publishes-ai-math-results",
        "date": "2026-10-06",
        "provider": "openai",
        "title": "OpenAI publishes AI math results on GitHub",
        "headline": "OpenAI publishes AI math results on GitHub",
        "url": "https://frontierlog.ai/event/2026-10-06-openai-publishes-ai-math-results"
      }
    ],
    "source": "https://openai.com/index/ten-advances-in-mathematics",
    "models": [],
    "source_title": "Ten advances in mathematics and theoretical computer science",
    "source_archived": null,
    "source_http_status": null,
    "source_quote": "Today, we are sharing a selection of ten results, each of which resolves or makes substantial progress on a long-standing open problem.",
    "followups": [],
    "successor": null,
    "predecessors": [],
    "revealed_as": null,
    "stealth_previews": [],
    "reveal_source": null,
    "url": "https://frontierlog.ai/event/2026-08-01-openai-ten-advances-in-mathematics",
    "image": "https://frontierlog.ai/og/2026-08-01-openai-ten-advances-in-mathematics.png",
    "stories": [
      {
        "slug": "ai-math-discoveries-2026",
        "title": "AI Math Discoveries in 2026",
        "date": "2026-11-09",
        "url": "https://frontierlog.ai/stories/ai-math-discoveries-2026"
      }
    ]
  }
}