Pendant des millénaires, les théorèmes ont été validés par une poignée d’experts. De nouveaux outils permettent désormais à des machines de vérifier formellement les démonstrations, transformant en profondeur la discipline.
Pendant des millénaires, les théorèmes ont été validés par une poignée d’experts. De nouveaux outils permettent désormais à des machines de vérifier formellement les démonstrations, transformant en profondeur la discipline.
Tour d’horizon des outils, pratiques et recommandations dans la recherche par Aline Bouchard, conservatrice des bibliothèques, co-responsable de l’URFIST de Paris.
Il y a encore quelques années, on s’amusait des photos totalement fantaisistes générées par l’IA mais, aujourd’hui, il devient de plus en plus complexe de détecter le vrai du faux à l’œil nu. Une idée pourrait être de marquer les photos générées par IA. Cette solution pourrait être efficace, mais…
La quatrième séance du cycle de webinaires « IS Sup – IA et enseignement supérieur » porte sur la gouvernance de l’IA pour son déploiement et son appropriation au sein des établissements.
Depuis l’apparition de l’intelligence artificielle, les étudiants s’en sont emparés afin de s’aider à réaliser leurs devoirs, à réviser et à synthétiser leurs cours. Dès lors, une inquiétude est née : les étudiants utilisent-ils l’IA pour tricher ? Aujourd’hui, son utilisation est certaines dans les universités, aussi bien par…
L’année 2026 sera l’année des agents IA… C’était annoncé, et effectivement depuis le début de l’année nous assistons à la diffusion et à la montée en puissance de deux grandes familles d’outils agentiques d’un nouveau type : d’une part des assistants orientés coding comme Claude Code, Codex, Gemini CLI, Opencode etc., et d’autre part des…
À travers la notion d’émerveillement professionnel, cet article analyse comment l’intégration de l’IA générative dans l’enseignement supérieur alourdit la charge des bibliothécaires universitaires, déjà en première ligne pour concevoir des politiques éthiques et former à un usage responsable et transparent de ces outils.
Ces nouvelles missions, ajoutées à un manque…
Depuis son lancement fin 2022, ChatGPT s’est imposé comme un outil incontournable pour des étudiants soumis à une charge de travail croissante. Comment l’IA a-t-elle transformé leur rapport à l’information en si peu de temps ? L’enquête de l’alliance CIVICA, incluant Sciences Po, apporte des réponses, analysées par Cécile Touitou,…
Le 10 février 2026, l’Amue a rassemblé plus de 850 participants pour le lancement de MISTRAL ESR, marquant un succès majeur pour cette expérimentation clé liée au futur accord européen sur l’IA générative souveraine. Elle a présenté aux adhérents les modalités d’accès aux services, les enjeux d’infrastructure et les objectifs…
Retrouvez une interview pour décrypter et comprendre les enjeux stratégique du sommet India AI Impact Summit 2026. Ce sommet, qui va réunir de nombreux chefs d’Etats, sera orienté sur l’IA et ses problématiques sociales, éthiques et économiques.