aeris22’s Twitter Archive—№ 82,012

…in reply to @lcheylus
@lcheylus Non. Au mieux l’IA aidera un scientifique à démontrer une conjecture…
Permalink On twitter.com 2019 May 27 Mood 0

…in reply to @aeris22
@lcheylus Une IA peut s’amuser à génerer tous les théorèmes possibles et imaginables à partir des axiomes de base, en les composant en boucle. Ça ne veut absolument pas dire que le théorème obtenu a la moindre utilité.
Permalink On twitter.com 2019 May 27 Mood -3 🙁

…in reply to @aeris22
@lcheylus Et de toute façon un humain ne s’amusera pas à valider l’utilité d’un théorème qui ne correspond à aucune conjecture utile pour lui.
On twitter.com 2019 May 27 Mood 0