A group of 25 Fields Medalists, including myself, have made a joint declaration on Math and AI: https://mathandai.org/ . We welcome additional signatories (similar to the Leiden declaration), as can be seen on the page. See also this article in the Economist announcing the declaration: https://www.economist.com/science-and-technology/2026/09/11/top-mathematicians-are-outraged-by-openais-methods
16 Boosts
0 Likes
@tao I love it that you write “the scientific and creative proffessions”. This is a time that calles for solidarity. "AI" has alredy undermined the creative communities with generative images and text, and is threatening the computing community with generative code, but we have been mostly silent, if not participating in this undermining as these were not our fields. Now that it reaches us maybe it will shake us enough to look around and see the pattern.
@tao naive question: in the event that nothing changes and companies keep solving maths problems for headlines, how difficult would it be to work around the issue?
For instance, keeping a list of AI-made proofs and using a few indicators (elegance, length...) as a basis to decide that "it should be possible to do it better".
Do you think there could then be enough incentive to invest time in solved problems because there could be new ways to do maths that would make a given proof conceptually clearer and easier?