{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:YRAGE2BY6D5LOEJHZVOMRJIK37","short_pith_number":"pith:YRAGE2BY","canonical_record":{"source":{"id":"2507.13337","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-07-17T17:53:55Z","cross_cats_sorted":["cs.CC","math.LO"],"title_canon_sha256":"defa88a2a2686b57a61e818cfdcaceb8e3929a096021c94480b49ead40e319fe","abstract_canon_sha256":"f1f734c7e2342dd50e05a2e905e161cea282c05bf51b7315614fbeae997b5bfd"},"schema_version":"1.0"},"canonical_sha256":"c440626838f0fab71127cd5cc8a50adfdcefe6047d62320f0700400084916ded","source":{"kind":"arxiv","id":"2507.13337","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.13337","created_at":"2026-07-05T11:38:59Z"},{"alias_kind":"arxiv_version","alias_value":"2507.13337v1","created_at":"2026-07-05T11:38:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.13337","created_at":"2026-07-05T11:38:59Z"},{"alias_kind":"pith_short_12","alias_value":"YRAGE2BY6D5L","created_at":"2026-07-05T11:38:59Z"},{"alias_kind":"pith_short_16","alias_value":"YRAGE2BY6D5LOEJH","created_at":"2026-07-05T11:38:59Z"},{"alias_kind":"pith_short_8","alias_value":"YRAGE2BY","created_at":"2026-07-05T11:38:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:YRAGE2BY6D5LOEJHZVOMRJIK37","target":"record","payload":{"canonical_record":{"source":{"id":"2507.13337","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-07-17T17:53:55Z","cross_cats_sorted":["cs.CC","math.LO"],"title_canon_sha256":"defa88a2a2686b57a61e818cfdcaceb8e3929a096021c94480b49ead40e319fe","abstract_canon_sha256":"f1f734c7e2342dd50e05a2e905e161cea282c05bf51b7315614fbeae997b5bfd"},"schema_version":"1.0"},"canonical_sha256":"c440626838f0fab71127cd5cc8a50adfdcefe6047d62320f0700400084916ded","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:38:59.411205Z","signature_b64":"zpV35Z5timF9ksQXL9n3RajX43STNzImgCi/uGVLYU/MiBoYn1DueUNMDfgAxuFP/JkwyTWfI/KOsgGjsIvTCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c440626838f0fab71127cd5cc8a50adfdcefe6047d62320f0700400084916ded","last_reissued_at":"2026-07-05T11:38:59.410812Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:38:59.410812Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2507.13337","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:38:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"97k8r4NrRWSwyVJxWM2eKsLimwTynDuTSx5TdkwuA5CKW98ceQHnwPOU99tAKj8IcNB/SqZS12Iu4yhIukhfCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T22:30:33.635092Z"},"content_sha256":"c7f5ae417e722e7d2d028512f184b3a1836d05977a3e586c8176b5b32dd54737","schema_version":"1.0","event_id":"sha256:c7f5ae417e722e7d2d028512f184b3a1836d05977a3e586c8176b5b32dd54737"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:YRAGE2BY6D5LOEJHZVOMRJIK37","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"FormulaOne: Measuring the Depth of Algorithmic Reasoning Beyond Competitive Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC","math.LO"],"primary_cat":"cs.AI","authors_text":"Alon Vinnikov, Amnon Shashua, Gal Beniamini, Ido Ben Shaul, Noam Wies, Or Sharir, Or Weinstein, Shai Shalev-Shwartz, Shir Granot Peled, Tomer Nussbaum, Tomer Zekharya, Yoav Levine, Yuval Dor","submitted_at":"2025-07-17T17:53:55Z","abstract_excerpt":"Frontier AI models demonstrate formidable breadth of knowledge. But how close are they to true human -- or superhuman -- expertise? Genuine experts can tackle the hardest problems and push the boundaries of scientific understanding. To illuminate the limits of frontier model capabilities, we turn away from contrived competitive programming puzzles, and instead focus on real-life research problems.\n  We construct FormulaOne, a benchmark that lies at the intersection of graph theory, logic, and algorithms, all well within the training distribution of frontier models. Our problems are incredibly "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.13337","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2507.13337/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:38:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"v9RoO9aE7tzpdkmsCLEtba5/jw/pa6Op04EzKnrNbZjEw3n2s9IaBHS4ILwqfeL+lVzd39ac0OuUH6IqGSCBCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T22:30:33.635701Z"},"content_sha256":"ab4952b11295b78127ea945a943c4af1362f06f9743a468d848fa00da2d65dbe","schema_version":"1.0","event_id":"sha256:ab4952b11295b78127ea945a943c4af1362f06f9743a468d848fa00da2d65dbe"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YRAGE2BY6D5LOEJHZVOMRJIK37/bundle.json","state_url":"https://pith.science/pith/YRAGE2BY6D5LOEJHZVOMRJIK37/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YRAGE2BY6D5LOEJHZVOMRJIK37/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-20T22:30:33Z","links":{"resolver":"https://pith.science/pith/YRAGE2BY6D5LOEJHZVOMRJIK37","bundle":"https://pith.science/pith/YRAGE2BY6D5LOEJHZVOMRJIK37/bundle.json","state":"https://pith.science/pith/YRAGE2BY6D5LOEJHZVOMRJIK37/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YRAGE2BY6D5LOEJHZVOMRJIK37/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:YRAGE2BY6D5LOEJHZVOMRJIK37","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":"f1f734c7e2342dd50e05a2e905e161cea282c05bf51b7315614fbeae997b5bfd","cross_cats_sorted":["cs.CC","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-07-17T17:53:55Z","title_canon_sha256":"defa88a2a2686b57a61e818cfdcaceb8e3929a096021c94480b49ead40e319fe"},"schema_version":"1.0","source":{"id":"2507.13337","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.13337","created_at":"2026-07-05T11:38:59Z"},{"alias_kind":"arxiv_version","alias_value":"2507.13337v1","created_at":"2026-07-05T11:38:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.13337","created_at":"2026-07-05T11:38:59Z"},{"alias_kind":"pith_short_12","alias_value":"YRAGE2BY6D5L","created_at":"2026-07-05T11:38:59Z"},{"alias_kind":"pith_short_16","alias_value":"YRAGE2BY6D5LOEJH","created_at":"2026-07-05T11:38:59Z"},{"alias_kind":"pith_short_8","alias_value":"YRAGE2BY","created_at":"2026-07-05T11:38:59Z"}],"graph_snapshots":[{"event_id":"sha256:ab4952b11295b78127ea945a943c4af1362f06f9743a468d848fa00da2d65dbe","target":"graph","created_at":"2026-07-05T11:38:59Z","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/2507.13337/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Frontier AI models demonstrate formidable breadth of knowledge. But how close are they to true human -- or superhuman -- expertise? Genuine experts can tackle the hardest problems and push the boundaries of scientific understanding. To illuminate the limits of frontier model capabilities, we turn away from contrived competitive programming puzzles, and instead focus on real-life research problems.\n  We construct FormulaOne, a benchmark that lies at the intersection of graph theory, logic, and algorithms, all well within the training distribution of frontier models. Our problems are incredibly ","authors_text":"Alon Vinnikov, Amnon Shashua, Gal Beniamini, Ido Ben Shaul, Noam Wies, Or Sharir, Or Weinstein, Shai Shalev-Shwartz, Shir Granot Peled, Tomer Nussbaum, Tomer Zekharya, Yoav Levine, Yuval Dor","cross_cats":["cs.CC","math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-07-17T17:53:55Z","title":"FormulaOne: Measuring the Depth of Algorithmic Reasoning Beyond Competitive Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.13337","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:c7f5ae417e722e7d2d028512f184b3a1836d05977a3e586c8176b5b32dd54737","target":"record","created_at":"2026-07-05T11:38:59Z","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":"f1f734c7e2342dd50e05a2e905e161cea282c05bf51b7315614fbeae997b5bfd","cross_cats_sorted":["cs.CC","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-07-17T17:53:55Z","title_canon_sha256":"defa88a2a2686b57a61e818cfdcaceb8e3929a096021c94480b49ead40e319fe"},"schema_version":"1.0","source":{"id":"2507.13337","kind":"arxiv","version":1}},"canonical_sha256":"c440626838f0fab71127cd5cc8a50adfdcefe6047d62320f0700400084916ded","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c440626838f0fab71127cd5cc8a50adfdcefe6047d62320f0700400084916ded","first_computed_at":"2026-07-05T11:38:59.410812Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:38:59.410812Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zpV35Z5timF9ksQXL9n3RajX43STNzImgCi/uGVLYU/MiBoYn1DueUNMDfgAxuFP/JkwyTWfI/KOsgGjsIvTCw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:38:59.411205Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.13337","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c7f5ae417e722e7d2d028512f184b3a1836d05977a3e586c8176b5b32dd54737","sha256:ab4952b11295b78127ea945a943c4af1362f06f9743a468d848fa00da2d65dbe"],"state_sha256":"a780eeca3f2c3a71fa6260baaa6bceb600ab1da3059df590f24e050007b34379"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rr7NjW6rme9JGYYj0mBS8gZ5yjXwCRxf22U3IZnjOwSk9GnLVKT4d0sHjV1QUvEfDNGZ3LJVdYMHIQDTPosKDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-20T22:30:33.641736Z","bundle_sha256":"5b7960856b482914516f7d2769642bf0b3b183db737e37284278e3daa504a386"}}