@eresse
Merci pour le lien.
J’ai fait de suite un test avec le premier énoncé googlisé du théorème de Puthagore (La somme des carrés des mesures des côtés est égal au carré de la mesure de l’hypoténuse.)
D’après le premier site, c’est vrai à 62,37%. Le second cherche encore.
Je suis bien conscient de m’être pressé, il faudrait un énoncé d’au moins 50 « tokens ».
Sans grand rapport, mais quand même un peu regardez cet échange entre A.Connes et D.Sibony sur l’à peu près vrai. (à t:1h02’30")