{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:XWOFN55P2NH7WOT7AZ2LOD6AYL","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":"5ef37620abc00c502f321751f8f4eeddbe68bb8b990587fc8a220a92ab474273","cross_cats_sorted":["cs.CC","cs.HC","math.FA"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-08-11T17:53:48Z","title_canon_sha256":"559b93d48a73262c9913db49cc09b36055b2966132aabb2c7bc6e06dd43f3e6a"},"schema_version":"1.0","source":{"id":"2608.11195","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2608.11195","created_at":"2026-08-12T01:24:47Z"},{"alias_kind":"arxiv_version","alias_value":"2608.11195v1","created_at":"2026-08-12T01:24:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.11195","created_at":"2026-08-12T01:24:47Z"},{"alias_kind":"pith_short_12","alias_value":"XWOFN55P2NH7","created_at":"2026-08-12T01:24:47Z"},{"alias_kind":"pith_short_16","alias_value":"XWOFN55P2NH7WOT7","created_at":"2026-08-12T01:24:47Z"},{"alias_kind":"pith_short_8","alias_value":"XWOFN55P","created_at":"2026-08-12T01:24:47Z"}],"graph_snapshots":[{"event_id":"sha256:ba1775cd1eeabfcc6165129e908d3014e966f0f2f8c50264c5cb6b3115a80b10","target":"graph","created_at":"2026-08-12T01:24:47Z","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/2608.11195/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"AI agents are increasingly used in mathematics research, but it is often unclear how to use them effectively. Towards this, we present an extensive case study of how AI was used to improve bounds on the Grothendieck constant $K_G$, which captures the hardness between combinatorial problems and their continuous relaxations. Specifically, while the precise value of $K_G$ is not known, we recently tightened the best known bounds to \\[\n  \\frac{6\\pi}{11}\n  \\;\\le\\;\n  K_G\n  \\;\\le\\;\n  \\frac{\\pi}{2\\log(1+\\sqrt2)} - 10^{-4}. \\] Crucially, these improvements were achieved using an AI research system that","authors_text":"Adam Klivans, Alan Li, Anton Xue, Pravesh K Kothari, Raghu Meka, Rahul Saha, Swarat Chaudhuri","cross_cats":["cs.CC","cs.HC","math.FA"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-08-11T17:53:48Z","title":"Long-Horizon AI Research for Grothendieck Constant: A Case Study in Human-AI Mathematical Collaboration"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.11195","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:0bad4dea1e89e39fac236344b781520de94690e08bfc31f1bf19ece7e3b41d2e","target":"record","created_at":"2026-08-12T01:24:47Z","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":"5ef37620abc00c502f321751f8f4eeddbe68bb8b990587fc8a220a92ab474273","cross_cats_sorted":["cs.CC","cs.HC","math.FA"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-08-11T17:53:48Z","title_canon_sha256":"559b93d48a73262c9913db49cc09b36055b2966132aabb2c7bc6e06dd43f3e6a"},"schema_version":"1.0","source":{"id":"2608.11195","kind":"arxiv","version":1}},"canonical_sha256":"bd9c56f7afd34ffb3a7f0674b70fc0c2c5b27534ab20f9f51215fa70d122a8f3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bd9c56f7afd34ffb3a7f0674b70fc0c2c5b27534ab20f9f51215fa70d122a8f3","first_computed_at":"2026-08-12T01:24:47.484760Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-08-12T01:24:47.484760Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tt2qDmIpomFeFgw6YYJaSbndtLDX+5vH+aoWs87kAM/O61Pon2qmiy0esTTrDjZo1gly46G7ZTodPo1SLxwyCA==","signature_status":"signed_v1","signed_at":"2026-08-12T01:24:47.486748Z","signed_message":"canonical_sha256_bytes"},"source_id":"2608.11195","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0bad4dea1e89e39fac236344b781520de94690e08bfc31f1bf19ece7e3b41d2e","sha256:ba1775cd1eeabfcc6165129e908d3014e966f0f2f8c50264c5cb6b3115a80b10"],"state_sha256":"76cd8774e12ea04bf9861ca96102a160fdbe54ff5b7c1b619935ace4807b82be"}