Liber Pater

Ben c'est normal, faut être catho pour vouloir baptiser son enfant a priori

Une LFIste fonctionnaire mdr

C'est lié à la vague démocrate ?

Tu es aliéné par l'idéologie du WEF

C'est flaggé quand c'est de l'IA

Tu as plus d'infos là-dessus ?

Je crois que je suis d'accord. Choix difficile ceci dit, mais Death of a Clown est un de mes morceaux préférés

Les adhésions sont payantes ?

Le RN a environ 112000 adhérents. Il manque donc 13000 adhérents pour que Nouvelle Énergie devienne le premier parti de France, donc vendredi prochain à ce rythme

Ce qui signifie ?

Tout à fait, il faut tout formaliser pour rentrer la démonstration dans l'assistant de preuves. Mais c'est quelque chose que l'IA fait facilement pour le coup. Et le tout reste forcément vérifié par un humain. Je crois qu'on n'est pas prêts de laisser à une machine le soin de valider totalement une démonstration, et dans un sens tant mieux.

Je ne pense pas que ça a de rapport avec l'ordinateur. L'intérêt des joueurs pour le blitz est sans aucun doute renforcé par le fait que les préparations sont rendues plus approfondies et intenses par l'ordinateur via sa puissance de calcul et la possibilité d'analyser de nombreuses lignes rapidement. Cependant le blitz c'est autre chose. C'est très stimulant pour un public qui a les codes mais n'a pas les moyens intellectuels ou l'attention pour suivre une partie longue. Mais ce n' est pas nouveau. Ce qui est nouveau c'est que maintenant les joueurs jouent majoritairement sur ordinateur et apportent ainsi la possibilité de retranscrire le plateau instantanément pour le public - c'était impossible sur le rythme du blitz avec un tournoi otb.

Je ne pense pas que ça a de rapport avec l'ordinateur. L'intérêt des joueurs pour le blitz est sans aucun doute renforcé par le fait que les préparations sont rendues plus approfondies et intenses par l'ordinateur via sa puissance de calcul et la possibilité d'analyser de nombreuses lignes rapidement. Cependant le blitz c'est autre chose. C'est très stimulant pour un public qui a les codes mais n'a pas les moyens intellectuels ou l'attention pour suivre une partie longue. Mais ce n' est pas nouveau. Ce qui est nouveau c'est que maintenant les joueurs jouent majoritairement sur ordinateur et apportent ainsi la possibilité de retranscrire le plateau instantanément pour le public - c'était impossible sur le rythme du blitz avec un tournoi otb.

Si l'homme ne peut pas la comprendre alors ce n' est pas démontré à mon sens. Et la démonstration est une suite d'enchaînements formels logiques, c'est pas le bazar non plus. D'ailleurs les démonstrations (humaines et IA) sont aujourd'hui vérifiées par des logiciels qui étudient la logique de celles-ci.

Dividendes pas CA