{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:VCVJO6IAPBUJNZXJNPXA2QAA23","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":"50851506ea780cd866f7f631e9eee89a853f09d96d996c26658c03d066efea1c","cross_cats_sorted":["cs.AI","math.CA","math.CO","math.MG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.NE","submitted_at":"2025-11-03T16:04:07Z","title_canon_sha256":"8f407716717d90f56e181622cb5738c0e53a220fed74438178da0e54d200974c"},"schema_version":"1.0","source":{"id":"2511.02864","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2511.02864","created_at":"2026-05-17T23:38:14Z"},{"alias_kind":"arxiv_version","alias_value":"2511.02864v3","created_at":"2026-05-17T23:38:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2511.02864","created_at":"2026-05-17T23:38:14Z"},{"alias_kind":"pith_short_12","alias_value":"VCVJO6IAPBUJ","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"VCVJO6IAPBUJNZXJ","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"VCVJO6IA","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:050ae9c5236c8258ffc6d1860298b538ce8b7d36756f7c77c8b2ada2a6e3d6b9","target":"graph","created_at":"2026-05-17T23:38:14Z","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"},"paper":{"abstract_excerpt":"AlphaEvolve (Novikov et al., 2025) is a generic evolutionary coding agent that combines the generative capabilities of LLMs with automated evaluation in an iterative evolutionary framework that proposes, tests, and refines algorithmic solutions to challenging scientific and practical problems. In this paper we showcase AlphaEvolve as a tool for autonomously discovering novel mathematical constructions and advancing our understanding of long-standing open problems.\n  To demonstrate its breadth, we considered a list of 67 problems spanning mathematical analysis, combinatorics, geometry, and numb","authors_text":"Adam Zsolt Wagner, Bogdan Georgiev, Javier G\\'omez-Serrano, Terence Tao","cross_cats":["cs.AI","math.CA","math.CO","math.MG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.NE","submitted_at":"2025-11-03T16:04:07Z","title":"Mathematical exploration and discovery at scale"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2511.02864","kind":"arxiv","version":3},"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:28f10245189d642fcf405f646ea575709b1b94011b4a1dbc26107123bd63da02","target":"record","created_at":"2026-05-17T23:38:14Z","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":"50851506ea780cd866f7f631e9eee89a853f09d96d996c26658c03d066efea1c","cross_cats_sorted":["cs.AI","math.CA","math.CO","math.MG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.NE","submitted_at":"2025-11-03T16:04:07Z","title_canon_sha256":"8f407716717d90f56e181622cb5738c0e53a220fed74438178da0e54d200974c"},"schema_version":"1.0","source":{"id":"2511.02864","kind":"arxiv","version":3}},"canonical_sha256":"a8aa977900786896e6e96bee0d4000d6ff9e1496dcc9344d781e39dc2899150b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a8aa977900786896e6e96bee0d4000d6ff9e1496dcc9344d781e39dc2899150b","first_computed_at":"2026-05-17T23:38:14.534788Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:38:14.534788Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"n7S0vdZvMqLZ76jzXPcjar1v6+o9NO3FJeTYorzcbskLNCRSChMmZ7Ccx+ESY56JDNgY9aYZZzgA7a+GLGihCw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:38:14.535486Z","signed_message":"canonical_sha256_bytes"},"source_id":"2511.02864","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:28f10245189d642fcf405f646ea575709b1b94011b4a1dbc26107123bd63da02","sha256:050ae9c5236c8258ffc6d1860298b538ce8b7d36756f7c77c8b2ada2a6e3d6b9"],"state_sha256":"be61ef4e0325e5b234fc1510c243aee64cda3defc4cfa2763f06106c6d7f8a26"}