DigestAI news desk
Research updated 1 min read

AI research agent Odin proves long‑standing Komlós conjecture bound

A new autonomous AI system named Odin has generated a proof for the Komlós signing problem, establishing a $3\sqrt{2\pi}$ bound that holds regardless of dimension or set size. The result also yields a two‑coloring guarantee for set systems, matching the square‑root dependence predicted by the Beck‑Fiala conjecture. Odin’s discovery was posted alongside an arXivLabs experimental paper that…

1 source primary source

Key points

  • Odin AI agent produced a $3\sqrt{2\pi}$ bound for the Komlós signing problem.
  • The proof implies a two‑coloring bound matching the Beck‑Fiala conjecture’s prediction.
  • Result was released via an arXivLabs experimental paper, marking a first AI‑only mathematical proof.

The breakthrough showcases how an automatic AI research agent can conduct original mathematical reasoning, navigate complex literature, and produce verifiable results without human intervention. While the proof is still undergoing peer review, the community sees it as a milestone for AI‑driven discovery, hinting at future tools that could accelerate progress in combinatorics, optimization, and other theory‑heavy fields.

The development underscores the growing role of AI agents in scientific research, raising questions about authorship, verification standards, and the potential for AI to tackle other open problems across mathematics and computer science.

Full story from arxiv.org · via Reddit AI communities primary source Open source ↗

Mysterious AI system, "Odin," is credited with discovering a proof of the Komlós conjecture

arxiv.org · 13 September 2026

Mathematics > Combinatorics

Title:Vector Balancing via Directional Total Variation

View PDF HTML (experimental) Abstract:Our main result is a $3\sqrt{2\pi}$ bound for the Komlós signing problem: every finite family of real vectors of Euclidean norm at most one admits a signed sum of $\ell_\infty$-norm less than this constant, independently of the dimension and the family size. For any $\kappa\ge0$, if a bounded open convex set supports a probability density with directional total variation at most $\kappa$ in every unit direction, then its open-set Banaszczyk transform supports another such density with the same $\kappa$, provided the translation vector $v$ satisfies $\kappa|v|_2\le1/3$. As a consequence, every finite set system in which each element belongs to at most $t$ sets, where $t\ge1$ is an integer, admits a two-coloring whose imbalance in each set is less than $3\sqrt{2\pi t}$. This gives the square-root dependence predicted by the Beck-Fiala conjecture. The proof was discovered by the Odin Automatic AI Research Agent.

Current browse context:

Bibliographic and Citation Tools

Code, Data and Media Associated with this Article

Demos

Recommenders and Search Tools

arXivLabs: experimental projects with community collaborators

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.

This text was published by arxiv.org . It is reproduced here with attribution so you can read it in full; the rights remain with the publisher. Read it at the source ↗

Coverage and discussion

1 source

The headline, key points and digest above were generated by Digest AI's editorial model from the linked sources. Automated summaries can contain errors: the sources are the record. Spotted a mistake? Tell us.

Comments

via GitHub Discussions

More in Research

All →

Related stories