Réponses
-
Sans parler du problème de l'égalité de nombres flottants soulevée par MrJ, le tout premier code me surprend. Sauf cas très particuliers (et dépendance vraiment très forte) sur la loi (X,Y), il est tout à fait improbable d'obtenir une égalité parfai…
-
@Seirios
Juste pour info ce n'est pas de l'IA générative et ce n'est même pas certain que ce soit de l'IA, ça se rapproche beaucoup de l'optimisation relaxée (d… -
Je n'ose croire qu'un (ancien) prof de prépa n'ait jamais entendu parler des fonctions tests ...
Les maths ne s'arrêtent pas au niveau Bac+2, surtout pour un prof du supérieur. -
Non à la première question, oui à la deuxième.
La deuxième n'a pas de rapport avec la première. -
Ca m'étonnerait que ce soit vrai pour $f$ CPM.
Ca ne m'a pas l'air de marcher pour un bête $x\mapsto \cos(x^2)$ mais je peux me tromper. -
C'est préférable en effet. Copier une énième correction ne t'apportera rien.
-
Du coup tu as raison de le moquer, c'est bien ça ? Quelle puissante argumentation.
-
économies, économies et économies
Lol, il n'y a plus d'argent, tout le monde réclame pour tout, la santé, la justice, l'éducation, l'armée, la culture, la sécu, la CAF, les retraites, la transition écologique, etc. Alors o…
-
@FoysLa réforme dite des maths modernes a été abrogée il y a 40 ans et immédiatement après s'en est suivi une guerre intense et soutenu c…Blanquer n'a fait qu'achever un processus bien entamé. Suppression du bac (le contrôle continu revient à remplacer l’essence même d'un examen national), suppression des mathématiques du tronc commun, "grand oral" pour donner l'illusion d'un niveau r…La folie bourbakiste, ou plutôt la folie de ceux qui ont importé cette vision dans l'éducation nationale, vision qui n'a pourtant jamais été destinée à un but pédagogique, est responsable de la situation actuelle. Le balancier retour est allé trop l…Par contre si l'espace de départ n'est pas un Banach je crois que ça marche toujours, la démonstration n'utilise que la complétude de l'espace d'arrivée dans mes souvenirs.C'est effectivement un exo classique de terminale spé de mon époque, dont la solution est donnée telle quelle sur internet (au moins en anglais). Le genre de trucs que l'IA doit réussir facilement même si Bard s'est lamentablement planté quand j'ai …Si si, elle peut pratiquer l'auto-jeu bien sûr, l'apprentissage par renforcement n'est pas limité aux jeux à adversaire.Ce sont des mauvaises IA mais des IA quand même, il n'y a aucun loup. Personne n'a dit que l'IA devait être plus forte que l'être humain, un programme qui essaye est déjà de l'IA.
À l'époque de deep blue tout le monde considérait unanimem…Oui mais si la question c'est est-ce qu'une IA gagnera ce prix un jour, alors la réponse est probablement oui et je ne sais pas quand, dans 2 ans ou dans 200.
Il y a plein de systèmes d'IA très différents. Si la question c'est est-ce que ChatGP…AlphaZero et les LLM c'est le jour et la nuit, merci de ne pas tout confondre une fois de plus.
Adapter du alphazero à des preuves de maths c'est possible. Avoir un LLM tel que conçu aujourd'hui qui résout des problèmes d'olympiade ne l'e…C'est évidemment possible d'encoder les théorèmes à disposition et d'apprendre à naviguer efficacement dans les séquences cohérentes jusqu'à démontrer ce qu'on voulait, comme un arbre de jeu.
Mais non, ce n'est pas un modèle à la ChatGPT …Qui a affirmé cela sur ce fil ?Edit : message supprimé, je ne veux pas rentrer dans le débat, j'ai dit ce que j'avais à dire, chacun croira qui il veut.C'est ce que je vous raconte sur le fonctionnement de ces modèles et leurs capacités de "raisonnement". Et c'est pareil en maths. Demandez lui de démontrer un truc débile, il y arrive parfaitement. Par contre ça sonne hyper bien, beaucoup mieux que …Les méthodes par réseaux de neurones intègrent aussi une approche MCTS, donc il y a toujours une exploration, mais l'évaluation et la sélection des coups sont déléguées aux réseaux de neurones.
En revanche les réseaux de neurones n'ont au…Pas vraiment, quel est le calcul à effectuer ? Trouver tout le graphe du jeu parfait ? Impossible donc ce n'est pas cela qu'on fait. Qui plus est, jouer parfaitement, si le jeu parfait est égalité, permettrait de jouer des coups théoriquement…Ton exemple était mathématiquement éclairant (quant à l'apprentissage supervisé). Mais je tenais à clarifier certains concepts.
Pour aller plus loins, les LLM, c'est un mélange d'apprentissage non supervisé (en mode next-token prediction,…Bien évidemment.
Et je dis (et je ne suis de loin pas le seul, tu peux lire mon message au-dessus), que l'IA n'est pas définie par le moyen de résoudre le problème, mais par le type de problème adressé ...
Tu te fais berner en …Malheureusement c'est erroné, tu confonds machine learning et IA, comme la plupart des gens maintenant que le deep learning domine très largement l'IA.
Les moteurs de jeux basés sur évaluation/exploration et les algos type MCTS sont bien …Une recherche Google devrait satisfaire ta soif de connaissance.
Globalement l'IA ne parle pas du comment mais du quoi. C'est un type de tâches ou de problèmes, typiquement cognitif, qu'une machine essaye de résoudre. Résoud…Les gens confondent tout.
On peut bien sûr faire de l'IA sans machine learning. Et du fitting de données n'est pas forcément de l'IA.
On peut même faire des réseaux de neurones sans IA (oui oui, les PINN qui ont été discutés s…Je travaille effectivement dans le domaine. Non il n'y a pas qu'OpenAI qui sait faire du Generative AI et des LLM.Aujourd'hui non, on ne sait pas faire, c'est ce que j'explique.ChatGPT, comme TOUS les modèles de langage actuels, ne savent pas raisonner (quoi que cela veuille dire). Le Chain-Of-Thought a pour but d'aller dans cette direction mais ça reste très limité à l'heure actuelle.
Ils sont entraînés …Je n'ai pas dit qu'une IA n'arriverait jamais à cela. Je dis que chatgpt 5 n'arrivera de loin pas à cela.
Ça n'enlève rien aux succès incroyables de ces larges modèles de langage.@JLT pour le coup ça ne risque pas, ces modèles ne sont pas du tout faits pour passer un test de Turing. Leurs réponses sont très stéréotypées et ils admettent eux-mêmes …Euh gebrane, juste non en fait.
Si ça vous intéresse réellement, lisez la littérature scientifique pour comprendre les limitations des modèles plutôt que de partir sur des discussions de comptoir.Je n'ai aucune idée de quand ça va arriver, si ça va arriver. Mais je suis certain que ce ne sont pas les modèles actuels qui peuvent y arriver. Autrement dit, on peut augmenter la puissance de calcul, la profondeur des réseaux, la taille des bases,…40 messages seulement en 4 heures ? Le forum faiblit ...Gebrane, je ne te réponds pas. J'ai beaucoup d'estime pour toi, mais tu sais très bien quelle est la définition de limite donnée en France, et en quoi cela induit un énoncé différent. Tu as d'ailleurs toi-même dit que tu trouvais l'énoncé faux.
Je crois avoir répondu sérieusement.
Évidemment, ce fil risque fort de dégénérer sur un marronnier habituel du forum quant aux limites épointées ou non ... C'est comme au bistrot, le sujet a été discuté 50 fois en des dizaines de pages (s…Cela s'appelle le théorème des gendarmes, et ça n'a rien à voir avec la règle de l'Hôpital.
Par ailleurs, cet énoncé est effectivement faux en l'état.Je serais curieux de savoir si, après avoir nourri une IA avec tous les livres d'exos et d'annales corrigés de prépa, celle-ci pourrait être admise à l'X voire à Ulm.Avec les modèles actuels (LLM entraînés en mode next-to…
Bonjour!
Qui est en ligne 22
+16 Invités