Là, c'est une conjecture d'Erdos qui a été invalidée par des humain arxiv.org/abs/2605.28781 mais les auteurs indiquent, dans une partie "the role of AI", que le contre exemple produit par OpenAI sur le problème des distances les a inspirés à faire ce travail avec une technique similaire.
arxiv.org
We disprove the sum-product conjecture for real numbers by constructing arbitrarily large $A\subset \mathbb{R}$ (whose elements are algebraic integers in a number field of degree $\asymp \log\lvert A\...
