{"id":"openai-math/A-Cyclic-Polytabloid-Proof-of-Saxls-Conjecture","pdf":"https://github.com/openai/math/blob/main/preprints/A-Cyclic-Polytabloid-Proof-of-Saxls-Conjecture-September-24-2026/paper.pdf","url":"https://github.com/openai/math/tree/main/preprints/A-Cyclic-Polytabloid-Proof-of-Saxls-Conjecture-September-24-2026","tags":["representation-theory","symmetric-group","young-tableaux"],"score":0,"title":"A Cyclic Polytabloid Proof of Saxl's Conjecture","domain":"Algebra","family":"205","origin":"ai-generated","source":"openai-math","authors":["OpenAI"],"reviews":0,"subject":"math.RA","summary":"For every staircase partition, we prove that the tensor square of the corresponding irreducible complex representation of the symmetric group contains every irreducible representation of that group. This proves Saxl's conjecture.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":1,"published":"2026-09-24","reactions":{},"discussion":[{"url":"https://mathoverflow.net/a/515897","date":"2026-10-10","kind":"web","site":"mathoverflow.net","text":"I'll remark on some problems in algebraic combinatorics. Combinatorial invariance of KL polynomials . Proved true, I'd say in agreement with the majority's sentiment. Shareshian--Wachs conjecture. Proved true, in line with nearly universal expectations. Saxl's conjecture. Proved true, in line with…","added":"2026-10-24","title":"Answer to: Which of the results released by OpenAI went against the conventional mathematical wisdom?","author":"Joshua P. Swanson"}],"formalized":true,"family_title":"Saxl’s conjecture and universal tensor squares"}