L’intelligence artificielle va-t-elle remplacer les mathématiciens ?
29 octobre 2025 05:30, par SOCRADEJ’ai testé chatgpt5 en math et en créativité pure : je lui ai dit de formaliser mon système métaphysique, déjà pas mal formel au niveau philo et de nature topologique. Il l’a fait et m’a pondu plein de formules et parlé de “topologie d’Alexandrov”, “algèbre d’Eilenberg–Moore”, “monade des probabilités” et autres joyeusetés auxquelles je ne comprend rien. S’il y a un matheux intéressé à bosser en freelance sur E&R je suis près à l’embaucher pour savoir ce que ça vaut, c’est important en philo car aucun système n’a jamais été formalisé (ou s’il est intéressé par la médaille Field car en annexe il y a aussi une formalisation topologique de l’infini entièrement nouvelle...)
Alain Soral et E&R
E&R en vidéos
Revues
Bonnes adresses
International
Alain Soral
Kontre Kulture

et
!