{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:JSDZGJ66BO3M3ZXMWF7Z4LW5E2","short_pith_number":"pith:JSDZGJ66","canonical_record":{"source":{"id":"2307.02502","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"q-bio.OT","submitted_at":"2023-07-04T20:16:32Z","cross_cats_sorted":["cs.AI","cs.CL"],"title_canon_sha256":"487cbdb1d8657f764a986c89ee981067fe6f3f263a4a8c6c0cb1ebe6486bc534","abstract_canon_sha256":"dc8b146b7a6e138967da2dd0b1941556c8d2270a7de9323f0919c8ba649d3884"},"schema_version":"1.0"},"canonical_sha256":"4c879327de0bb6cde6ecb17f9e2edd26b08940d1a035d021b91c1ab9fe229e80","source":{"kind":"arxiv","id":"2307.02502","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2307.02502","created_at":"2026-07-05T06:28:20Z"},{"alias_kind":"arxiv_version","alias_value":"2307.02502v1","created_at":"2026-07-05T06:28:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2307.02502","created_at":"2026-07-05T06:28:20Z"},{"alias_kind":"pith_short_12","alias_value":"JSDZGJ66BO3M","created_at":"2026-07-05T06:28:20Z"},{"alias_kind":"pith_short_16","alias_value":"JSDZGJ66BO3M3ZXM","created_at":"2026-07-05T06:28:20Z"},{"alias_kind":"pith_short_8","alias_value":"JSDZGJ66","created_at":"2026-07-05T06:28:20Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:JSDZGJ66BO3M3ZXMWF7Z4LW5E2","target":"record","payload":{"canonical_record":{"source":{"id":"2307.02502","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"q-bio.OT","submitted_at":"2023-07-04T20:16:32Z","cross_cats_sorted":["cs.AI","cs.CL"],"title_canon_sha256":"487cbdb1d8657f764a986c89ee981067fe6f3f263a4a8c6c0cb1ebe6486bc534","abstract_canon_sha256":"dc8b146b7a6e138967da2dd0b1941556c8d2270a7de9323f0919c8ba649d3884"},"schema_version":"1.0"},"canonical_sha256":"4c879327de0bb6cde6ecb17f9e2edd26b08940d1a035d021b91c1ab9fe229e80","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:28:20.869533Z","signature_b64":"cOJTqZSp2a+4PYmwVBKvHRXjmIIQznw1+7IBmfmcrFuUbtHOhBF/C49kqumPrktiDc8k6zmmPNXCwXMrt46PBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4c879327de0bb6cde6ecb17f9e2edd26b08940d1a035d021b91c1ab9fe229e80","last_reissued_at":"2026-07-05T06:28:20.869042Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:28:20.869042Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2307.02502","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-05T06:28:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"549J6Q0Gd6+OP7s1iVfUmvdxvbHmjVkFmOlO7vM0l+Oi5kt5TSGb8bhJE6pZsd3gwO2uJn+lJNarbhRTP6ozBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T00:28:23.584791Z"},"content_sha256":"3073d3275e3d126b3de6ebe0682e632bfe3f1e5b259a7ffce29a9de051699e94","schema_version":"1.0","event_id":"sha256:3073d3275e3d126b3de6ebe0682e632bfe3f1e5b259a7ffce29a9de051699e94"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:JSDZGJ66BO3M3ZXMWF7Z4LW5E2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Math Agents: Computational Infrastructure, Mathematical Embedding, and Genomics","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.AI","cs.CL"],"primary_cat":"q-bio.OT","authors_text":"Eric Roland, Melanie Swan, Renato P. dos Santos, Takashi Kido","submitted_at":"2023-07-04T20:16:32Z","abstract_excerpt":"The advancement in generative AI could be boosted with more accessible mathematics. Beyond human-AI chat, large language models (LLMs) are emerging in programming, algorithm discovery, and theorem proving, yet their genomics application is limited. This project introduces Math Agents and mathematical embedding as fresh entries to the \"Moore's Law of Mathematics\", using a GPT-based workflow to convert equations from literature into LaTeX and Python formats. While many digital equation representations exist, there's a lack of automated large-scale evaluation tools. LLMs are pivotal as linguistic"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2307.02502","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/2307.02502/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-05T06:28:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wlTNxplThJ/z3nvTvTu87R5oSTOCnDqArE/dxiOF4PjM0n8kFbs1BGjHDWTsnjbV5EnIskWT4I+qI9eEmYMmCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T00:28:23.585297Z"},"content_sha256":"7514827029d6cf89ab024261513b1cb91de41b993259fd07f53e290ecff0d591","schema_version":"1.0","event_id":"sha256:7514827029d6cf89ab024261513b1cb91de41b993259fd07f53e290ecff0d591"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JSDZGJ66BO3M3ZXMWF7Z4LW5E2/bundle.json","state_url":"https://pith.science/pith/JSDZGJ66BO3M3ZXMWF7Z4LW5E2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JSDZGJ66BO3M3ZXMWF7Z4LW5E2/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-04T00:28:23Z","links":{"resolver":"https://pith.science/pith/JSDZGJ66BO3M3ZXMWF7Z4LW5E2","bundle":"https://pith.science/pith/JSDZGJ66BO3M3ZXMWF7Z4LW5E2/bundle.json","state":"https://pith.science/pith/JSDZGJ66BO3M3ZXMWF7Z4LW5E2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JSDZGJ66BO3M3ZXMWF7Z4LW5E2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:JSDZGJ66BO3M3ZXMWF7Z4LW5E2","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":"dc8b146b7a6e138967da2dd0b1941556c8d2270a7de9323f0919c8ba649d3884","cross_cats_sorted":["cs.AI","cs.CL"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"q-bio.OT","submitted_at":"2023-07-04T20:16:32Z","title_canon_sha256":"487cbdb1d8657f764a986c89ee981067fe6f3f263a4a8c6c0cb1ebe6486bc534"},"schema_version":"1.0","source":{"id":"2307.02502","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2307.02502","created_at":"2026-07-05T06:28:20Z"},{"alias_kind":"arxiv_version","alias_value":"2307.02502v1","created_at":"2026-07-05T06:28:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2307.02502","created_at":"2026-07-05T06:28:20Z"},{"alias_kind":"pith_short_12","alias_value":"JSDZGJ66BO3M","created_at":"2026-07-05T06:28:20Z"},{"alias_kind":"pith_short_16","alias_value":"JSDZGJ66BO3M3ZXM","created_at":"2026-07-05T06:28:20Z"},{"alias_kind":"pith_short_8","alias_value":"JSDZGJ66","created_at":"2026-07-05T06:28:20Z"}],"graph_snapshots":[{"event_id":"sha256:7514827029d6cf89ab024261513b1cb91de41b993259fd07f53e290ecff0d591","target":"graph","created_at":"2026-07-05T06:28:20Z","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/2307.02502/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The advancement in generative AI could be boosted with more accessible mathematics. Beyond human-AI chat, large language models (LLMs) are emerging in programming, algorithm discovery, and theorem proving, yet their genomics application is limited. This project introduces Math Agents and mathematical embedding as fresh entries to the \"Moore's Law of Mathematics\", using a GPT-based workflow to convert equations from literature into LaTeX and Python formats. While many digital equation representations exist, there's a lack of automated large-scale evaluation tools. LLMs are pivotal as linguistic","authors_text":"Eric Roland, Melanie Swan, Renato P. dos Santos, Takashi Kido","cross_cats":["cs.AI","cs.CL"],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"q-bio.OT","submitted_at":"2023-07-04T20:16:32Z","title":"Math Agents: Computational Infrastructure, Mathematical Embedding, and Genomics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2307.02502","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:3073d3275e3d126b3de6ebe0682e632bfe3f1e5b259a7ffce29a9de051699e94","target":"record","created_at":"2026-07-05T06:28:20Z","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":"dc8b146b7a6e138967da2dd0b1941556c8d2270a7de9323f0919c8ba649d3884","cross_cats_sorted":["cs.AI","cs.CL"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"q-bio.OT","submitted_at":"2023-07-04T20:16:32Z","title_canon_sha256":"487cbdb1d8657f764a986c89ee981067fe6f3f263a4a8c6c0cb1ebe6486bc534"},"schema_version":"1.0","source":{"id":"2307.02502","kind":"arxiv","version":1}},"canonical_sha256":"4c879327de0bb6cde6ecb17f9e2edd26b08940d1a035d021b91c1ab9fe229e80","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4c879327de0bb6cde6ecb17f9e2edd26b08940d1a035d021b91c1ab9fe229e80","first_computed_at":"2026-07-05T06:28:20.869042Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:28:20.869042Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cOJTqZSp2a+4PYmwVBKvHRXjmIIQznw1+7IBmfmcrFuUbtHOhBF/C49kqumPrktiDc8k6zmmPNXCwXMrt46PBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T06:28:20.869533Z","signed_message":"canonical_sha256_bytes"},"source_id":"2307.02502","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3073d3275e3d126b3de6ebe0682e632bfe3f1e5b259a7ffce29a9de051699e94","sha256:7514827029d6cf89ab024261513b1cb91de41b993259fd07f53e290ecff0d591"],"state_sha256":"b654f5a7ef845a5f4f9826cf92796450c6cde9ce9faceb7dfd1d802e50e3b720"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WlW/Bwf31UckfEEiVRxHNdicb0oCEdoeXgTtiPGSlNnwzK/vMOId3HkdesUehteH7YyGY/Co379wZ0GqZyXQAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T00:28:23.590145Z","bundle_sha256":"50254be4a0944b9d09a8fca31c21de1ec650b8eba8ee5bd25bd0d628c136b67e"}}