Terence Tao Warns of a Crisis in Mathematical Standards Due to AI
Le brief IA que les pros lisent chaque soir
Les 7 actus IA du jour, décryptées en 5 min. Gratuit.
Inclus dès l'inscription : notre sélection des meilleurs guides & comparatifs IA.
Choisis ton rythme
Gratuit · Pas de spam · Désabonnement en 1 clic
In a recent essay, Terence Tao warns that AI could lead to a major crisis for the discipline. He emphasizes not the truth of the theorems, but the modalities of functioning: contribution, rewards, and credit distribution. He proposes an empirical rule: any proof that no human can explain should be considered incomplete.
A rule: a proof unexplained by a human is incomplete
Terence Tao proposes a practical criterion for judging a proof. According to him, if no human is able to provide an explanation, that proof should be considered incomplete.
According to Tao, AI tests the values of the profession, not the truth
Tao believes that AI does not challenge mathematical truth itself. He argues that it primarily tests the values of the community: what is recognized as contribution, what is rewarded, and the identification of who actually did the work.
He compares the risk to 1900 and elevates it "since Gödel"
Tao argues that AI could potentially trigger the most significant crisis in mathematics since Gödel. He compares this danger to the profound upheavals that occurred around 1900. These positions are articulated in a new essay.
Brief IA — L'actualité IA en français
L'essentiel de l'actualité de l'intelligence artificielle, décrypté et expliqué chaque jour.