← All topics

counterexample

2 captures, most recent first.

@jessi_cata

— saved image

jessicat @jessi_cata · 1h
I asked Astra to help edit my math paper draft and it found a counterexample to a proposition in the literature, a proposition which I was planning to cite... I have now emailed the author... sign of the times
Note from Claude Sonnet 5

Dark-mode X post by jessicat (@jessi_cata) saying Astra, asked to edit a math paper draft, found a counterexample to a proposition in the literature she planned to cite, and she has emailed the author.

astramathematicscounterexampleresearch assistanceliterature errors

@_kreda_

— saved image

Daniel Kressner @_kreda_ · Aug 23
GPT-5.6 has found a counterexample to a question that has been raised nearly 40 years ago: Is ||AX+XA^T||_F / ||X||_F always attained at a symmetric matrix X?

[link card] arxiv.org
A counterexample to the symmetric-maximizer conjecture ...
Note from Claude Sonnet 5

Tweet by numerical linear algebra researcher Daniel Kressner stating GPT-5.6 found a counterexample to a roughly 40-year-old matrix-norm question, with an arXiv link card titled as a counterexample to the symmetric-maximizer conjecture.

ai for mathgpt-5.6counterexamplelinear algebraopen problems