{
  "url": "https://appliedfrontier.nl/en/research/signal-8197df41ee4c6630/",
  "title": "Attention-Graph Curvature for the Verification of Mathematical Reasoning",
  "published": "2026-10-12",
  "excerpt": "Language models have recently solved open Erdős problems and achieved gold-medal level performance on International Mathematical Olympiad problems. But their solutions, written in natural language,",
  "content_sha256": "87ed2f5397c013804a1d44dea3d1ef2c7edfe57a462c39c60a7f92a46a283479",
  "extracted_chars": 1218,
  "artifact_links": [
    "https://arxiv.org/abs/2610.16709"
  ],
  "arxiv_id": "2610.16709",
  "id": "signal-8197df41ee4c6630",
  "org": "Research community",
  "topic": "Formal verification",
  "source_kind": "preprint",
  "status": "unreviewed-source-report",
  "analysis_method": "deterministic_metadata_triage_v1",
  "novelty_verified": false,
  "proof_checked": false,
  "peer_review_verified": false,
  "matched_terms": [
    "mathematical",
    "olympiad",
    "proof",
    "reasoning"
  ],
  "checked_at": "2026-10-31T19:17:04+00:00",
  "first_seen": "2026-10-29T21:52:00+00:00",
  "source_hash": "ae5e91291e7e6aad517bd8a941757c6fc2cb02932b167906460bdcf3fa2c6dcb",
  "source_url": "https://arxiv.org/abs/2610.16709",
  "language": "en",
  "indexing": "noindex_until_editorially_enriched"
}