Cédric Villani brisé par l'IA en 2026

C'est surtout le wall qu'il a pris sur la gueule

Mérité pour les profs de math qui se croyaient supérieur et qui me méprisaient au collège

Bof il surgonfle le truc pour se faire entendre dans les médias.

selection cybernetique
paz sur ce macroniste nonobstant

Ca se chie dessus pour son poste de fonctionnaire sur la sellette.
Pathétique.

Gpt astra a mis en slip des médailles fields hein

N'importe quoi

il va péter son cerveau quand L'ordinateur Quantique de google va sortir... Capable de briser la clé secrète du bitcoin...

Bah si
L'IA a résolu plusieurs problème du millénaire.

Elle a résolu toutes les directions de recherche du médaille fields français duminil copin

Oui mais elle a produit des preuves ultra longues et imbittables.

Le but des maths, c'est pas seulement de produire une preuve. C'est de produire une preuve la plus élégante et intelligible possible, et faisant apparaître de nouveaux concepts. C'est tout à l'opposé des preuves de 1000 pages produites par les IA.

La preuve est là, mais personne ne peut la lire et la comprendre.

sur la conjecture de Benjamini-Schramm, l'IA via un simple prompt a sorti une preuve élégante et magnifique d'une seule page selon Duminil-copin. Cope

Ouais fin ton prof de math du collège était le dernier des ratés de sa profession, ne le compare pas à ceux qui pensent

Il voulait pas être président de la république ya un moment....???

T'as maté la vidéo de scienceEtonnante je me trompe ?

Non

Une preuve de 1000 pages reste une preuve.

Mais souvent les résultats sont survendu pour le coup.

D'ailleurs le but des maths c'est de nous fournir des preuves, que des gens se paluchent sur comment arriver au resultat ne nous aide pas beaucoup. Le seul intérêt de cette compréhension, c'est qu'elle puisse nous amener à découvrir de nouvelles preuves. Comprendre un language contruit dans le seul but de comprendre un langage construit nous mene à rien.

Les maths sont typiquement le sujet de recherche ou l'arrivée nous intéresse plus que le chemin. C'est l'inverse dans les science empirique par exemple.

From assistant to patron le toaster qui baise sa femme en le regardant droit dans les yeux