Terence Tao, one of the most well known mathematicians, speaks up on AI in mathematics in his new paper: “What if an AI tool generates a lengthy proof that is verified to be correct, but which nobody — 𝘯𝘰𝘵 𝘦𝘷𝘦𝘯 𝘵𝘩𝘦 𝘩𝘶𝘮𝘢𝘯𝘴 𝘸𝘩𝘰 𝘱𝘳𝘰𝘮𝘱𝘵𝘦𝘥 𝘵𝘩𝘦 𝘵𝘰𝘰𝘭 — understands? This is no longer hypothetical. Sites devoted to collecting mathematical problems already contain dozens of AI-generated proof submissions. Many of these are likely to be correct; but in a substantial number of cases no human expert has yet volunteered to verify and vouch for them, and in several cases the human submitters have themselves declared that they are not qualified to do so. We may soon be faced with the very real possibility of a verified proof of a major result that NO HUMAN understands well enough to explain. For a proof to actually contribute to its field, then, it is NOT enough for it to be correct, and NOT enough for it to be readable. It also needs to be accepted and valued by the community: other mathematicians need to 𝗱𝗶𝗴𝗲𝘀𝘁 𝘁𝗵𝗲 𝗿𝗲𝘀𝘂𝗹𝘁 𝗮𝗻𝗱 𝗶𝗻𝗰𝗼𝗿𝗽𝗼𝗿𝗮𝘁𝗲 𝗶𝘁 𝗶𝗻𝘁𝗼 𝘁𝗵𝗲𝗶𝗿 𝗼𝘄𝗻 𝘄𝗼𝗿𝗸. Our current publication infrastructure relies on human editors and referees to provide this acceptance, voluntarily and largely without credit. This work is routinely regarded as less prestigious than the work of generating proofs in the first place; but it is an essential component of the profession, and it is precisely the mechanism by which the individual achievements of mathematicians are converted into collective progress and understanding. Finally, even publication is not the last stage. Key results should ultimately become part of the definitive textbooks and reference material of their subject, in the form in which 𝘁𝗵𝗲𝘆 𝗮𝗿𝗲 𝘁𝗮𝘂𝗴𝗵𝘁 𝘁𝗼 𝘁𝗵𝗲 𝗻𝗲𝘅𝘁 𝗴𝗲𝗻𝗲𝗿𝗮𝘁𝗶𝗼𝗻 𝗼𝗳 𝘀𝘁𝘂𝗱𝗲𝗻𝘁𝘀. This process of canonicalization is the slowest stage of all. It requires broad, deliberative consensus, and it is the stage least amenable to optimization by AI tools.” 📍 Terence Tao concludes: “We will transition from an era of proof scarcity to an era of proof abundance. Most of our institutions — journals, priority conventions, hiring and promotion criteria, prizes, the very notion of a research program — were designed under the assumption of scarcity, and it should not surprise us if they behave poorly under abundance. In some areas, particularly in education and in the training of young mathematicians, it will be crucial to emphasize 𝘁𝗵𝗲 𝗶𝗿𝗿𝗲𝗱𝘂𝗰𝗶𝗯𝗹𝘆 𝗵𝘂𝗺𝗮𝗻 𝗮𝘀𝗽𝗲𝗰𝘁 of our work, and to restrict the use of AI tools quite tightly; the goal of training a mathematician is NOT achieved by producing correct homework. In other areas, we will need to take the initiative on AI usage, and define best practices for incorporating these tools into our workflows on our own terms rather than on terms set for us by vendors.” __ [I highlighted & capitalized words in the text for clarity]