Blog
Abonnez-vous pour recevoir un e-mail à chaque nouvel article :
Rethlas-OSV : des agents mathématiques sur ordinateur pour les mathématiciens
Une application de bureau en version bêta permettant d’utiliser les agents mathématiques Rethlas et OSVerify au moyen d’une interface graphique sous macOS.
Guide avancé de Rethlas : comment exécuter Rethlas manuellement
Un guide pratique pour préparer des problèmes et des références, exécuter Rethlas manuellement et examiner ses trajectoires de raisonnement.
Guide des commandes de base du terminal et des flux de travail agentiques pour les mathématiciens
Une introduction accessible aux débutants aux commandes du terminal, à tmux, à Git, à l'intégration d'Overleaf et à la rédaction mathématique assistée par l'IA
Guide de Rethlas : comment exécuter Rethlas avec l'aide de l'IA (aucune connaissance en informatique requise)
Un guide pas à pas pour configurer, exécuter et surveiller Rethlas avec l'aide d'un agent IA de programmation — aucune connaissance en informatique requise.