Showing 2026 · cs.AIShow all
2 papers · 2 filters
cs.AI2026
An AI-Assisted Formalization of the Poincaré Conjecture
Zhiyuan Zhang, Axel Delaval, Leheng Chen +6
We present an AI-assisted Lean 4 formalization of the Poincaré conjecture. The project began with limited reusable formal infrastructure for the geometric analysis behind the proof…
cs.AI2026
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory
Jihao Liu, Guoxiong Gao, Zeming Sun +8
Recent LLM-based mathematical reasoning agents have begun to tackle research-level problems and, in several cases, have contributed to the resolution of open problems. However, sca…