Journal Et l’intelligence humaine, alors ?

Posté par  . Licence CC By‑SA.
Étiquettes :
55
22
sept.
2025

disclaimer : ce post pue la dépression. Si tu viens pour l’optimisme, t’es pas au bon guichet.

A l'heure ou 80% des commentaires sur linuxfr parlent de l'IA ou sont rédigés par l'IA ou évoquent l'IA, je me suis interrogé sur l'intelligence humaine et l'intelligence qu'on peut apporter dans son boulot.

Je me rappelle, il y a longtemps, on m’avait dit un truc du genre : "Fais de l’info, tu verras, c’est génial. Tu réfléchiras, tu seras pas juste un (…)

Le Frido 2025

Posté par  (site web personnel) . Édité par BAud, Benoît Sibaud et Xavier Teyssier. Modéré par Xavier Teyssier. Licence CC By‑SA.
Étiquettes :
40
22
sept.
2025
Éducation

Présentation

Le Frido est un livre de mathématique libre initialement destiné à l'agrégation, mais devenu généraliste. En supposant connue une théorie intuitive des ensembles, ça va jusqu'aux martingales, distributions, extensions de corps, etc. Avec toutes les démonstration intermédiaires (modulo les 981 entrées restantes dans ma liste de choses à faire).

Les résultats sont classés par ordre logique mathématique : chaque démonstration ne s'appuie que sur des résultats énoncés et démontrés plus haut. C'est loin d'être l'ordre pédagogique.

L'extension guilietta donne le reste de ce que je sais en math : groupes de Lie (l'objectif est de donner la liste des représentations de SL(2,C)).

Nouveautés 2025

Le bouquin vient de dépasser les 3000 pages cette année.

  • Théorème de Banach-Alaoglu.
  • Démonstration du fait que le système trigonométrique est une base hilbertienne.
  • Fonctions analytiques entre espaces de Banach. L'objectif sera d'énoncer et démontrer le théorème d'inversion locale. Le seul doc que j'aie trouvé est celui-ci. Sinon ChatGPT se débrouille assez bien.
  • Structure de groupe de Lie sur un sous-groupe fermé (ça c'est dans une extension)
  • Dans le même ordre d'idée : modification de la définition d'une variété pour accepter des cartes à partir d'ouverts de n'importe quel espace vectoriel normé (et non seulement de \mathbb{R}^n). Formellement, ça rend correcte pour un groupe de Lie l'idée de prendre des cartes depuis l'algèbre de Lie. En pratique, ça permet aussi de prendre des cartes depuis le produit tensoriel des fibres pour prendre le produit tensoriel de fibrés vectoriels. Si on n'accepte que des cartes depuis des ouverts de \mathbb{R}^n, il faut prendre un isomorphisme (pas canonique) entre \mathbb{R}^n et le produit tensoriel, et montrer qu'en réalité rien ne dépend de ce choix. L'inconvénient est qu'on ne peut plus parler de l'ensemble des cartes.

Journal L'impact du LLM sur l'Open-Source

Posté par  (site web personnel, Mastodon) . Licence CC By‑SA.
Étiquettes :
7
19
sept.
2025

Les LLM, c'est bien connu, se sont en partie instruit en pompant largement le code open-source. Mais en retour, je me fais la réflexion que les LLM et tout spécialement la génération de code pourraient avoir un impact important sur l'ensemble du code open-source.

Mon constat

Il n'est plus à démontrer que les LLM impactent énormément le travail des informaticiens et tout spécialement le développement de logiciel. En effet, en quelques instruction, un LLM génère de petits programmes fonctionnels, parfois (…)

Revue de presse de l’April pour la semaine 37 de l’année 2025

Posté par  (site web personnel, Mastodon) . Modéré par Benoît Sibaud. Licence CC By‑SA.
Étiquettes :
12
16
sept.
2025
Internet

Cette revue de presse sur Internet fait partie du travail de veille mené par l’April dans le cadre de son action de défense et de promotion du logiciel libre. Les positions exposées dans les articles sont celles de leurs auteurs et ne rejoignent pas forcément celles de l’April.

Journal Anthropic accepte de payer $1.5 milliard pour atteinte au droit d'auteur

Posté par  . Licence CC By‑SA.
Étiquettes :
23
5
sept.
2025

Une estimation de 3000 dollars par œuvre. Selon Wired le montant est largement inférieur à ce qu'ils auraient eu à payer en cas de perte au procès. Mais surtout «cet accord […] établit un précédent obligeant les entreprises d’IA à rémunérer les titulaires de droits.» Et ce n'est pas fini, il y a une autre plainte, venant d'un groupe de labels de musique dont Universal, accusant Anthropic d'avoir utilisé leurs paroles de chanson pour entraîner Claude.

Pour le fun j'ai (…)