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." / X<br>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.
span:not(:empty)~span:not(:empty)]:before:content-['路'] [&>span:not(:empty)~span:not(:empty)]:before:px-1 [&>span:not(:empty)~span:not(:empty)]:before:shrink-0">5:45 PM 路 Aug 17, 202618.5KViews
16<br>156<br>56
span:not(:empty)~span:not(:empty)]:before:content-['路'] [&>span:not(:empty)~span:not(:empty)]:before:px-1 [&>span:not(:empty)~span:not(:empty)]:before:shrink-0 min-w-0 overflow-hidden">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.
22<br>1.9K
span:not(:empty)~span:not(:empty)]:before:content-['路'] [&>span:not(:empty)~span:not(:empty)]:before:px-1 [&>span:not(:empty)~span:not(:empty)]:before:shrink-0 min-w-0 overflow-hidden">Steve McCormick
@Quasilocal
8h
Oh right, the links:<br>Friday's paper: arxiv.org/abs/2608.13553<br>One of today's: arxiv.org/abs/2608.14507<br>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<br>Heat kernel geometry and Gromov's volume growth conjecture<br>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...
12<br>1.6K
span:not(:empty)~span:not(:empty)]:before:content-['路'] [&>span:not(:empty)~span:not(:empty)]:before:px-1 [&>span:not(:empty)~span:not(:empty)]:before:shrink-0 min-w-0 overflow-hidden">Bal谩zs Pozsgay
@pozsgaybalazs
8h
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 Show more
vibemathed.com<br>VibeMathed - Math Problems Solved by AI<br>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.
1.1K
Log in or sign up for X<br>See what鈥檚 happening and join the conversation<br>Continue with phoneContinue with AppleContinue with Google<br>or<br>Log in with username or email
Relevant people
Steve McCormick@QuasilocalFollow<br>Mathematician.<br>+3 Fire damage.
Trending now