I have released a compact Sturm-certified example: for one degree-8 polynomial, real-rootedness under symmetric imaginary shifts is nonmonotone. Checked with GPT-5.5, GPT-5.6-sol and Claude Opus 5 Max. https://t.co/GuOLUosbon #Polynomials#OpenScience
v0.1.2 live. A novelty audit found no prior match for its cutoff root-budget bound or forced mesh-degree window; some ingredients and a subcase are classical. Generated by Claude Opus 5; audited by GPT-5.6-sol and Fable 5. https://t.co/NCDyocklyp #VibeResearch#Mathematics#AI