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

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.

• 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.Oh right, the links: Friday's paper: arxiv.org/abs/2608.13553One of today's:arxiv.org/abs/2608.14507The other:arxiv.org/abs/2608.14438Also, hey I just realised I know one of the authors 😅 I met Gioacchino earlier this year. - 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