Lien Terence Tao et l'IA : un Médaillé Fields réinvente la pratique mathématique Posté par vmagnin (site web personnel, Mastodon) le 08 mai 2026 à 12:46. Étiquettes : intelligence_artificielle mathématiques terence_tao 6 8mai2026 https://tangente-mag.com/articles/terence-tao-ce-que-l-ia-fait-vraiment-aux-mathematiques-vu-de-l-interieur
Lien Déboguer … les maths. Posté par thoasm le 25 octobre 2023 à 16:59. Étiquettes : formalisation démonstration preuves terence_tao mathématiques leanprover 4 25oct.2023 https://mathstodon.xyz/@tao/111287749336059662
