VibeMathedMath problems solved by AI
All problems

Stanley's Claw-Free Schur-Positivity Conjecture

Is the chromatic symmetric function XGX_G Schur positive for every claw-free graph GG? Two explicit 1212-vertex line graphs have Schur coefficients 64-64 and 40-40 at s(3,3,3,3)s_{(3,3,3,3)}.

Result
Disproved
Status
Resolved
AI contribution
AI-discovered
Method
Construction
Field
Algebraic combinatorics
Posed by
Richard Stanley
Year posed
1995
Years open
31y
Solved
2026-07-23
Model
ChatGPT-5.6 Sol Pro
Vendor
OpenAI
Collaborators
Verification
Unreviewed
Publication
Preprint
Significance
25 / 100
Disclosed cost
Wikipedia
No dedicated article

What the AI did

Both counterexample graphs were found with ChatGPT-5.6 Sol Pro; the negative coefficients were confirmed by independent computations.

Verification

Author preprint with independent computational checks of the negative Schur coefficients. Not yet peer-reviewed.

Source

arXiv:2607.21508 - Chromatic symmetric functions of claw-free graphs are not Schur positive

Discussion