Marc de Falco
@marcdefalco.bsky.social
400 followers 110 following 160 posts
IGÉSR groupes mathématiques et informatique
Posts Media Videos Starter Packs
Le cadre d'usage ne dit pas ça. Il parle globalement d'utiliser l'IA de manière éthique et responsable, en prenant en considérant les limites de fiabilité de l'IA et la nécessité d'exercer un regard critique.
Un logiciel de détection est juste une instance d'un LLM calibrée pour faire la détection.
Reposted by Marc de Falco
Hommage au professeur Dominique Bernard.

En ce 13 octobre, nous rendons hommage à Dominique Bernard, professeur de lettres, assassiné dans l’exercice de son métier il y a deux ans, pour les valeurs qu’il incarnait : le savoir, la transmission et la liberté d’enseigner.
Évolution de l'épreuve pratique NSI, des sujets zéros sont disponibles sur éduscol : eduscol.education.fr/2068/program...
Je remarque que j'ai donné une date par habitude pour les avis de septembre, mais l'entrée en poste dépend de nombreux facteurs.
Recrutement de 14 inspecteurs généraux à l'IGESR au 1er janvier avec, entre autres, un poste à profil expertise disciplinaire et pédagogique en mathématiques.

www.legifrance.gouv.fr/jorf/id/JORF...
À ce stade je ne peux que vous engager à lire le descriptif et à comparer avec l'ancien. Les sujets 0 préciseront la partie document et la note annuelle de mise en oeuvre précisera les modalités de passage et d'évaluation.
Pas possible d'annoncer une date, mais le plus tôt possible.
Oui, il y aura une banque.
C'est à comprendre dans le sens "réalisation informatique".
Au passage, c'est impressionnant de lire sur Usenet les retours de spectateurs sur les films de mon année de naissance. On a tendance à penser que l'internet social est né début 2000, mais les codes du net ont 45 ans !
Je cherche des archives de 92 à 95 de certains newsgroups de discussion Usenet, j'arrive à avoir des archives de 81 à 91 ou après 2010 mais pas sur cette période. Quelqu'un aurait ça ?
Au BO de ce jour, le nouveau format de l'épreuve pratique de NSI : La partie pratique consiste à programmer sur ordinateur une application informatique à partir d’un document fourni au candidat.
L’épreuve a pour objectif d’évaluer le niveau de maîtrise des compétences pratiques du candidat.
🚨 Le BO du 21 août est en ligne !

Découvrez les sujets clés :
👉Calendrier des épreuves orales et écrites des certifications en allemand, anglais et espagnol
👉Adaptations et aménagements des épreuves d'examen et de concours pour les candidats en situation de handicap
Reposted by Marc de Falco
Il y a un de cela se tenaient les #JOP de Paris. Des moments partagés à suivre les performances sportives ... et maintenant, quel héritage au plan éducatif ?
Un rapport de #IGÉSR analyse les différentes modalités permettant d'en pérenniser l'héritage éducatif.
L’héritage des JOP de Paris 2024 au plan éducatif
Une mission d’inspection générale analyse les différentes modalités permettant de pérenniser l’héritage éducatif des Jeux olympiques et paralympiques (JOP) Paris 2024 en se projetant sur les JOP d’hiv...
www.enseignementsup-recherche.gouv.fr
Un LLM a très peu de chance d'arriver à faire des raisonnements déductifs corrects, mais pour toutes les règles *syntaxiques*, on peut très bien s'en sortir par énumération depuis les hypothèses de tous les théorèmes par règles d'éliminations. Il suffit de rajouter des constructions générées via LLM
Pour suivre l'idée LLM = générateur aléatoire biaisé. Je vous recommande cette vidéo qui montre comment on peut utiliser un LLM pour générer des constructions intermédiaires afin de résoudre des problèmes de géométrie d'olympiades avec un système formel déductif.

www.youtube.com/watch?v=4Nlr...
The AI that solved IMO Geometry Problems | Guest video by @Aleph0
YouTube video by 3Blue1Brown
www.youtube.com
Reposted by Marc de Falco
En tout cas, pour l'IA, il y a une différence majeure : le coût dépend du nombre d'utilisateurs et donc ça ne peut pas être un vecteur d'égalité comme pouvait l'être les MOOC.
Je n'ai pas fait d'analyse poussée, mais des études ont montré l'impact positif des MOOCs dans les pays cherchant à développer l'enseignement supérieur en l'absence de ressources humaines mobilisables.
L'ES français n'est peut-être pas le bon point de comparaison.
Reposted by Marc de Falco
Ni Photoshop, ni IA, Martin Gregus photographe slovaque,multi-récompensé a pris cette photo d'un ours polaire dormant paisiblement au milieu d'épilobes.
L'épilobe est une espèce survivante, qui surgit là où la banquise recule et chevauche parfois les territoires de chasse de l'ours polaire.ALT
Le livre "référence" est sûrement Artificial Intelligence: A Modern Approach de Russel et Norvig, en tout cas, c'est celui que j'ai dans la bibliothèque. Mais il est assez décevant je trouve.
L'exploration probabiliste contrôlée est certainement la clé de nombreux problèmes d'optimisations difficiles.
En plaisantant à moitié, je dis souvent que l'IA générative est un générateur pseudo-aléatoire dont on peut contrôler avec précision le germe. Loin d'être réducteur, cela permet d'éviter de projeter des fantasmes derrière la techno et de l'utiliser à bon escient.
Difficile de parler d'IA générative sans savoir vraiment e qu'il y a sous le capot. Je profite de mes vacances pour programmer et entrainer des VAE. Derrière ce nom, il s'agit d'un générateur pseudo-aléatoire contrôlé par un germe et qui reproduit une distribution supposée gaussienne des données.
(et bien sûr je vois une belle typo maintenant malgré la relecture multiple du passage...)