{
  "url": "https://appliedfrontier.nl/en/research/signal-00427e47df5ef306/",
  "title": "Sharing AI progress in mathematics",
  "published": "2026-10-06",
  "excerpt": "OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.",
  "content_sha256": "229d4e1a9da8431a852b73c5d7204e5b1f8161c3ce8ee7ff625f3352c099f644",
  "extracted_chars": 161,
  "artifact_links": [],
  "extraction_scope": "official_rss_metadata",
  "full_text_available": false,
  "id": "signal-00427e47df5ef306",
  "org": "OpenAI",
  "topic": "Formal verification",
  "source_kind": "provider_announcement",
  "status": "unreviewed-source-report",
  "analysis_method": "deterministic_metadata_triage_v1",
  "novelty_verified": false,
  "proof_checked": false,
  "peer_review_verified": false,
  "matched_terms": [
    "lean",
    "mathematics",
    "proof"
  ],
  "checked_at": "2026-10-31T19:17:02+00:00",
  "first_seen": "2026-10-29T22:08:07+00:00",
  "source_hash": "3ee119362ff72c4dc7382fcc257c77c6e572b9c2de50a474003b51299623e705",
  "source_url": "https://openai.com/index/sharing-ai-progress-in-mathematics",
  "language": "en",
  "indexing": "noindex_until_editorially_enriched"
}