{
  "api_version": "1",
  "updated": "2026-11-10",
  "latest_event": "2026-11-09",
  "rights": "© Frontier Log, all rights reserved.",
  "event": {
    "slug": "2026-10-06-openai-publishes-ai-math-results",
    "date": "2026-10-06",
    "provider": "openai",
    "importance": "minor",
    "title": "OpenAI publishes AI math results on GitHub",
    "headline": "OpenAI publishes AI math results on GitHub",
    "detail": "New results from an internal frontier model, with Lean formalizations of many of the proofs.",
    "tags": [
      "math"
    ],
    "related": [
      {
        "slug": "2026-08-01-openai-ten-advances-in-mathematics",
        "date": "2026-08-01",
        "provider": "openai",
        "title": "OpenAI shares ten advances on open math problems",
        "headline": "OpenAI shares ten advances on open math problems",
        "url": "https://frontierlog.ai/event/2026-08-01-openai-ten-advances-in-mathematics"
      },
      {
        "slug": "2026-09-08-navier-stokes-solution",
        "date": "2026-09-08",
        "provider": "openai",
        "title": "OpenAI shares AI solution to Navier–Stokes problem",
        "headline": "OpenAI shares AI solution to Navier–Stokes problem",
        "url": "https://frontierlog.ai/event/2026-09-08-navier-stokes-solution"
      }
    ],
    "source": "https://openai.com/index/sharing-ai-progress-in-mathematics",
    "models": [],
    "source_title": "Sharing AI progress in mathematics",
    "source_archived": null,
    "source_http_status": null,
    "source_quote": "We’re releasing a broad range of new mathematical results produced by an internal frontier model.",
    "followups": [],
    "successor": null,
    "predecessors": [],
    "revealed_as": null,
    "stealth_previews": [],
    "reveal_source": null,
    "url": "https://frontierlog.ai/event/2026-10-06-openai-publishes-ai-math-results",
    "image": "https://frontierlog.ai/og/2026-10-06-openai-publishes-ai-math-results.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"
      }
    ]
  }
}