arXiv AI
PACE: Research Proving Agent for Adaptive Conjecture Exploration
Read the original on arXiv AI →The Flow has not summarised this story yet — read it at arXiv AI.
Related stories
arXiv AI
Oct 2
RMA: Context-Orchestrated Research Math Agents
arXiv:2605.22875v2 Announce Type: replace Abstract: Long-horizon mathematical reasoning fails less often because a model cannot produce a valid next step than because an agent fails to maintain and e...
Hugging Face Trending Papers
Jul 30
MECA: A Mechanism-Centered Agent for Constructing Well-Specified and Valuable Mathematical Conjectures
Automatically constructing well-specified and valuable mathematical conjectures remains a central challenge in AI-assisted mathematical discovery. Many existing open problems and conjectures are often too broad, underspecified, or difficult to connect to plausible proof or refutation strategies.
arXiv AI
Oct 7
EPOCH: Reliable Discovery through Evidence-Governed Search
EPOCH is an evidence‑governed architecture for AI research agents that improves how candidate discoveries are evaluated and validated. By combining explicit task contracts, typed memory, active falsification, admission checks, and independent replay, EPOCH ensures that each candidate is judged against the strength and scope of its claim. The system achieves state‑of‑the‑art performance on several benchmarks, including AlgoTune, Math14, and AgentHPO, and demonstrates significant advances in executable constructions, algorithm optimization, counterexamples, and proof‑supported results across ten discovery problems.
arXiv AI
Oct 5
Continual Graph Memory for Mathematical Research Agents
The paper introduces Ansatz, a mathematical research agent that uses Continual Graph Memory to organize and reuse intermediate proof results across multiple problems. The system represents facts, plans, and counterexamples in a unified graph, enabling dependency-aware retrieval, evidence-sensitive curation, and scoped recall to guide long-horizon proof searches. Experiments show Ansatz solves all ten First Proof Second Batch problems, tackles the Jamison caterpillar conjecture, and makes progress on several Erdős problems without human help.
arXiv AI
Jul 17
MathCoPilot: An Interactive System for Human-AI Symbiotic Paradigm of Mathematical Research
arXiv:2607. 14582v1 Announce Type: new Abstract: Existing LLM-based theorem provers have achieved impressive results on formal mathematics benchmarks, yet they remain confined to acting as autonomous agents that prove a stated proposition.
arXiv AI
Jul 9
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics
arXiv:2607. 06820v1 Announce Type: new Abstract: Recent advances in AI for Mathematics have focused largely on autoformalization and theorem proving, leaving the role of Computer Algebra Systems (CAS) in agentic LLM workflows underexplored.