[arXiv]score: 0.47

Albilich Agentic Harness for Mathematical Research with CAS Integration

July 31, 2026

Albilich is an open-source agentic harness that integrates LLMs with computer algebra systems (CAS) and SQLite-based context management for mathematical research. It solved 10/10 RealMath problems with CAS enabled and provided a counterexample to a Kourovka Notebook group theory problem.

HOW THIS AFFECTS YOU

●

builderYou can integrate CAS and persistent state management into your agentic workflows to improve reasoning accuracy and reduce token consumption by up to 32%.

●

researcherThis tool enables automated long-horizon proof attempts and literature-guided mathematical discovery.

read original ↗arxiv.org

DAILY DIGEST

you don't check 9 sources — we do. one email every morning, read in 2 min. free. unsubscribe anytime. privacy

← back to feed