Utiliser, citer, contribuer

Citer l’objet réellement utilisé

Pour un calcul ou un logiciel, citer le DOI de la version reproduite, son tag et, si nécessaire, son commit. Le DOI concept sert de point d’entrée vers l’ensemble des versions. Pour le texte humain–IA, citer la notice HAL du manuscrit, en précisant la version interne v1.1.1.

Manuscrit humain–IA : Alexandre Couret, Qui répond des mathématiques produites par machine ? Traçabilité longitudinale des transitions de revendications en recherche mathématique assistée par IA, version interne 1.1.1, 2026, hal-05773424, prépublication non évaluée par les pairs.

Licences

Les licences propres aux artefacts s’appliquent : MIT pour les trois paquets GitHub ; CC-BY 4.0 pour le manuscrit humain–IA. Les fac-similés de Bernard, les textes du site et les œuvres littéraires ont leurs propres notices de droits. Les conditions éditoriales générales du site ne modifient pas la licence MIT d’un paquet ni la licence CC-BY de ce manuscrit.

Contribuer

Privilégier une tâche bornée : un rejeu, un contre-exemple, une référence manquante, une correction documentaire ou une formalisation ciblée. Indiquer l’énoncé concerné, la version, la commande exécutée ou le raisonnement, et la limite de la conclusion.

Une objection et un résultat négatif documentés sont des contributions recevables.