PACE: Research Proving Agent for Adaptive Conjecture Exploration.

arXiv:2610.33690v1 Announce Type: new Abstract: Many mathematical research agents focus on solving problems with fixed statements. However, conjecture research, especially in applied mathematics, may require revising candidate questions or conclusions as inves