{
  "@context": "https://schema.org",
  "@id": "https://aggr.aymericbeaumet.com/items/openai-com/2026-10-06-sharing-ai-progress-in-mathematics/#webpage",
  "@type": [
    "WebPage",
    "ArchiveComponent"
  ],
  "articleBody": "OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.\n",
  "authors": [],
  "captured_at": "2026-10-06T23:45:23.660353536+00:00",
  "category": "ai",
  "content_html": "<p>OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.</p>\n",
  "content_markdown": "OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.\n",
  "dateCreated": "2026-10-06T23:45:23.660353536+00:00",
  "date_created": "2026-10-06T12:00:00+00:00",
  "date_modified": "2026-10-06T12:00:00+00:00",
  "date_published": "2026-10-06T12:00:00+00:00",
  "description": "OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.",
  "external_url": "https://openai.com/index/sharing-ai-progress-in-mathematics",
  "git": {
    "commit": "ebb0941c5c06a2ab2377342d607535262a3e969e",
    "path": "items/openai-com/2026/10/2026-10-06-sharing-ai-progress-in-mathematics.md",
    "permalink": "https://github.com/aymericbeaumet/aggr-instance/blob/ebb0941c5c06a2ab2377342d607535262a3e969e/items/openai-com/2026/10/2026-10-06-sharing-ai-progress-in-mathematics.md"
  },
  "id": "urn:aggr:item:05d6ea6a0f29dc72353f9b7e5ecc07d480d5e580",
  "isBasedOn": {
    "@id": "https://openai.com/index/sharing-ai-progress-in-mathematics"
  },
  "mainEntity": {
    "@id": "https://openai.com/index/sharing-ai-progress-in-mathematics",
    "@type": "CreativeWork",
    "archivedAt": {
      "@id": "https://aggr.aymericbeaumet.com/items/openai-com/2026-10-06-sharing-ai-progress-in-mathematics/#webpage"
    },
    "dateModified": "2026-10-06T12:00:00+00:00",
    "datePublished": "2026-10-06T12:00:00+00:00",
    "headline": "Sharing AI progress in mathematics",
    "timeRequired": "PT1M",
    "url": "https://openai.com/index/sharing-ai-progress-in-mathematics",
    "wordCount": 24
  },
  "name": "Archived snapshot: Sharing AI progress in mathematics",
  "preview": null,
  "reading_minutes": 1,
  "replicated_at": null,
  "source": "openai-com",
  "source_name": "OpenAI News",
  "summary": "OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.",
  "tags": [
    "research"
  ],
  "temporalCoverage": "2026-10-06T23:45:23.660353536+00:00",
  "title": "Sharing AI progress in mathematics",
  "url": "https://aggr.aymericbeaumet.com/items/openai-com/2026-10-06-sharing-ai-progress-in-mathematics/",
  "word_count": 24
}