J'aime bien le grand écart entre ces tendances plus ou moins antagonistes : le code que l'on veut prouver et qui doit faire exactement ce qui est attendu, la compilation qui doit être totalement reproductible bit à bit pour faire exactement ce qui est attendu, et l'intelligence artificielle qui doit faire quelque chose, potentiellement ce qui est attendu et de façon pas forcément comprise ou explicable (même si des personnes travaillent d'ores et déjà sur de l'« IA explicable »).
(et anecdotiquement ça me fait penser aux musiciens de Brême parce qu'on a déjà le (R)coq, le chat(GPT)... reste à trouver le chien et l'âne - et je vous vois venir)
# Reproductibilité, vérifiabilité et musiciens de Brême
Posté par Benoît Sibaud (site web personnel) . En réponse à la dépêche Programmer des démonstrations : une modeste invitation aux assistants de preuve. Évalué à 5.
J'aime bien le grand écart entre ces tendances plus ou moins antagonistes : le code que l'on veut prouver et qui doit faire exactement ce qui est attendu, la compilation qui doit être totalement reproductible bit à bit pour faire exactement ce qui est attendu, et l'intelligence artificielle qui doit faire quelque chose, potentiellement ce qui est attendu et de façon pas forcément comprise ou explicable (même si des personnes travaillent d'ores et déjà sur de l'« IA explicable »).
(et anecdotiquement ça me fait penser aux musiciens de Brême parce qu'on a déjà le (R)coq, le chat(GPT)... reste à trouver le chien et l'âne - et je vous vois venir)