L'agrégation d'informatique 2026 commence les épreuves d'admission vendredi !

La question de la souveraineté n'est pas la bataille des modèles d'IA, celle-ci est perdue d'avance et inutile. La vraie question est celle de l'infrastructure et des applications pour la bureautique collaborative et les systèmes d'information. (Avis personnel qui n'engage que moi)

Surpris de ma requête en erreur à fable-5 sur claude-code, je vois que le modèle a été interdit par le gouvernement américain. Probablement en réponse au jailbreak publié hier. Ça paraît disproportionné par rapport aux compétences du modèle, mais révélateur du risque réel de shutdown économique.

Là, c'est une conjecture d'Erdos qui a été invalidée par des humain arxiv.org/abs/2605.28781 mais les auteurs indiquent, dans une partie "the role of AI", que le contre exemple produit par OpenAI sur le problème des distances les a inspirés à faire ce travail avec une technique similaire.

Neuf problèmes d'Erdos d'un coup... Toujours avec la méthode de Deepmind de faire générer des formalisations en lean. Je n'ai pas lu toutes les preuves mais je m'étonne de la simplicité de certaines : est-ce le signe que ces problèmes ont été peu regardés ou un biais ? arxiv.org/pdf/2605.22763

Est-ce que dire qu'un LLM ne peut pas raisonner parce qu'il ne manipule que des tokens, c'est comme dire qu'un humain ne raisonner pas car il ne fait que faire circuler des ions dans ses neurones ? La reductio ad tokenum n'est pas le bon angle.

Avec toutes ces conversations sur l'IA et les maths, j'ai testé avec Claude Opus 4.7 de lui faire compléter une note que j'ai écrite en 2006 pendant ma thèse et qui était très anecdotique. Le modèle a prolongé mes arguments et complété mes preuves sans trop de difficultés.Mais le plus impressionnant

Depuis trois ans, on a des IAg dites capables de remplacer les programmeurs pour de nombreuses tâches et on voit fleurir de partout des formations sur les agents et autres. Étonnamment, je ne trouve pas de nouveaux logiciels majeurs, libres ou non, créés grâce à cela. En connaissez-vous ?

Ce matin, avec deux de mes collègues, j'ai eu l'honneur d'être auditionné à l'Assemblée Nationale pour présenter la position de l'IGESR en éducation. J'y ai porté nos analyses pragmatiques, construites collégialement à la lumière des échanges avec les enseignants, les cadres et les élèves.

La composition du jury et les sujets des deux épreuves écrites de l'agrégation d'informatique 2026 ont été publiés. agreg-info.forge.apps.education.fr

Le site du jury de l’agrégation d’informatique a déménagé à l’adresse agreg-info.forge.apps.education.fr. Vous y trouverez notamment des exemples de sujets d’oraux donnés lors de la session 2025. Rappel : devenirenseignant.gouv.fr est la référence réglementaire pour les concours de recrutement.

L'Inspection générale de l’éducation, du sport et de la recherche [IGÉSR] recrute un/e analyste de données. Plus de détails ainsi que les modalités de candidature sur le portail Choisir le service public via le lien ci-dessous. choisirleservicepublic.gouv.fr/offre-emploi...

Il a fallu que j'attende le 23 et le 24, mais j'ai pu faire l'AoC de cette année. Pour le 10-2 et le 12-1, avez-vous trouvé des solutions qui ne reposent pas sur du SAT ou de la programmation linéaire en nombres entiers ?

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...

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...

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.

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.

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...

Snake-in-the-Box Problem xkcd.com/3125/

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

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.

On arrive à un moment charnière de la commercialisation de très gros modèles. Analogie très grossière l'IA propose actuellement des jets privés quasi gratuit pour aller à la boulangerie (avec proba 0.7) et on va se rendre compte que continuer à apprendre à faire du vélo est quand même plus efficace.

Qui croit en l'AGI devrait essayer de demander à une IA de faire une figure précise en Tikz...

J'ai eu la chance de pouvoir participer aux deux missions sur l'IA et de pouvoir présenter avec les équipes de mission des éléments à la ministre d'État Ellisabeth Borne et au ministre Philippe Baptiste le 10 juillet. www.education.gouv.fr/education-et...

Félicitations aux 22 reçus à l'agrégation d'informatique 2025 ! resultats.examens-concours.gouv.fr/CE2/admis?co...

Publication du rapport de l'IGÉSR sur l'intelligence artificelle dans les établissements scolaires. www.education.gouv.fr/l-intelligen...

