Intervention de Laurent Gouzenes
Réunion du 17 novembre 2010 à 16h15
Office parlementaire d’évaluation des choix scientifiques et technologiques
Laurent Gouzenes, membre du conseil scientifique de l'Office :
S'agissant des rapports entre informatique et mathématiques, l'Institut national de recherche en informatique et en automatique (INRIA) commence à travailler avec des ordinateurs démonstrateurs ou producteurs de théorèmes. Voyez-vous cela comme de la concurrence ou comme des super-crayons à papier ?
