IA & ML · 10 sept.
Les fichiers Navier-Stokes d’OpenAI rendent la preuve vérifiable, et pas seulement appelable
La vraie leçon, c’est le passage des affirmations en conférence de presse aux artefacts Lean, car la science a besoin de preuves concrètes et les démonstrateurs de théorèmes ne se fient pas aux impressions.
- Traitez les affirmations scientifiques liées à l’IA comme des problèmes d’artefacts : recherchez les fichiers de preuve, les vérifications et les voies d’examen indépendant.
- Utilisez des boucles de vérification dans vos propres flux de travail avec l’IA, surtout lorsque les sorties sont complexes ou à fort enjeu.
- Séparez la validité de la provenance : un artefact valide a tout de même besoin de transparence sur le crédit, les données et les enregistrements du processus.