Réponses
-
Cela a été une folle semaine pour OpenAI, un résumé si vous n'avez pas suivi : https://w…Ça ne répond pas directement à la question mais l'IA dans les maths et la formalisation sont en cours.
Concernant les assistants de preuve, les dernières actualités et avancées mettent toujours en avant Lean, avec dans Une IA peut-elle assister la recherche de preuves de conjectures difficiles? Commentaire de R.E. November 2023Décidément, les derniers jours sont riches en preprints avec de gros résultats. Début Juin, à une conférence à Oxford, 4 mathématiciens ont exposé une preuve que la conjecture de Ravenel du télescope (pas sûr que ce soit bien traduit "Ravenel's tele…Merci Joaopa. Marty Weissman (théoricien des nombres et prof à l'université de Californie à Santa Cruz) parle de "BIG math news" sur twitter :
Une actu légère que j'ai trouvée sympa : la "monotuile apériodique" qui a résolu le problème E…L'Académie des sciences a dévoilé ce mardi 17 octobre les prix qu'elle a attribués en 2023. 14 mathématiciennes et mathématiciens ont été récompensés : dans Actualités autour des maths Commentaire de R.E. October 2023Une autre actu française : les Journées Nationales de l'APMEP vont avoir lieu du samedi 21 octobre au mardi 24 octobre 2023 à Rennes :
Sur le site de l'APMEP : https://www.apmep…Dimanche 3 décembre aura lieu la journée Tangente dans le musée des Arts et Métiers, qui sera gratuit ce jour. Le programme, avec en point d'orgue, à 16h la remise des prix Tangente du livre, Tangente des Lycéens, Affaire de Logique et du meill…Eugenio Calabi est décédé le 25 septembre à 100 ans :Bon je reprends mon fil "Actualités autour des maths". J'ai été absent depuis le 19 mai, je vais donc recommencer depuis là (Je précise que c'est en anglais car mes sources sont principalement anglo-saxonnes) :Les articles Qua…Et une autre après j'arrête : Michael Atiyah et Grothendieck :Une autre image de lui plutôt sympa, avec une devinette : Serre et Grothendieck sont dans une pièce, mais il n'y a q…Avec l'URL : https://www.zupimages.net/up…Et France Info juste à l'instant : La Maison Poincaré, le musée qui veut faire aimer les mathématiques à tous, ouvre ses portes samedi à Paris | Vous êtes "fâché avec les maths" ? Allez expérimenter les mathématiques autrement dans ce tout nouvea…Le lien suivant a été communiqué : http://maison-poincare.fr mais en fait ce n'est qu'une redirection vers : https://ww…Quelques photos pour avoir un aperçu du musée :L'avantage de ChatGPT, c'est qu'il est largement accessible, pour tester Bard il faut un VPN. Tu peux tester Wilfrid et nous faire des retours, de mon côté j'ai la flemme de m’abonner à un VPN.
Par contre il y a des avis pas vraiment positif au…C'est lourd d'avoir en retour des sarcasmes ou de l'agressivité au final de la médiocrité.
Allez My AI sur Snapchat coquin et taquin :
OpenAi a sorti hier une application officielle iOS mais juste aux États-Unis pour le moment, Android devrait arriver bientôt : dans Tous les profs au chômage avec ChatGPT ? Commentaire de R.E. May 2023J'ai ai déjà parlé mais le "Salon Culture & Jeux Mathématiques" commence jeudi prochain (du 25 au 28 mai) Place Saint Sulpice à Paris. Pour sa 24e édition il a le thème « Maths à la carte » Il a le soutien d’un parrain d’exception : Hugo Duminil…Personne n'a dit que ChatGPT allait remplacer les forums de maths ni même posé la question...J'ai trouvé un autre plugin "Link Reader" qui lit les PDF et d'autres format comme "Ask Your PDF" mais aussi des pages web (comme "browsing"…Un meme que j'ai trouvé sur Reddit et qui m'a fait rire :Les 5 premiers épisodes de la saison 2 de Voyages au Pays des Maths sont sortis et en ligne sur ARTE : https://www.arte.tv/fr/videos/RC-021426/voyages-a…Tu peux me donner un exemple de "diagonalisation ou trigonalisation effectives de matrices pas trop méchantes" avec le code LaTeX
et je poserais la question ?
Les jeunes candidats n'auront pas accès à l'IA aussi pendant l'examen et je ne connaissais pas ce genre de scripts mais en y pensant, c'est évident que des calculatrices programmables puissent faire ces choses.Par contre installer un…Déçu de ne pas avoir de réaction, donc pour expliquer un peu plus j'ai fait une recherche "étude de fonctions bac france" sur duckduckgo et je suis tombé sur l'étude de la fonction $f(x) = x^2 – 4\sqrt x$. J'ai délibérément choisi un exercice d…Rapidement à ma pause, voici ce que j'ai obtenu pour l'étude de fonction (dommage, le graphique est vide) :
Merci de ce retour Wilfrid. J'ai regardé rapidement, je suis un peu déçu mais il y a des choses intéressantes.Je viens de voir que j'ai accès aux plugins maintenant et j'ai installé Wolfram malheureusement je n'ai pas le temps ce mat…Wilfrid, tu es abonné à ChatGPT Plus ? Si oui, tu as les plugins ?Edit : si tu as accès au plugin Wolfram : essaie ce prompt et donne nous le résultat : Peux-tu faire une étude de fonction de manière détaillée de $f(x) = x^2 – 4\sqrt…Je précise que cela date d'hier et c'est une grosse évolution pour ChatGPT. Par contre, c'est très lent, il y a beaucoup d'étapes et beaucoup de clics de lien et la réponse met longtemps à apparaître.Il est annoncé aussi les plugins, j'ai…Un article de Quanta Magazine qui vient de sortir, avec un français : New Proof Finds the ‘Ultimate Instability’ in a Solar System Mo…ChatGPT peut désormais se connecter à Internet (pour les utilisateurs ChatGPT plus et en bêta) : dans Tous les profs au chômage avec ChatGPT ? Commentaire de R.E. May 2023Ce n'est pas un livre mais des MOOC (massive open online course, CLOT ou CLOM en frança…Aujourd'hui, le 12 mai est la journée internationale des femmes en mathématiques (depuis 2019). C'est l’anniversaire de naissance de Maryam Mirzakhani (1977 - 2017), m…Non c'est bien que la Chine régule mais à cette vitesse, aussi stricte ? L'Europe prend plus de temps à faire sa régulation et je suis sûr de la préférer à celle de la Chine. Mais libre à toi de penser le contraire.
Autoritarisme ne veut pas dire impérialisme. Et la Chine a déjà sorti des lois très strictes sur l'IA (facile de réguler chez eux).C'est vrai que les travailleurs du clic dans des pays moins développés ont toujours existé et participent à la création de la richesse pour l'informatique. Ça va souvent de pair avec les call center. Au Kenya pour les anglophones, au Maghreb ou Mada…Et sans régulation, il va y avoir des procès dans tous les sens, il y en a déjà. Ce n'est bon pour personne, ni les USA ni les entreprises de l'IA ni les utilisateurs.
Wilfrid, le monde a besoin de la régulation de l'Europe, RGPD, DSA, DMA, Crypto... c'est soit ça soit l'autoritarisme de la Chine soit le laisser faire des USA. Mais même les USA et les géants du Net dont OpenAI demande une régulation.
Et puis …Un meme sur la difficulté de faire des accolades (le format original du meme circule beaucoup en ce moment) :