arXiv AI By Stephen Chung, Wenyu Du, William J. Wesley

Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment

Read the original on arXiv AI →

The paper reports on autonomous mathematical discovery within the Station, an open‑world multi‑agent environment where diverse AI agents pursue shared research goals without central coordination. Across 12 construction problems and two case studies, the agents produced novel results—including a new infinite family of finite‑field Kakeya sets, 604‑point kissing configurations in dimension 11, improved records for discretized Kakeya needle and sign uncertainty problems, a stronger lower bound for Erdős’s minimum‑overlap problem, and new infinite families for Book Ramsey numbers—alongside theorems and analyses that explain the constructions. All agent dialogues, proofs, and verification code are released to provide a transparent record of the discovery process.

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
Sep 3

AI Mathematician: Towards Fully Automated Frontier Mathematical Research

The paper introduces the AI Mathematician (AIM) framework, which leverages Large Reasoning Models (LRMs) to tackle frontier mathematical research. AIM addresses the complexity and procedural rigor of research problems through an exploration mechanism for longer solution paths and a pessimistic reasonable verification method for reliability. Early experiments show AIM can autonomously construct significant proof components and uncover non‑trivial insights across real‑world mathematical topics.

By Yuanhang Liu, Yanxing Huang, Yanqiao Wang, Peng Li, Yang Liu
arXiv AI
Jun 9

Advancing Mathematics Research with AI-Driven Formal Proof Search

arXiv:2605. 22763v2 Announce Type: replace Abstract: Large language models (LLMs) increasingly excel at mathematical reasoning, but their unreliability limits their utility in mathematics research.

By George Tsoukalas, Anton Kovsharov, Sergey Shirobokov, Anja Surina, Moritz Firsching, Gergely B\'erczi, Francisco J. R. Ruiz, Arun Suggala, Adam Zsolt Wagner, Eric Wieser, Lei Yu, Aja Huang, Mikl\'os Z. Horv\'ath, Andrew Ferraiuolo, Henryk Michalewski, Edward Lockhart, Codrut Grosu, Thomas Hubert, Matej Balog, Pushmeet Kohli, Swarat Chaudhuri