Passionnante réflexion des mathématiciens @Amaury_Hayat et Sylvia Serfati sur l'avenir de leur profession à l'ère de l'IA : la résolution de problèmes ne sera plus notre rôle, et poser les bonnes questions, sans doute que même l'IA le fera mieux que nous à terme...
Yesterday OpenAI published hundreds of new math results. Among them was a groundbreaking algorithm to multiply matrices, showing ω⩽2.25. Our team had the best bound before OpenAI's result. Below I have explained the history of ω and why we care about it: https://t.co/f8vxstCuuE
722 articles de maths dont une centaine de problèmes de très haut niveau.. considérés dans le top 500. Il va falloir revoir le cursus des mathématiciens.
We’re releasing a broad range of new mathematical results produced by an internal frontier model.
We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results.
https://t.co/7N6TPlft1P
Hugo Duminil-Copin (médaille Fields 2022) : la résolution de 350 problèmes majeurs par OpenAI, c'est comme si des camions m'avaient écrasé ; tous les problèmes (et donc pistes de recherche) que je mentionnais dans mes exposés, articles et demandes de financement, ont été résolus.
📍Sujets de référence pour les épreuves du diplôme national du brevet
Dans le cadre du renforcement du niveau d'exigence en matière de maîtrise de la langue aux examens, des sujets de référence sont mis à disposition des équipes pédagogiques de collège⤵️
https://t.co/n9ue42g8B7
📍Sujets de référence pour les épreuves du diplôme national du brevet
Dans le cadre du renforcement du niveau d'exigence en matière de maîtrise de la langue aux examens, des sujets de référence sont mis à disposition des équipes pédagogiques de collège⤵️
https://t.co/n9ue42g8B7
Ils ont aligné les Avengers pour défendre les maths
Ce qui se passe actuellement dans le milieu mathématique est un séisme
24 médaillés Fields ont cosigné un pamphlet contre les pratiques de certaines entreprises d’IA et la manière dont elles abordent les grands problèmes mathématiques.
Mais il y a une phrase qui résonne particulièrement :
« Les problèmes du millénaire sont des phares qui permettent à des générations de chercheurs de trouver un but»
Et je pense que c’est là que se trouve le vrai débat
Si l’IA commence à résoudre les problèmes qui structuraient jusqu’ici des décennies de recherche, elle ne change pas seulement la manière dont on fait des mathématiques
Elle pourrait changer ce que signifie être mathématicien et peut-être impacter de façon négative la recherche, voir la retarder a moyen terme
La mathématicienne Sylviane Serfati à propos de Navier-Stokes : "la solution proposée par OpenAI est extrêmement complexe, avec de nouvelles idées et des surprises".
@Amaury_Hayat : "c'est un vrai séisme" que pendant longtemps on n'envisageait que pour après 2040 !
🔎 Terence Tao, médaille Fields 2006, est l’un des plus grands mathématiciens vivants. Il tire la sonnette d’alarme.
Le contexte. OpenAI vient d’annoncer avoir « résolu » Navier-Stokes, un des sept problèmes du millénaire, avec un essaim de 10 000 agents IA. Sans preuve publiée, et alors que deux mathématiciens y travaillaient depuis des mois et se demandent ce que la machine a lu de leur travail.
Tao ne conteste pas la performance. Il pose la question que personne ne pose. Quand une machine résout tout ce qu’on lui donne, on ne sait plus quelles questions valent la peine d’être posées.
Et si dire sur quoi on travaille suffit à se faire doubler, les chercheurs vont se taire.
Ce n’est pas un technophobe qui parle. C’est le meilleur d’entre eux.
Son post : https://t.co/tzy1lrtMOt
Salukes
#science #physique #profbucella #lasciencepeuttout
@CPrcf@AChristine_Lang Exactement, l’évaluation par compétences, la réforme de 2016 du programmes de maths au collège, le faible niveau du brevet , les spécialités au bac qui font perdre pléthore d’heure de maths… autant de réformes délétères.
La méthode de Singapour est un leurre!
√ Comment calculer une racine carrée sans calculatrice ?
Encadrements, approximation décimale, méthode de Héron, Newton, extraction à la main, Python…
Math93 fait le point entre méthodes, histoire et algorithmes 👇
https://t.co/kmJbFGNMuO
√ D’où vient le symbole de la racine carrée ?
De Leonardo de Pise à Descartes, en passant par Chuquet et Rudolff, l’écriture de la racine a beaucoup évolué avant notre notation moderne.
À découvrir sur Math93 👇
https://t.co/rWqPvQUUXR
Theorem of the Day (August 15, 2026) : The Friendship Theorem
Source : Theorem of the Day / Robin Whitty
pdf : https://t.co/HrdOfnGyaA
notes : https://t.co/rHmJ8t5lu0
#mathematics#maths#math#theorem
Tu rentres en prépa scientifique ? Tu veux avoir autant de chances de réussir ta prépa et tes concours que les élèves de LLG / H4 / Ginette ?
Voici pour toi le poly de transition lycée->prépa de Louis-le-Grand (aka "poly LLG"), mais interactif : tu rédiges tes preuves, une IA les corrige à la volée. Et tu peux même te comparer aux élèves de ta prépa / des autres prépas.
Gratuit pour tous les futurs MPSI / PCSI / MP2I / PTSI.
👇
https://t.co/Eq7SQgVc6a
🔤 Pourquoi utilise-t-on des lettres en algèbre ?
Avant nos notations modernes, l’algèbre s’écrivait surtout avec des mots.
Sur Math93, découvrez comment les lettres, les inconnues et les symboles ont transformé le calcul algébrique 👇
https://t.co/FiWRyuuvUU
➗ D’où viennent les fractions ?
Des tablettes babyloniennes aux fractions égyptiennes, des mathématiciens indiens à la barre de fraction utilisée aujourd’hui…
Math93 raconte l’histoire d’un symbole devenu incontournable 👇
https://t.co/eJ6ZqGWUf9