Je me suis toujours demander si on pouvais faire des vrai maths avec un copilot pour un langage comme coq. Et si on va plus loin, trouver si cela permet d'ajouter un peu de logique à un LLM.
Un des papiers parle du réseau de neurone "intuitif" auquel on ajoute un moteur de règle pour valider ou non, les intuitions. Cela ressemble beaucoup à alphaGo zero qui utilisait un modèle + un simulateur des règles du jeu. Ainsi, il a écrasé tout ce qui se faisait avant.
Est-ce que cela peut s'étendre à l'ingénierie ? Il y a plein de simulateurs qui existent dans plein de domaines. Est-ce qu'un réseau pourrait apprendre le domaine avec un simulateur ?
Le premier domaine que j'ai en tête est l'électronique. Il existe un simulateur que l'on trouve partout : spice. Un concepteur raisonne souvent avec des amplificateurs opérationnels ou des transistor parfait puis on trouve des vrais composants et on modifie le schéma pour combler des défauts. On pourrait imaginer une entrée d'IA qui comporte le schéma idéal avec des contraintes sur les entrées-sorties (niveau de bruit, bande passante, ...), la sortie serait le vrai circuit à produire.
[^] # Re: Ça arrive même aux meilleurs !
Posté par Nicolas Boulay (site web personnel) . En réponse au lien Ce qui se passe quand l'IA de Google Search prend The Onion au premier degré 🤡. Évalué à 4.
Je me suis toujours demander si on pouvais faire des vrai maths avec un copilot pour un langage comme coq. Et si on va plus loin, trouver si cela permet d'ajouter un peu de logique à un LLM.
Un des papiers parle du réseau de neurone "intuitif" auquel on ajoute un moteur de règle pour valider ou non, les intuitions. Cela ressemble beaucoup à alphaGo zero qui utilisait un modèle + un simulateur des règles du jeu. Ainsi, il a écrasé tout ce qui se faisait avant.
Est-ce que cela peut s'étendre à l'ingénierie ? Il y a plein de simulateurs qui existent dans plein de domaines. Est-ce qu'un réseau pourrait apprendre le domaine avec un simulateur ?
Le premier domaine que j'ai en tête est l'électronique. Il existe un simulateur que l'on trouve partout : spice. Un concepteur raisonne souvent avec des amplificateurs opérationnels ou des transistor parfait puis on trouve des vrais composants et on modifie le schéma pour combler des défauts. On pourrait imaginer une entrée d'IA qui comporte le schéma idéal avec des contraintes sur les entrées-sorties (niveau de bruit, bande passante, ...), la sortie serait le vrai circuit à produire.
"La première sécurité est la liberté"