The I3322 Bell inequality needs infinite dimensions: Pál–Vértesi conjecture (2010) proved from an approximate proof by GPT-5.5 Pro
Andrea Coladangelo (University of Washington) proved the Pál–Vértesi conjecture that no finite-dimensional quantum strategy reaches the maximal violation of the I3322 Bell inequality, while an infinite-dimensional one does (arXiv 2609.06038, 5 Sep 2026). I3322 is one of the simplest Bell inequalities. His AI statement says 'An approximate proof (containing all of the main ideas) was produced by GPT 5.5 Pro'. He then substantially revised it for completeness and correctness, with help from GPT-5.6 Sol.
Key facts
- Conjecture: Pál and Vértesi (Physical Review A, 2010); I3322 has three questions and two answers per party, the simplest Bell scenario where this phenomenon could occur
- Previously a 5-question, 3-answer correlation with this property was known (Coladangelo and Stark, Nature Communications 2020)
- Proof tool: a Bellman-function-style certificate from two families of inequalities that bounds the value of any finite-dimensional strategy
- AI usage statement: 'An approximate proof (containing all of the main ideas) was produced by GPT 5.5 Pro after some rounds of interaction with the author. That first approximate proof was much shorter, and arguably quite difficult to parse by a human'; the final text is the author's revision, with help from GPT 5.6 Sol
- Status: preprint (78 pages)
Science result
- Field
- physics / quantum information / nonlocality
- Problem
- Pál–Vértesi conjecture: I3322 maximal violation needs infinite-dimensional entanglement (open since 2010)
- Result
- Proof that the supremum of the I3322 quantum value is not attained by any finite-dimensional strategy.
- AI system
- GPT-5.5 Pro, GPT-5.6 Sol
- Human role
- The AI produced an approximate proof with all the main ideas; the human completed, corrected and rewrote it
- Verification
- Preprint; not peer-reviewed
- Status
- pending
What happened
Coladangelo, who had earlier found a larger Bell scenario with the same property, worked with GPT-5.5 Pro on the simplest candidate, I3322. The model produced a terse approximate proof containing the key ideas. The author expanded it into a 78-page rigorous paper.
Why it matters
It settles a basic question about how much entanglement quantum correlations can require, in the smallest possible Bell scenario. It is also one of the clearest 2026 cases of an AI supplying the core idea in quantum foundations.
Changelog
- 2026-09-30: created
Related events
Sources (1)
id: 2026-09-05-i3322-bell-inequality-infinite-dimensions · updated 2026-09-30 · open in the interactive timeline