An arXiv abstract credits "the Odin Automatic AI Research Agent" with discovering the proof

arXiv (via r/singularity)·medium signalXBlueskyLinkedInCopy link

arXiv 2609.11189, "Vector Balancing via Directional Total Variation" by Shengtao Guo, Ethan X. Fang and Junwei Lu, submitted September 10 2026, establishes a 3√(2π) bound for the Komlós signing problem and gives set-system coloring results matching Beck-Fiala predictions. The abstract states plainly that "the proof was discovered by the Odin Automatic AI Research Agent," and gives no description of what Odin is, who operates it, or what it actually did. r/singularity found it at 54 upvotes with 8 comments, so this is an unexamined primary document rather than a covered story.