The alternative operad is not Koszul
Askar Dzhumadil'daev, Pasha Zusmanovich

TL;DR
This paper uses computational methods to demonstrate that the alternative operad does not satisfy the Koszul property, providing a definitive answer to a specific algebraic question.
Contribution
The paper introduces a computational approach to prove the non-Koszulity of the alternative operad, a result previously unresolved.
Findings
Confirmed the non-Koszul nature of the alternative operad
Applied computer calculations to algebraic operad theory
Provided a definitive proof for the statement in the title
Abstract
Using computer calculations, we prove the statement in the title.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
