{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:B7F5K2IKJBTF7K2ZD3WZ4I7Q47","short_pith_number":"pith:B7F5K2IK","schema_version":"1.0","canonical_sha256":"0fcbd5690a48665fab591eed9e23f0e7c3fee16fc5f3416cf030c547dd569ecf","source":{"kind":"arxiv","id":"2607.27705","version":1},"attestation_state":"computed","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 "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2607.27705","created_at":"2026-07-31T01:29:58.597494+00:00"},{"alias_kind":"arxiv_version","alias_value":"2607.27705v1","created_at":"2026-07-31T01:29:58.597494+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.27705","created_at":"2026-07-31T01:29:58.597494+00:00"},{"alias_kind":"pith_short_12","alias_value":"B7F5K2IKJBTF","created_at":"2026-07-31T01:29:58.597494+00:00"},{"alias_kind":"pith_short_16","alias_value":"B7F5K2IKJBTF7K2Z","created_at":"2026-07-31T01:29:58.597494+00:00"},{"alias_kind":"pith_short_8","alias_value":"B7F5K2IK","created_at":"2026-07-31T01:29:58.597494+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/B7F5K2IKJBTF7K2ZD3WZ4I7Q47","json":"https://pith.science/pith/B7F5K2IKJBTF7K2ZD3WZ4I7Q47.json","graph_json":"https://pith.science/api/pith-number/B7F5K2IKJBTF7K2ZD3WZ4I7Q47/graph.json","events_json":"https://pith.science/api/pith-number/B7F5K2IKJBTF7K2ZD3WZ4I7Q47/events.json","paper":"https://pith.science/paper/B7F5K2IK"},"agent_actions":{"view_html":"https://pith.science/pith/B7F5K2IKJBTF7K2ZD3WZ4I7Q47","download_json":"https://pith.science/pith/B7F5K2IKJBTF7K2ZD3WZ4I7Q47.json","view_paper":"https://pith.science/paper/B7F5K2IK","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2607.27705&json=true","fetch_graph":"https://pith.science/api/pith-number/B7F5K2IKJBTF7K2ZD3WZ4I7Q47/graph.json","fetch_events":"https://pith.science/api/pith-number/B7F5K2IKJBTF7K2ZD3WZ4I7Q47/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/B7F5K2IKJBTF7K2ZD3WZ4I7Q47/action/timestamp_anchor","attest_storage":"https://pith.science/pith/B7F5K2IKJBTF7K2ZD3WZ4I7Q47/action/storage_attestation","attest_author":"https://pith.science/pith/B7F5K2IKJBTF7K2ZD3WZ4I7Q47/action/author_attestation","sign_citation":"https://pith.science/pith/B7F5K2IKJBTF7K2ZD3WZ4I7Q47/action/citation_signature","submit_replication":"https://pith.science/pith/B7F5K2IKJBTF7K2ZD3WZ4I7Q47/action/replication_record"}},"created_at":"2026-07-31T01:29:58.597494+00:00","updated_at":"2026-07-31T01:29:58.597494+00:00"}