arXiv AI By Zihan Zhou, Digvijay Wadekar, Matias Zaldarriaga

How AI Agents Discover Scientific Equations: From Hydrotope Rediscovery to New Water-Wave Amplitudes

Read the original on arXiv AI →

The paper investigates how AI agents can discover and validate scientific formulas, focusing on the hydrotope—a geometric formula that unifies polynomial pieces of nonlinear surface-wave scattering. Through controlled experiments, the authors compare human–agent collaboration, single-prompt rediscovery, and various guided approaches, finding that only a PI$+$two-student workflow reliably reconstructs the full hydrotope and even uncovers a new analytic expression for the six-point amplitude $A_6$. The study highlights the challenges of combining exponentially many terms and the importance of coordinated analytic and numerical tasks for successful formula discovery.

Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at arXiv AI.

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.

By Junjie Zhang, Jiayu Liu, Wenbin Liu, Zhenya Huang, Doudou Wang, Yan Jiang, Leiye Xu, Tao Xiong, Wen Huang, Qi Liu, Guoping Hu, Enhong Chen, Mengping Zhang, Xiangdong Ye
arXiv AI
Aug 19

The Problem Is the Problem: Towards Scalable Mathematical Discovery

The paper introduces a new human‑AI collaboration paradigm for mathematical discovery, shifting from selecting individual problems to exploring broad research directions. It presents the Find, Attempt, and Recommend (FAR) pipeline, which automatically searches a literature corpus, filters candidate conjectures, and surfaces promising resolutions for expert review. In a combinatorics pilot, FAR processed over 5,000 papers, identified thousands of open conjectures, and ultimately highlighted 77 items that led to new discoveries.

By Zeyu Zheng, Shengtong Zhang, Jeremy Avigad, Prasad Tetali, Sean Welleck