A case study reports tightened bounds on the Grothendieck constant reached with an AI research system

Sources: primary
Summary: The paper reports tightened bounds on the Grothendieck constant obtained with an AI research system, and is written as a case study of how the agents were used, including where they failed. The result has no independent review recorded at this date.
Why it matters: The account of method and failure is the part missing from most AI-credited mathematics claims.
Follow-up: Independent review of the bounds.