Le cadre d'usage de l'IA en éducation a été publié aujourd'hui. www.education.gouv.fr/cadre-d-usag...

Indispensable rapport #IGÉSR au sujet des chargés d'enseignement vacataires dans les établissements du supérieur. #ESR

Qu'affiche ce programme et pourquoi ? l = [] for x in [1, 2]: def f(): return x l.append(f) g, h = l print(g(), h())

Publication de la liste des admissibles à l'agrégation d'informatique resultats.examens-concours.gouv.fr#/CE2/admis?c... Félicitations aux admissibles et bon courage pour la dernière ligne droite avant les oraux.

Je viens de passer de 30 tok/s à 1600 tok/s en utilisant Mistral Small sur une A100 en parallelisant comme il faut 😁 Ce week-end commence bien !

Après quatre ans de travail, l'association et ses partenaires sont parvenus à faire inscrire la demoscene française à l’Inventaire national du patrimoine culturel immatériel du ministère de la culture... mag.mo5.com/268476/la-de...

Je viens de découvrir qu'on peut trier sémantiquement une liste de phrases très simplement en faisant un plongement textuel suivi d'un parcours du plus proche en premier (best-first). Ici, sur un exemple jouet de réponse à « qu'avez-vous mangé à midi ? Mais, ça marche très bien sur des cas réels.

Un scientifique utilise la chimie pour créer des œuvres d'art visuelles époustouflantes. En combinant différents éléments et réactions chimiques, il produit des images fascinantes dans une goutte d'eau 💧!

La justification en gras de o3-mini-high de son erreur par le fait que la tâche est trop complexe est représentative des limites en informatique quand on voit que le modèle a produit du code sans aucune réserve sur sa qualité, et que ce n'est qu'à la 4e présentation d'un contre-ex que c'est fait.

En me disant que le bon terme pourrait être la SAO : sérendipité assistée par ordinateur, je vois qu'il y a est articles parlant de computer-aided serendipity dès 95-00, avec un article très intéressant de James Arvo graphicsinterface.org/wp-content/u...

Il y a au moins dix ans, les mêmes articles portaient sur les circuits de filtre obtenus par les algorithmes génétiques. En fait, on redécouvre éternellement les vertus d'une recherche probabiliste pour sortir de puits de potentiels technologiques. www.journaldugeek.com/2025/02/25/u...

DeepSeek a été entraîné sur des H800, version bridée des H100 en raison des restrictions à l'exportation. Trois conséquences du bridage : faible perf en haute précision, faible communication intergpu et consommation plus basse. Apport principaux de DeepSeek : modèle FP8 et com optimisée entre GPU.

Ça ns demande bcp de travail svt invisible, ms pr une seule de ces phrases, ça en vaut la peine (bilan2024 filles&maths974) "Que de nbreuses femmes se cachent derrière de multiples progrès mathématiques tels que Emmy Noether!" "Les maths c'est cool" "finalement j'ai envie de continuer les maths"

Bios innatendu...

Fin de la dixième édition de l'advent of code. Merci a @was.tl ! L'émergence de l'utilisation éhontée de l'IA cette année m'a fait prendre conscience de la situation complexe dans laquelle on va être sur le marché de l'emploi en informatique.

Rencontre insolite dans la montagne au nord ouest de Nagano avec quatre quinquagénaires australiens retapant un chalet pour ouvrir un bar-restaurant, et avec qui mes enfants ont fait la course en luge.

Échantillonnage géographique

Triste d'observer le profil des personnes utilisant l'IA pour l'advent of code afin d'être dans les premiers. Ce sont souvent des personnes avec une faible formation initiale en info, sur des postes de frontend. Pile, ceux qui monteraient en compétence en le faisant normalement.

Pas de temps à perdre ! Le Secours Populaire lance dès ce soir un appel aux dons. #Chido #Mayotte

Le problème de l'advent of code ce matin était dans le sujet du concours général NSI 2024. Mais, au CGL, c'était en trois dimensions et ici en deux.

If you're curious what it takes to build and run #AdventOfCode every year, you might enjoy this talk: www.youtube.com/watch?v=uZ8D...

Appel à testeurs. Je débute une série de 24 tutos #Python/#Pyxel pour la @nuitducode. Voir #ForgeEdu: nuit-du-code.forge.apps.education.fr/24-jours-de-.... Jour 1 seulement. @cahiernum + @pyxel_studio + dépôt (www.nuitducode.net/24jdpp-depos...) + galerie (www.nuitducode.net/24jdpp/1)