{
  "url": "https://appliedfrontier.nl/en/research/signal-feae6511a0a2e0f2/",
  "title": "Our First Proof submissions",
  "published": "2026-02-20",
  "excerpt": "We share our AI model’s proof attempts for the First Proof math challenge, testing research-grade reasoning on expert-level problems.",
  "content_sha256": "953406c63f729a9e9cd7063bba852a0599b2fe32e96e75e0efa6317dfff2774b",
  "extracted_chars": 133,
  "artifact_links": [],
  "extraction_scope": "official_rss_metadata",
  "full_text_available": false,
  "id": "signal-feae6511a0a2e0f2",
  "org": "OpenAI",
  "topic": "Mathematical reasoning",
  "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": [
    "math",
    "proof",
    "reasoning"
  ],
  "checked_at": "2026-10-29T22:08:07+00:00",
  "first_seen": "2026-10-29T22:08:07+00:00",
  "source_hash": "516da8295b90729db10fe69411e7850eff5c3b4f257fde1b110325a749d08d5e",
  "source_url": "https://openai.com/index/first-proof-submissions",
  "language": "en",
  "indexing": "noindex_until_editorially_enriched"
}