VibeMathedMath problems solved by AI
All problems

Optimal Online Discrepancy in Linear Time

Given online vectors vtRdv_t \in \mathbb{R}^d with vt21\|v_t\|_2 \le 1, can signs εt{1,1}\varepsilon_t \in \{-1, 1\} be chosen in O(dT)O(dT) total time so that every prefix has \ell_\infty discrepancy O(logT)O(\sqrt{\log T}) with high probability? The previous optimal algorithm ran in time exponential in TT and dd.

Result
Proved
Status
Resolved
AI contribution
AI-discovered
Method
Argument
Field
Discrepancy theory
Posed by
Year posed
2023
Years open
3y
Solved
2026-07-06
Model
GPT-5.5 Pro Extended
Vendor
OpenAI
Collaborators
Ishaq Aden-Ali
Verification
Unreviewed
Publication
Preprint
Significance
10 / 100
Disclosed cost
Wikipedia
No dedicated article

What the AI did

The algorithm and main proof were discovered in a GPT-5.5 Pro Extended conversation prompted by the author; every prefix sum is written as a sum of three coupled Gaussian vectors.

Verification

Author-checked arXiv preprint. Not yet peer-reviewed.

Source

arXiv:2607.04388 - Optimal online discrepancy minimization in linear time

Discussion