[News] ✨ Une première : ChatGPT résout une conjecture mathématique

[Adrien]

Qui aurait imaginé qu'un outil d'intelligence artificielle accessible à tous puisse participer à la création de démonstrations mathématiques inédites ? Cette observation marque une étape dans le domaine de la recherche théorique, traditionnellement réservé à l'esprit humain. Une équipe du Laboratoire d'Analyse des Données de la VUB rapporte en effet que des modèles de langage commerciaux peuvent produire des preuves mathématiques originales. Leurs travaux indiquent que ChatGPT...

Lire la suite