L’IA devrait vous faire réfléchir.
Historia a commencé comme un outil de recherche qui ne peut pas inventer une source. La suite est un lieu pour apprendre, en commençant par les mathématiques, où l’IA ne fait jamais le travail à votre place. Cette page dit ce qui est disponible aujourd’hui, ce qui est en construction et ce qui reste un projet.
L’outil de recherche est disponible. Il cherche dans des archives publiques, des bibliothèques et des index scientifiques, pas sur le web ouvert. Titres, dates, liens et citations sont copiés de la notice de l’archive elle-même, si bien qu’aucun ne peut être inventé. Une demande de rédiger une dissertation est refusée sur le serveur avant qu’aucun modèle ne tourne. Commencer une recherche
Un entraînement jusqu’à la maîtrise pour le cours de mathématiques de chaque élève. Il est en construction et en test. Il n’est pas encore disponible, et aucune date de sortie n’est fixée.
Essayer la démo: Un aperçu de l’idée, pas le produit fini. Elle s’ouvre dans un nouvel onglet.
Les enseignants peuvent déjà envoyer toute une classe dans les archives avec un seul lien. Ensuite : une vue de qui bloque, de ce qui a été tenté et de ce que chaque élève sait faire sans aide. L’enseignant décide de la note.
Près de 1 000 lycéens en Turquie se sont entraînés en mathématiques avec GPT-4 tel quel. Leurs notes d’entraînement ont augmenté de 48 %. À l’examen passé sans IA, ils ont obtenu 17 % de moins que les élèves sans IA.
Dans le même essai, un tuteur qui ne donnait que des indices a supprimé l’effet négatif. Il n’a apporté aucun gain.
Khan Academy avec son tuteur IA, Khanmigo, pendant deux ans dans 18 écoles du Tennessee : environ 0,06 à 0,08 SD par an, autant que Khan Academy sans l’IA. Les élèves ont écrit au tuteur dans 17 % des séances où ils faisaient une erreur.
Une aide limitée par le code. Aucun indice avant d’avoir essayé. Un indice à la fois. Une solution rédigée seulement après une tentative, et cet exercice ne compte alors plus. C’est le serveur qui l’impose ; ce n’est pas une demande faite à un modèle.
Un raisonnement vérifié par du code. Les réponses, et chaque ligne du raisonnement quand un vérificateur existe, sont contrôlées par du code, pas jugées par un modèle. Dans une grande revue, les logiciels qui vérifient chaque étape se sont approchés d’un tuteur humain : 0,76 SD contre 0,79.
Le prouver sans IA. Chaque cycle se termine par une vérification faite sans aucune aide. Seule celle-ci compte comme une connaissance acquise, et elle revient des jours et des semaines plus tard.
Vous réfléchissez. L’IA montre, interroge et vérifie. Elle ne fait pas vos exercices et n’écrit pas votre devoir.
Notre objectif est un gain de 0,2 à 0,4 SD à des tests passés des semaines plus tard sans IA, l’ordre de grandeur d’un bon tutorat humain. C’est un objectif, pas un résultat. Aucune partie d’Historia n’a encore été évaluée sur les gains d’apprentissage.
Vous enseignez les mathématiques, dirigez une école, ou pensez que nous nous trompons ? thehistoria.company@gmail.com