{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:OXQIXBIM5E3UQB76YMIMAM2NKY","short_pith_number":"pith:OXQIXBIM","canonical_record":{"source":{"id":"2504.01995","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-01T00:10:10Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"b29c864d47b71051245d01257331d532e6a2cfcd9e2437257a154a385a4a0971","abstract_canon_sha256":"3db214dcb73bd2c78c783e01426ae4d80037e54df0ff9b6b972ec9bfd1c2ac00"},"schema_version":"1.0"},"canonical_sha256":"75e08b850ce9374807fec310c0334d560bc09aea3cf56496d4b2c2fb9a0c6649","source":{"kind":"arxiv","id":"2504.01995","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.01995","created_at":"2026-07-05T10:47:37Z"},{"alias_kind":"arxiv_version","alias_value":"2504.01995v2","created_at":"2026-07-05T10:47:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.01995","created_at":"2026-07-05T10:47:37Z"},{"alias_kind":"pith_short_12","alias_value":"OXQIXBIM5E3U","created_at":"2026-07-05T10:47:37Z"},{"alias_kind":"pith_short_16","alias_value":"OXQIXBIM5E3UQB76","created_at":"2026-07-05T10:47:37Z"},{"alias_kind":"pith_short_8","alias_value":"OXQIXBIM","created_at":"2026-07-05T10:47:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:OXQIXBIM5E3UQB76YMIMAM2NKY","target":"record","payload":{"canonical_record":{"source":{"id":"2504.01995","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-01T00:10:10Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"b29c864d47b71051245d01257331d532e6a2cfcd9e2437257a154a385a4a0971","abstract_canon_sha256":"3db214dcb73bd2c78c783e01426ae4d80037e54df0ff9b6b972ec9bfd1c2ac00"},"schema_version":"1.0"},"canonical_sha256":"75e08b850ce9374807fec310c0334d560bc09aea3cf56496d4b2c2fb9a0c6649","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:47:37.844930Z","signature_b64":"xvyUQBTVr3pJdXwEMOsehoD5/zGGi6VYJLXP0P+EwLIco7atuaJiE1vde0TAkzGnpjx7erVjxLafA/IcBReRCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"75e08b850ce9374807fec310c0334d560bc09aea3cf56496d4b2c2fb9a0c6649","last_reissued_at":"2026-07-05T10:47:37.844469Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:47:37.844469Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2504.01995","source_version":2,"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-05T10:47:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oy/GmHH14F2GeYNv9BRjIjmqiXKciLuUUiFtTM0l/eO5h2C0zZLBLUN8WkQ+Yh0pO2MAVFFkS9nmIai3ajnkCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-17T10:04:04.568332Z"},"content_sha256":"afd4c4b0bb9484c72b1a76aebb733ebd7060d433bbfa2d384471e5c59ce27ff3","schema_version":"1.0","event_id":"sha256:afd4c4b0bb9484c72b1a76aebb733ebd7060d433bbfa2d384471e5c59ce27ff3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:OXQIXBIM5E3UQB76YMIMAM2NKY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Brains vs. Bytes: Evaluating LLM Proficiency in Olympiad Mathematics","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.AI","authors_text":"Alireza Farhadi, Alireza Hashemi, Amir Khasahmadi, Hamed Mahdavi, Majid Daliri, Pegah Mohammadipour, Samira Malek, Vasant Honavar, Yekta Yazdanifard","submitted_at":"2025-04-01T00:10:10Z","abstract_excerpt":"Recent advances in large language models (LLMs) have shown impressive progress in mathematical reasoning tasks. However, current evaluation benchmarks predominantly focus on the accuracy of final answers, often overlooking the crucial logical rigor for mathematical problem solving. The claim that state-of-the-art LLMs can solve Math Olympiad-level problems requires closer examination. To explore this, we conducted both qualitative and quantitative human evaluations of proofs generated by LLMs, and developed a schema for automatically assessing their reasoning capabilities. Our study reveals th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.01995","kind":"arxiv","version":2},"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/2504.01995/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-05T10:47:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WjKh23ew5z6xMSygiOhMt/6oeWNx//iA/gRNbgONaqbIIk8gF2vzmaTg2iIjRqDD11em1ZRc1FTb4R9o5159Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-17T10:04:04.568720Z"},"content_sha256":"ece9cb88631bd51c29af45eb7e8dad04c713722303d62264b5d2281a4ed8ad31","schema_version":"1.0","event_id":"sha256:ece9cb88631bd51c29af45eb7e8dad04c713722303d62264b5d2281a4ed8ad31"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OXQIXBIM5E3UQB76YMIMAM2NKY/bundle.json","state_url":"https://pith.science/pith/OXQIXBIM5E3UQB76YMIMAM2NKY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OXQIXBIM5E3UQB76YMIMAM2NKY/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-07-17T10:04:04Z","links":{"resolver":"https://pith.science/pith/OXQIXBIM5E3UQB76YMIMAM2NKY","bundle":"https://pith.science/pith/OXQIXBIM5E3UQB76YMIMAM2NKY/bundle.json","state":"https://pith.science/pith/OXQIXBIM5E3UQB76YMIMAM2NKY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OXQIXBIM5E3UQB76YMIMAM2NKY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:OXQIXBIM5E3UQB76YMIMAM2NKY","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":"3db214dcb73bd2c78c783e01426ae4d80037e54df0ff9b6b972ec9bfd1c2ac00","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-01T00:10:10Z","title_canon_sha256":"b29c864d47b71051245d01257331d532e6a2cfcd9e2437257a154a385a4a0971"},"schema_version":"1.0","source":{"id":"2504.01995","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.01995","created_at":"2026-07-05T10:47:37Z"},{"alias_kind":"arxiv_version","alias_value":"2504.01995v2","created_at":"2026-07-05T10:47:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.01995","created_at":"2026-07-05T10:47:37Z"},{"alias_kind":"pith_short_12","alias_value":"OXQIXBIM5E3U","created_at":"2026-07-05T10:47:37Z"},{"alias_kind":"pith_short_16","alias_value":"OXQIXBIM5E3UQB76","created_at":"2026-07-05T10:47:37Z"},{"alias_kind":"pith_short_8","alias_value":"OXQIXBIM","created_at":"2026-07-05T10:47:37Z"}],"graph_snapshots":[{"event_id":"sha256:ece9cb88631bd51c29af45eb7e8dad04c713722303d62264b5d2281a4ed8ad31","target":"graph","created_at":"2026-07-05T10:47:37Z","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/2504.01995/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Recent advances in large language models (LLMs) have shown impressive progress in mathematical reasoning tasks. However, current evaluation benchmarks predominantly focus on the accuracy of final answers, often overlooking the crucial logical rigor for mathematical problem solving. The claim that state-of-the-art LLMs can solve Math Olympiad-level problems requires closer examination. To explore this, we conducted both qualitative and quantitative human evaluations of proofs generated by LLMs, and developed a schema for automatically assessing their reasoning capabilities. Our study reveals th","authors_text":"Alireza Farhadi, Alireza Hashemi, Amir Khasahmadi, Hamed Mahdavi, Majid Daliri, Pegah Mohammadipour, Samira Malek, Vasant Honavar, Yekta Yazdanifard","cross_cats":["cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-01T00:10:10Z","title":"Brains vs. Bytes: Evaluating LLM Proficiency in Olympiad Mathematics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.01995","kind":"arxiv","version":2},"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:afd4c4b0bb9484c72b1a76aebb733ebd7060d433bbfa2d384471e5c59ce27ff3","target":"record","created_at":"2026-07-05T10:47:37Z","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":"3db214dcb73bd2c78c783e01426ae4d80037e54df0ff9b6b972ec9bfd1c2ac00","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-01T00:10:10Z","title_canon_sha256":"b29c864d47b71051245d01257331d532e6a2cfcd9e2437257a154a385a4a0971"},"schema_version":"1.0","source":{"id":"2504.01995","kind":"arxiv","version":2}},"canonical_sha256":"75e08b850ce9374807fec310c0334d560bc09aea3cf56496d4b2c2fb9a0c6649","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"75e08b850ce9374807fec310c0334d560bc09aea3cf56496d4b2c2fb9a0c6649","first_computed_at":"2026-07-05T10:47:37.844469Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:47:37.844469Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xvyUQBTVr3pJdXwEMOsehoD5/zGGi6VYJLXP0P+EwLIco7atuaJiE1vde0TAkzGnpjx7erVjxLafA/IcBReRCg==","signature_status":"signed_v1","signed_at":"2026-07-05T10:47:37.844930Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.01995","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:afd4c4b0bb9484c72b1a76aebb733ebd7060d433bbfa2d384471e5c59ce27ff3","sha256:ece9cb88631bd51c29af45eb7e8dad04c713722303d62264b5d2281a4ed8ad31"],"state_sha256":"b95861a72bd38bdbf158df91a2bc15a1f0a8e77b7226ffa10950a5a0ab99b84d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zcMMsiB9mMwJ9ENK6sYU1ONUc4aLUZYMEIUtFlbXaQ1DxpYRHzQ7JHMMMz8nlKS30bqI1H82Vw1ZIvfwMJVWDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-17T10:04:04.570846Z","bundle_sha256":"e789f18996c4075c34eff2968f4e93798e21d39724cb295f15cd3e0f06a39acf"}}