{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:B7F5K2IKJBTF7K2ZD3WZ4I7Q47","short_pith_number":"pith:B7F5K2IK","canonical_record":{"source":{"id":"2607.27705","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-07-30T05:41:44Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"08787295bf0d80837a5f0c7b418a5a9b9a1d45e81a3ceb3461eb76e9cba0f0bf","abstract_canon_sha256":"23aa890e51e6c5d381e51f4d6b6b26e5052c4004b99b4d2dce3728bec816f464"},"schema_version":"1.0"},"canonical_sha256":"0fcbd5690a48665fab591eed9e23f0e7c3fee16fc5f3416cf030c547dd569ecf","source":{"kind":"arxiv","id":"2607.27705","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.27705","created_at":"2026-07-31T01:29:58Z"},{"alias_kind":"arxiv_version","alias_value":"2607.27705v1","created_at":"2026-07-31T01:29:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.27705","created_at":"2026-07-31T01:29:58Z"},{"alias_kind":"pith_short_12","alias_value":"B7F5K2IKJBTF","created_at":"2026-07-31T01:29:58Z"},{"alias_kind":"pith_short_16","alias_value":"B7F5K2IKJBTF7K2Z","created_at":"2026-07-31T01:29:58Z"},{"alias_kind":"pith_short_8","alias_value":"B7F5K2IK","created_at":"2026-07-31T01:29:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:B7F5K2IKJBTF7K2ZD3WZ4I7Q47","target":"record","payload":{"canonical_record":{"source":{"id":"2607.27705","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-07-30T05:41:44Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"08787295bf0d80837a5f0c7b418a5a9b9a1d45e81a3ceb3461eb76e9cba0f0bf","abstract_canon_sha256":"23aa890e51e6c5d381e51f4d6b6b26e5052c4004b99b4d2dce3728bec816f464"},"schema_version":"1.0"},"canonical_sha256":"0fcbd5690a48665fab591eed9e23f0e7c3fee16fc5f3416cf030c547dd569ecf","receipt":{"kind":"pith_receipt","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0fcbd5690a48665fab591eed9e23f0e7c3fee16fc5f3416cf030c547dd569ecf","last_reissued_at":"2026-07-31T01:29:58.594466Z","signature_status":"unsigned_v0","first_computed_at":"2026-07-31T01:29:58.594466Z"},"source_kind":"arxiv","source_id":"2607.27705","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-31T01:29:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"opOcrpVYITgzi9FBWla+7WCDBRC5lzz/HP72ZU9CogJqR1bbQERi8HPFfyBUQSFRVDNFiwAeupZVj6f4OJpIBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-01T16:35:28.675385Z"},"content_sha256":"d24119b6c534c7e12ee28bac27c9f85c8e24bf1ca573ea4b7274021ba24da255","schema_version":"1.0","event_id":"sha256:d24119b6c534c7e12ee28bac27c9f85c8e24bf1ca573ea4b7274021ba24da255"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:B7F5K2IKJBTF7K2ZD3WZ4I7Q47","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Albilich: Steerable Proof-State Orchestration for LLM-Based Mathematical Research with CAS Integration","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.AI","authors_text":"Michael Ruofan Zeng, Ting Gong, Yong Yang","submitted_at":"2026-07-30T05:41:44Z","abstract_excerpt":"Large language models can contribute useful ideas to mathematical research, yet long-horizon proof attempts remain difficult to coordinate, evaluate, and reproduce. We present Albilich, an open-source agentic harness for autoresearch in mathematics that combines long-horizon reasoning, computer algebra systems (CAS), literature retrieval, and persistent SQLite-based context management.\n  We evaluate Albilich on the RealMath benchmark (Zhang et al. 2025) and on open problems in group theory from the Kourovka Notebook (Khukhro and Mazurov 2026). It solved 10/10 problems on RealMath with CAS and "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.27705","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/2607.27705/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-31T01:29:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Y1o5qNH/kPZ42Q5w9zfmA9oRXemx4LkI4Zk0PxGhoocf+a+ott+bofqBr9VkFLWgmHAEX7+vywocZNNeMNHEAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-01T16:35:28.675897Z"},"content_sha256":"1e3f668bb61b306af0b349398b4f5d7d37fed2141eb4af36c0356f830529b49a","schema_version":"1.0","event_id":"sha256:1e3f668bb61b306af0b349398b4f5d7d37fed2141eb4af36c0356f830529b49a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/B7F5K2IKJBTF7K2ZD3WZ4I7Q47/bundle.json","state_url":"https://pith.science/pith/B7F5K2IKJBTF7K2ZD3WZ4I7Q47/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/B7F5K2IKJBTF7K2ZD3WZ4I7Q47/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-01T16:35:28Z","links":{"resolver":"https://pith.science/pith/B7F5K2IKJBTF7K2ZD3WZ4I7Q47","bundle":"https://pith.science/pith/B7F5K2IKJBTF7K2ZD3WZ4I7Q47/bundle.json","state":"https://pith.science/pith/B7F5K2IKJBTF7K2ZD3WZ4I7Q47/state.json","well_known_bundle":"https://pith.science/.well-known/pith/B7F5K2IKJBTF7K2ZD3WZ4I7Q47/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:B7F5K2IKJBTF7K2ZD3WZ4I7Q47","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":"23aa890e51e6c5d381e51f4d6b6b26e5052c4004b99b4d2dce3728bec816f464","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-07-30T05:41:44Z","title_canon_sha256":"08787295bf0d80837a5f0c7b418a5a9b9a1d45e81a3ceb3461eb76e9cba0f0bf"},"schema_version":"1.0","source":{"id":"2607.27705","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.27705","created_at":"2026-07-31T01:29:58Z"},{"alias_kind":"arxiv_version","alias_value":"2607.27705v1","created_at":"2026-07-31T01:29:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.27705","created_at":"2026-07-31T01:29:58Z"},{"alias_kind":"pith_short_12","alias_value":"B7F5K2IKJBTF","created_at":"2026-07-31T01:29:58Z"},{"alias_kind":"pith_short_16","alias_value":"B7F5K2IKJBTF7K2Z","created_at":"2026-07-31T01:29:58Z"},{"alias_kind":"pith_short_8","alias_value":"B7F5K2IK","created_at":"2026-07-31T01:29:58Z"}],"graph_snapshots":[{"event_id":"sha256:1e3f668bb61b306af0b349398b4f5d7d37fed2141eb4af36c0356f830529b49a","target":"graph","created_at":"2026-07-31T01:29:58Z","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/2607.27705/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large language models can contribute useful ideas to mathematical research, yet long-horizon proof attempts remain difficult to coordinate, evaluate, and reproduce. We present Albilich, an open-source agentic harness for autoresearch in mathematics that combines long-horizon reasoning, computer algebra systems (CAS), literature retrieval, and persistent SQLite-based context management.\n  We evaluate Albilich on the RealMath benchmark (Zhang et al. 2025) and on open problems in group theory from the Kourovka Notebook (Khukhro and Mazurov 2026). It solved 10/10 problems on RealMath with CAS and ","authors_text":"Michael Ruofan Zeng, Ting Gong, Yong Yang","cross_cats":["cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-07-30T05:41:44Z","title":"Albilich: Steerable Proof-State Orchestration for LLM-Based Mathematical Research with CAS Integration"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.27705","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:d24119b6c534c7e12ee28bac27c9f85c8e24bf1ca573ea4b7274021ba24da255","target":"record","created_at":"2026-07-31T01:29:58Z","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":"23aa890e51e6c5d381e51f4d6b6b26e5052c4004b99b4d2dce3728bec816f464","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-07-30T05:41:44Z","title_canon_sha256":"08787295bf0d80837a5f0c7b418a5a9b9a1d45e81a3ceb3461eb76e9cba0f0bf"},"schema_version":"1.0","source":{"id":"2607.27705","kind":"arxiv","version":1}},"canonical_sha256":"0fcbd5690a48665fab591eed9e23f0e7c3fee16fc5f3416cf030c547dd569ecf","receipt":{"builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0fcbd5690a48665fab591eed9e23f0e7c3fee16fc5f3416cf030c547dd569ecf","first_computed_at":"2026-07-31T01:29:58.594466Z","kind":"pith_receipt","last_reissued_at":"2026-07-31T01:29:58.594466Z","receipt_version":"0.3","signature_status":"unsigned_v0"},"source_id":"2607.27705","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d24119b6c534c7e12ee28bac27c9f85c8e24bf1ca573ea4b7274021ba24da255","sha256:1e3f668bb61b306af0b349398b4f5d7d37fed2141eb4af36c0356f830529b49a"],"state_sha256":"d8981138732b12460fb8029e08a48b76d5876d0490537dee0126ac464ff97bbd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"U4WdlkYCHUBybi0ohBvjYLEH2uHkn6eeAyeDuE8RM+XYAzebbc35bEZazPkjjv/agGSNeFs8mPJomwVBxYxWDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-01T16:35:28.680015Z","bundle_sha256":"51b3031801c7aee34f3c3b1d93b5f29586372167be0ee3f1ce65031eebfa2fe1"}}