Three different papers pushed to ArXiv proving same 1986 conjecture; all use AI

Post Log inSign up Post Steve McCormick on X: "Today *two* different independent papers were simultaneously posted that prove a conjecture from 1986, both acknowledging extensive use of ChatGPT to get there. And both acknowledging that they had this independent of *another* proof of the same result posted on Friday." Steve McCormick @Quasilocal Today *two* different independent papers were simultaneously posted that prove a conjecture from 1986, both acknowledging extensive use of ChatGPT to get there. And both acknowledging that they had this independent of *another* proof of the same result posted on Friday. 5:45 PM · Aug 17, 202617.5KViews Steve McCormick @Quasilocal 8h The timing is astounding, and makes me more convinced that AI is good at finding proofs if all the right things align in the literature. It also raises a serious question about priority and the assignment of credit for a result, I think. Steve McCormick @Quasilocal 7h Oh right, the links: Friday's paper: arxiv.org/abs/2608.13553 One of today's: arxiv.org/abs/2608.14507 The other: arxiv.org/abs/2608.14438 Also, hey I just realised I know one of the authors 😅 I met Gioacchino earlier this year. arxiv.org Heat kernel geometry and Gromov's volume growth conjecture In 1986, Gromov asked whether every complete noncompact $n$-dimensional Riemannian manifold with nonnegative Ricci curvature and scalar curvature at least one satisfies: \[ \Vol_g (B(p, R))\le... Balázs Pozsgay @pozsgaybalazs 7h The same happened in physics, quantum information theory, a few weeks ago. A distinguished problem was solved by 4 different groups, all using AI, within a few days. Werner state un-distillability. We were one of the groups. I post the corresponding entry on vibemathed, although vibemathed.com VibeMathed - Math Problems Solved by AI A community-curated record of math problems no human had solved before, proved or disproved with AI in the loop - with checkable sources and verification labels.