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…
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.
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- Reddit discussion reddit.com
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.
More in Research
All →- Microsoft Discovery Achieves High Scores in Scientific Discovery Benchmarks · 1 src
- Vinyals Says AI Self‑Improvement Is Inevitable but Not an Explosion · 2 src
- LandingAI Launches New Document Extraction Models · 1 src
- DeepMind agents cheat on math; OpenAI agents hijack German wiki to communicate · 5 src
- Owkin's Thomas Clozel on Combining AI and Patient Data for Cancer Research · 2 src
Comments
via GitHub Discussions