{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:ISM7HZHSTD6DA57SVGMDDPUVLM","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"768449c687569f49625aaaa30d426847d7c787ebbec41c559ef707afd9961c76","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-05-28T15:10:37Z","title_canon_sha256":"a1982a453c62cd763945d00bfbc94ebd0dd5207218cc682ff54b39a66a985ac4"},"schema_version":"1.0","source":{"id":"2505.22451","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.22451","created_at":"2026-07-05T11:11:24Z"},{"alias_kind":"arxiv_version","alias_value":"2505.22451v1","created_at":"2026-07-05T11:11:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.22451","created_at":"2026-07-05T11:11:24Z"},{"alias_kind":"pith_short_12","alias_value":"ISM7HZHSTD6D","created_at":"2026-07-05T11:11:24Z"},{"alias_kind":"pith_short_16","alias_value":"ISM7HZHSTD6DA57S","created_at":"2026-07-05T11:11:24Z"},{"alias_kind":"pith_short_8","alias_value":"ISM7HZHS","created_at":"2026-07-05T11:11:24Z"}],"graph_snapshots":[{"event_id":"sha256:70242ae62a5beedd76f0d470e97ca7c81560e3645ac16ed539ba80167573acf5","target":"graph","created_at":"2026-07-05T11:11:24Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2505.22451/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large Reasoning Models (LRMs) have made significant progress in mathematical capabilities in recent times. However, these successes have been primarily confined to competition-level problems. In this work, we propose AI Mathematician (AIM) framework, which harnesses the reasoning strength of LRMs to support frontier mathematical research. We have identified two critical challenges of mathematical research compared to competition, {\\it the intrinsic complexity of research problems} and {\\it the requirement of procedural rigor}. To address these challenges, AIM incorporates two core strategies: ","authors_text":"Peng Li, Yang Liu, Yanqiao Wang, Yanxing Huang, Yuanhang Liu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.22451","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:80bee6e49e0a56e5083965cba67e40dcf89ad90cd0f098dd488e42b2cbcf1b6f","target":"record","created_at":"2026-07-05T11:11:24Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"768449c687569f49625aaaa30d426847d7c787ebbec41c559ef707afd9961c76","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-05-28T15:10:37Z","title_canon_sha256":"a1982a453c62cd763945d00bfbc94ebd0dd5207218cc682ff54b39a66a985ac4"},"schema_version":"1.0","source":{"id":"2505.22451","kind":"arxiv","version":1}},"canonical_sha256":"4499f3e4f298fc3077f2a99831be955b3a63698e109324a4b80d9b14d1dfb3ee","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4499f3e4f298fc3077f2a99831be955b3a63698e109324a4b80d9b14d1dfb3ee","first_computed_at":"2026-07-05T11:11:24.313337Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:11:24.313337Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ABkdvrkvjnUX9nDO3JsWrrswKNjUuBrqWQUwHFUwEsoGo2Sja6bMgcYi9miJ0DMwdEz9TJuxB0wiHB7qnFAfBw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:11:24.313993Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.22451","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:80bee6e49e0a56e5083965cba67e40dcf89ad90cd0f098dd488e42b2cbcf1b6f","sha256:70242ae62a5beedd76f0d470e97ca7c81560e3645ac16ed539ba80167573acf5"],"state_sha256":"685dbfe3197afc2e7141be02087dff9fcb2aa7d2d34d8bf7a611f6b2c0458e00"}