Can an AI Agent Rediscover a Blaschke-Curve Invariant?

The paper investigates the rediscovery of mathematical invariants using generalized Blaschke curves as a controlled environment. Provided with numerical coordinates of six pair-lines across 80 boundary configurations for a degree-four Blaschke product, an AI agent identified a homogeneous cubic relation fitted to polygon sides. When evaluated on 480 lines across 80 unseen parameter values, the frozen coefficients yielded an RMS scale-free residual of 8.88e-17. However, out-of-fit consistency relied on discovery-set diagonals rather than a fully held-out test, and an independent run with a single configuration failed to find sufficient evidence for invariance. Furthermore, a post-review deterministic degree-search baseline recovered the identical cubic, indicating the agent demonstrated no measurable advantage over standard polynomial fitting. The authors frame the work primarily as an evaluation protocol distinguishing conjecture, numerical validation, and proof, noting severe limitations in reproducibility, prior knowledge leakage, and agent metadata.

• Review the proposed protocol for delineating conjecture, numerical verification, and formal proof in AI-driven discovery workflows.
• Benchmark agent-based mathematical discovery tools against deterministic baselines (such as degree-search polynomial fits) before claiming automated discovery advantages.