Aller au contenu
Analyses

MIAM IHES

MIAM IHES.pdf Source
text p. 1 #1 8ff2fa71

@brancourtvincent6999 il y a 1 jour Je ne suis pas du tout mathématicien et j'ai ouvert cette vidéo parce que le titre m'intéressait et que j'avais récemment entendu dire que les mathématiques étaient aujourd'hui un des secteurs des connaissances les plus touchés par le développement de l'IA - je ne sais plus qui disait récemment que l'IA volait aux chercheurs humains en mathématiques le plaisir extrême de la découverte, ce moment où la longue tension de l'esprit aboutit à la jouissive certitude d'avoir compris et résolu le problème. J'ai donc écouté, à l'instant l'exposé de Hugo Duminil-Copin. Evidemment, toutes les références aux problèmes concrets résolus par l'IA me sont passées au-dessus, puique je ne suis pas mathématicien. J'ai uniquement compris de l'IA est formidablement capable de résoudre en peu de temps des problèmes qui prenaient, prendraient aux humains un temps considérable. Je ressors de l'écoute de cet exposé avec des sentiments mêlés, presque contradictoires : d'abord, un réel effroi devant cette puissance de feu, la violence de cette puissance (comme l'apparition dans un contexte darwien d'un superprédateur qui éliminerait tout concurrent), violence qui est aussi celle des entreprises capitalistes qui déploient l'IA ; en même temps, un profond respect pour ce que dit Hugo DuminilCopin, le sentiment que son approche est la bonne, même si la voie est difficile et périlleuse (per angusta ad augusta). Je pense qu'il est juste de centrer la question sur la compréhension (qu'est-ce que comprendre ? que signifie des problèmes "résolus" que personne ne peut comprendre?) et sur la transmission (ce qui est en gros le même problème, mais au niveau intergénérationnel). Et je ne peux qu'espérer que cette tentative, ce projet de "répondre" à l'IA, mais plus encore aux entreprises qui promeuvent l'IA et à la façon violente dont elles le font, réussisse. En tout cas, un grand merci pour cette vidéo très émouvante. J'ai beaucoup aimé l'affirmation que les mathématiques sont aussi une science humaine.

text p. 2 #2 b7a56873

25

section_header p. 2 #3 e8ba8ac8

@jeanlouisdarlet6015

text p. 2 #4 a7c7151b

il y a 1 jour

text p. 2 #5 31de7a39

Il vous reste a aider l'humanité a chevaucher l'abîme sans y tomber!

text p. 2 #6 2c624232

8

section_header p. 2 #7 be5e4a1a

Répondre

text p. 2 #8 189f4003

J

text p. 2 #9 be5e4a1a

Répondre

text p. 3 #10 acac86c0

L

text p. 3 #11 86b15040

@LBSTGTfile il y a 1 jour Il est très naïf de croire qu'il sera possible de contrôler quoi que

text p. 3 #12 83722c00

ce soit du point de vue institutionnel.

text p. 3 #13 b17ef6d1

16

text p. 3 #14 030bee5f

@LopezAlain-j8d il y a 16 heures Répondre

text p. 3 #15 4a3a649f

1 réponse

text p. 3 #16 6b86b273

1

text p. 4 #17 556adca2

Merci au conférencier, Hugo Duminil-Copin, qui merite vraiment d'ëtre entendu. Bravo à lui pour cette intervention éclairante, courageuse et fertile.

text p. 4 #18 d4735e3a

2

text p. 4 #19 be5e4a1a

Répondre

text p. 4 #20 6b86b273

1

text p. 4 #21 9f7d5fc3

Oups. Quand l'IA mange la ToDoList qui allait te permettre de

text p. 4 #22 b0dc0160

@lmz-dev il y a 2 jours manger quelques décennies. Compassion.

text p. 4 #23 6f4b6612

21

text p. 4 #24 be5e4a1a

Répondre

section_header p. 5 #25 777d3b2c

@phenixorbitall3917

text p. 5 #26 6cb2fc6f

il y a 2 jours

text p. 5 #27 f5a99b48

Finalement un mathématicien qui avoue l'étendue du dégat

text p. 5 #28 4fc82b26

11

section_header p. 5 #29 6a3ca2ec

2 réponses

section_header p. 5 #30 be5e4a1a

Répondre

text p. 5 #31 c2adc297

4 réponses

section_header p. 6 #32 25de8ba4

@hqlxwan

text p. 6 #33 6777426e

il y a 18 heures

text p. 6 #34 26bed148

Merci pour cet exposé lumineux et lucide. Tout cela me fait penser à la Physique Théorique de la fin du XIX ème siècle, lorsque TOUTES les lois Physiques avaient été finalement découvertes et validées et qu'il ne restait plus, après Maxwell, que des ajustements mineurs, de la technique et des quelques expériences de vérification de routine à réaliser. On a vu ce que les années 1905 et 1925 ont amené après ce constat démoralisant pour la profession ! Mon sentiment, c'est qu'un bond équivalent peut advenir dans les mathématiques du XXI ème siècle, mené par des mathématiciens tels que Hugo Duminil-Copin ou un de ses jeunes élèves qui ne sont pas tétanisés par l'IA. Juste renverser la table en utilisant l'IA comme un simple levier. En attendant, 'enseignement des Mathématiques reste plus pertinent et important que jamais.

text p. 6 #35 7902699b

7

text p. 6 #36 be5e4a1a

Répondre

section_header p. 7 #37 e71f399d

@jeanrenne1436

text p. 7 #38 54eeb005

il y a 2 jours (modifié)

text p. 7 #39 29b9f042

Une super présentation d'ouverture.

text p. 7 #40 1b5fdbeb

J'adhère à l'idée d'urgence de trouver une unité de parole pour ne pas souffrir de coupures de financements encore plus exagérées que celles du passé. Au délà de la survie d'une communauté et d'un art, c'est aussi potentiellement un enjeu stratégique puisque chaque nation jugera le problème différemment.

text p. 7 #41 6f22e865

Enfin, j'apprécie l'idée d'augmenter l'importance de la médiation scientifique. A titre personnel, je trouvais dommage la nécessité préexistente de course aux preuves due certainement à la pression de trouver sa place et son poste, mais aussi à la quantité limitée de temps dont nous disposons pour atteindre nos rêves. Et je trouvais que la communauté scientifique gagnerait à accorder davantage de crédit au travail de ses membres faisant un effort de transimission, pas nécessairement au grand public, ni même aux étudiants, mais aussi aux collègues d'autres disciplines et jeunes chercheurs et chercheuses.

text p. 7 #42 6f4b6612

21

text p. 7 #43 189f4003

J

text p. 8 #44 f3d65857

@akheeenaton il y a 2 jours

text p. 8 #45 cfaccb47

Houlala ils sont vraiment en panique les mathematiciens. Je ne savais que s etait aussi dramatique. Ils se sont pris l IA en pleine gueule sans avoir ete avertis. les software ingeneers ne sont pas les plus touchés finalement.

text p. 8 #46 e7f6c011

6

text p. 8 #47 be5e4a1a

Répondre

text p. 8 #48 4a3a649f

1 réponse

section_header p. 9 #49 79c6978c

@emmanuel5161

text p. 9 #50 6777426e

il y a 18 heures

text p. 9 #51 b3194213

Cette évolution pose une question fondamentale : à qui appartient la connaissance ? On comprend que les mathématiciens soient bousculés par l'irruption de l'IA dans leur domaine. Mais si l'on revient à la question première, pourquoi faisons-nous de la recherche et à quoi sert-elle, leur inquiétude mérite d'être relativisée. Si la finalité de la recherche est de faire progresser la connaissance, toute méthode capable d'y contribuer devrait être examinée à cette aune. Reste alors une question plus profonde : qui définira les orientations de la recherche, qui contrôlera les moyens de produire les connaissances et qui pourra en bénéficier ?

text p. 9 #52 b1c59f7e

J'irais même un peu plus loin : l'IA pourrait nous obliger à distinguer plus clairement trois choses que notre organisation de la recherche tend à confondre : produire de la connaissance, comprendre le monde et obtenir une reconnaissance académique.

text p. 9 #53 d4735e3a

2

text p. 9 #54 be5e4a1a

Répondre

text p. 10 #55 4a3a649f

1 réponse

text p. 10 #56 043a7187

S

text p. 10 #57 ed8a3447

@sp8626 il y a 1 jour Excellent presentation, thanks for your work

text p. 10 #58 7902699b

7

text p. 10 #59 be5e4a1a

Répondre

text p. 10 #60 5feec0d8

1 réponse Le métier de mathématicien est appelé à connaître de profondes transformations sous l'effet des avancées de l'intelligence artificielle. Les chercheurs devront nécessairement s'adapter à ces évolutions. Il me paraît inconcevable de passer à côté de cette révolution : l'IA pourrait devenir un outil incontournable de la recherche mathématique, au risque, pour ceux qui ne s'en saisiraient pas, de se laisser distancer.

caption p. 11 #61 0ac8327b

@AmandineDUPUIS-gw9me il y a 16 heures

text p. 11 #62 bbc603c4

Mais cette évolution soulève également des questions fondamentales sur l'avenir de la discipline. Comment repenser l'enseignement des mathématiques à l'heure où l'IA est capable de résoudre des problèmes complexes, de contribuer à des démonstrations et d'ouvrir de nouvelles pistes de recherche ? Quelles compétences faudra-t-il privilégier demain : la maîtrise des méthodes classiques, l'intuition mathématique, la capacité à formuler de nouveaux problèmes ou encore l'aptitude à collaborer avec ces outils ?

text p. 11 #63 074bb94c

Enfin, comment susciter des vocations chez les jeunes et leur donner envie de devenir mathématiciens dans un contexte où les capacités de l'IA progressent rapidement ? Au-delà de la transformation des pratiques, c'est peut-être notre conception même de la recherche mathématique, de la connaissance et de la compréhension qui est appelée à évoluer.

text p. 12 #64 d1fe2468

@DavidRoberts il y a 1 jour Thank you for this.

text p. 12 #65 c4966657

@Grossbaltringue

section_header p. 12 #66 be5e4a1a

Répondre

text p. 12 #67 18ac3e73

D

text p. 12 #68 be5e4a1a

Répondre

section_header p. 13 #69 05ea0da9

il y a 20 heures

text p. 13 #70 d4187244

D'un côté c'est génial que des problèmes soient résolus, n'estce pas le but de tous les mathématiciens ? Mais d'un autre côté, l'abîme est vertigineux : comment motiver des jeunes à faire des maths si cela se résume à diriger des ia et relire leurs preuves ? Comment pouvons faire face à cette accéléreration hallucinante.... notre espèce ne peut subir un tel choc en une durée si courte. Les révolutions antérieures (néolithique, industrielles) n'avaient pas ce rythme

text p. 13 #71 19581e27

9

text p. 13 #72 c9b198ea

@bertrand3383 il y a 1 jour Répondre

text p. 13 #73 4a3a649f

1 réponse

text p. 13 #74 3e23e816

B

text p. 14 #75 e3c9261b

Les IA vont être meilleures que les humains pour vulgariser ces résultats (si elles ne le sont pas déjà).

text p. 14 #76 4fc82b26

11

section_header p. 14 #77 ed5bed21

@RobertBriantine

text p. 14 #78 ef17ed67

il y a 19 heures

text p. 14 #79 2a6711f4

Ce qui me frappe dans cette conférence, c'est l'importance presque sacrée que certains mathématiciens accordent aux démonstrations.

text p. 14 #80 d35f8cec

Pour moi, ils oublient quelque chose de fondamental : l'algorithmique est plus générale que les mathématiques.

text p. 14 #81 be5e4a1a

Répondre

text p. 14 #82 1d3499b8

1 réponse Les mathématiques ne sont qu'un objet parmi d'autres, manipulé par des algorithmes. Une démonstration Dem(A, P) est ellemême une procédure algorithmique qui manipule des symboles selon des règles.

text p. 15 #83 a90f7272

Mais démontrer P à partir d'axiomes ne signifie pas avoir expérimenté la vérité de P dans toute sa généralité. Une démonstration permet notamment de prédire les résultats de vérifications futures. Le problème commence lorsqu'on confond cette garantie formelle avec une vérité absolue sur le monde.

text p. 15 #84 cf4377d6

L'intelligence humaine repose d'abord sur notre capacité à observer, agir, expérimenter, construire des algorithmes et transmettre ces procédures par le langage.

text p. 15 #85 d60b28ff

Voilà pourquoi les progrès de l'IA en mathématiques ne me surprennent pas. Une machine devient meilleure que nous dans la manipulation de symboles. Et alors ?

text p. 15 #86 4e05c90b

Mais surtout, ces progrès montrent à quel point l'ingénierie et l'algorithmique deviennent essentielles dans l'apprentissage et le développement de l'intelligence artificielle.

text p. 15 #87 e3584c18

Le véritable enjeu n'est pas d'accumuler toujours plus de connaissances dans les paramètres d'un modèle, mais de concevoir des systèmes capables de sélectionner les informations importantes, de découvrir des règles, de les expérimenter et de les réviser.

text p. 15 #88 f5567756

Et pour cela, il faut de l'ingénierie, des algorithmes, des architectures adaptées et pas simplement des modèles toujours plus gros.

text p. 15 #89 9014fd45

L'intelligence ne consiste pas à accumuler des vérités supposées, mais à apprendre comment fonctionne le monde.

text p. 16 #90 6b86b273

1

text p. 16 #91 94a2a95e

@jbcaillau il y a 13 heures merci Répondre Répondre

text p. 17 #92 a6e37474

@amineouazad886 il y a 1 jour (modifié)

text p. 17 #93 5feceb66

0

text p. 17 #94 e210e3b9

11:25 Merci d'avoir dit ! "On a publié un article lundi soir..." et ils utilisent exactement la même preuve. "On peut tomber sur la même preuve indépendemment." Je trouve quand même qu'on donne un peu trop le bénéfice du doute à ces entreprises d'IA. 28:54 est un excellent point. "Un enfant de 16 n'en a rien à cirer des marches auto-évitantes" Inspirer l'humain.

text p. 17 #95 ef2d127d

5

section_header p. 17 #96 3d68c887

@rudymarguier4879

text p. 17 #97 6cb2fc6f

il y a 2 jours

text p. 17 #98 a80c52d8

La majorite compatit plus que vous ne l'imaginez, ayant déjà tous vécu la frustration de notre incapacité à aligner le BON raisonnement qui aboutit à une solution alors que ça semble

text p. 17 #99 65ea6c3b

Répondre tellement facile à suivre une fois le chemin tracé... à notre petit niveau s'entend. Ce qu'on mesure moins c'est l'énergie, la patience, le temps de votre vie passé à vos recherches qui soudain se retrouvent balayer... Il ne vous reste plus qu'à utiliser la bêche, le socle, la charrue, le tracteurs et le GPS avec ses stations météo et de jardiner plus, mieux... utiliser l'IA pour aller encore plus loin. Non ?

text p. 18 #100 19581e27

9

section_header p. 18 #101 e4160956

@jamesdugalais5653

text p. 18 #102 6cb2fc6f

il y a 2 jours

text p. 18 #103 2e857464

C'est le Deep Blue moment de la preuve mathématique par les machines : pour la première fois, la recherche de preuves peut être industrialisée à une échelle où l'exploration

text p. 18 #104 be5e4a1a

Répondre

text p. 18 #105 4a3a649f

1 réponse

text p. 18 #106 19581e27

9

text p. 19 #107 e711f8d2

computationnelle devient elle-même une source majeure de puissance intellectuelle.

text p. 19 #108 4fc82b26

11

caption p. 19 #109 fad2d1ef

@sanalouhichi1083 il y a 12 heures

text p. 19 #110 be5e4a1a

Répondre

text p. 19 #111 c2adc297

4 réponses

text p. 19 #112 aaa94026

H

text p. 19 #113 8b8d5468

Cela va d'une vitesse exponentielle ! pas assez le temps de réaliser ce qui se passe !

text p. 20 #114 8c0f6170

Répondre Répondre

section_header p. 20 #115 55c0fd99

@sitrakaforler1896 il y a 2 jours

text p. 20 #116 fc8a430b

Vraiment très intéressant! Merci du partage ! (en plus j'ia les mêmes initiales SMF hahaha bref je vais faire de la pub pour une si chouette société !!!)

text p. 20 #117 6b86b273

1

text p. 20 #118 be5e4a1a

Répondre

text p. 20 #119 043a7187

S

text p. 20 #120 7fb48433

SITRAKA

text p. 20 #121 1a6d4123

TECH-BI-CLISS

text p. 20 #122 148de9c5

P

section_header p. 21 #123 453ee4d2

C'est a la fois encourageant et extrêmement inquiétant

text p. 21 #124 ef2d127d

5

text p. 21 #125 5bf3ec21

@Angexter99

text p. 21 #126 a7c7151b

il y a 1 jour

text p. 21 #127 e6d940df

Ouverture du coffre mathématique

text p. 21 #128 be5e4a1a

Répondre

text p. 21 #129 e9390359

3 réponses

text p. 22 #130 32ff3220

@bertrand3055 il y a 2 jours

text p. 22 #131 6886f290

Dater ces conférences semble juste indispensable !

text p. 22 #132 be5e4a1a

Répondre

text p. 22 #133 e8c16999

@lm6352 il y a 1 jour Mon fils a adhoré votre conférence

text p. 22 #134 6b86b273

1

text p. 22 #135 57c6533c

Répondre il y a 20 heures (modifié)

caption p. 23 #136 548771d1

@F5a7

text p. 23 #137 61b9d7b5

A une époque, il y avait de véritables équipes de personnes qui faisait des calculs, difficilement, "à la main" (il y a d'ailleurs un film sur le sujet, des femmes qui calculait pour la NASA je crois). Ces gens étaient fier de leur travail, et de leur travaux, ce n'était pas donné à tout le monde d'ailleurs, il y en avait des bons, des excellents, et des moins bons...

text p. 23 #138 f69b2057

Ensuite les ordinateurs sont apparus et ces bastions ont tous disparus. Personne ne les a regrettés, ce serait comme de regretter le temps où on creusait à la main le jour où les pelles ont été inventées ! A la limite il y a eu de la nostalgie d'une

text p. 23 #139 be5e4a1a

Répondre

text p. 23 #140 537e77b1

9 réponses époque révolue, mais on savait tous bien que leur disparition était "globalement bénéfique".

text p. 24 #141 4ae3e534

De la même façon, jusqu'a aujourd'hui on avait des bastions de mathématiciens qui cherchaient, difficilement, à résoudre des problèmes, et l'IA est apparu. Voilà. Et bien sur on comprend que vous soyez nostalgique.

text p. 24 #142 ef2d127d

5

text p. 24 #143 20055565

@RémiGracient

text p. 24 #144 8098dd2c

il y a 12 heures

text p. 24 #145 ac395f0e

J'éspère que l'IA va inventer une machine à repasser les egos froissés

text p. 24 #146 be5e4a1a

Répondre

text p. 24 #147 ca978112

a

section_header p. 25 #148 499580ac

@jean-mariedavid9822

text p. 25 #149 6cb2fc6f

il y a 2 jours

text p. 25 #150 590774a0

PROGRÈS FULGURANTS en accélération constante. Intégrez 2 fois pour avoir la distance parcourue dans 6 mois puis dans 2

section_header p. 25 #151 be5e4a1a

Répondre

section_header p. 25 #152 4a3a649f

1 réponse

text p. 25 #153 189f4003

J

text p. 26 #154 8a817af8

@cedrica7908

text p. 26 #155 0172cdfb

il y a 21 heures

text p. 26 #156 150b4231

Merci beaucoup pour cet exposé passionnant. La frise chronologique n'est pas à l'échelle qui permettrait de mesurer l'accélération du phénomène. Où en sera t on dans un mois ?

section_header p. 26 #157 be5e4a1a

Répondre

section_header p. 26 #158 e9390359

3 réponses

section_header p. 27 #159 17fd3d3a

Merci pour votre vision de ce virage historique...n'ayez pas

text p. 27 #160 2a3f6550

@xque45 il y a 1 jour peur...entrez dans l'espérance...

text p. 27 #161 be5e4a1a

Répondre

text p. 27 #162 4a3a649f

1 réponse

section_header p. 28 #163 f1e81684

@biddiw

text p. 28 #164 e16c6e4d

il y a 1 jour (modifié)

text p. 28 #165 7e4facf4

Je trouve vos observations et votre analyse vraiment pertinentes Vous pointez du doigt la polarisation au sujet de l'IA qui touche même des personnes qu'on pensait rationnelles. Je vous invite à lire les commentaires suite à cette intervention de Lecun https:// www.youtube.com/watch?v=uhvJze3h5Pk. La violence de la remise en question de sa légitimité est incroyable.

text p. 28 #166 be5e4a1a

Répondre

text p. 28 #167 3f79bb7b

e

text p. 28 #168 c9c71877

@statebased il y a 1 jour

text p. 28 #169 6cc7c374

Quel dommage que l'enregistrement du son soit aussi mauvais. L'anti bruit amplifi les S.

text p. 28 #170 c1ef9be1

p!

section_header p. 29 #171 84663859

@BrunoCessac

text p. 29 #172 a7c7151b

il y a 1 jour

text p. 29 #173 139a7f12

En tant que chercheur je peux imaginer la détresse et l'effroi que l'on ressent lorsqu'on découvre qu'une IA a résolu en peu de temps des problèmes auxquels on avait consacré sa vie. Je ne suis pas mathématicien mais je crois comprendre la profonde préoccupation du monde mathématique et son effervescence à chercher de nouvelles voies. Dans cette perspective, il y a un point qui, me semble-t'il, n'a pas été abordé ni par M. DuminilCopin, ni dans les commentaires; la créativité. L'IA peut résoudre des problèmes complexes mais a t'elle la capacité d'en imaginer de nouveaux ? La grande force des mathématiciens, en tant qu'êtres humains, n'est-elle pas la possibilité de créer de nouvelles idées, concepts, problèmes, plutôt que la capacité à abstraire ou à démontrer des théorèmes ? N'oublions pas que LLM ont été programmés par des informaticiens, mathématiciens, avec une certaine conception, à mon avis assez étroite, du raisonnement et de l'intelligence. Notre capacité à crér est peut être un angle mort à exploiter.

text p. 29 #174 be5e4a1a

Répondre

section_header p. 30 #175 f8484c49

@Viva-LaLibertad-Carajo il y a 23 heures

text p. 30 #176 77098847

Pendant quelque temps les mathématiciens seront ceux qui comprenent encore les démonstrations de l'IA mais très rapidement personne n'y comprendra plus rien et on leur fera une confiance aveugle.

section_header p. 30 #177 be5e4a1a

Répondre

section_header p. 30 #178 35910959

5 réponses

text p. 31 #179 8c0f6170

Répondre Répondre

text p. 31 #180 6a3ca2ec

2 réponses

text p. 31 #181 1b16b1df

N

text p. 31 #182 f5c71f56

@NikolayUlyanov-q9e il y a 1 jour very ironic, that youtube suggests AI auto-dub for this

text p. 31 #183 be5e4a1a

Répondre

text p. 32 #184 8e28ae6a

@manueldeschamps432 il y a 2 jours Survivre...et vivre

text p. 32 #185 d4735e3a

2

text p. 32 #186 3840d22b

@jackmaxwell3134 il y a 11 heures Répondre

text p. 32 #187 e9390359

3 réponses

text p. 32 #188 189f4003

J

text p. 33 #189 be5e4a1a

Répondre

text p. 33 #190 fddd8e59

Non, mais cette blague ! On lui résoud ses problèmes et il n'est pas content... Vous n'avez qu'à demander à l'IA quels sont les prochains problèmes insolubles qu'elle n'arrive pas à résoudre.

text p. 33 #191 6b86b273

1

section_header p. 33 #192 077e314b

@fightingvideo5479

text p. 33 #193 a7c7151b

il y a 1 jour

text p. 33 #194 fb4bc9f1

Ces événements sont un désastre pour les individus, mais une aubaine pour l'humanité entière. L'histoire regorge de scénarios similaires ; par exemple, l'invention de la machine à vapeur, du moteur à combustion interne, de la machine à écrire, du télégraphe sans fil, du téléphone, de l'ordinateur et du commerce électronique a toujours engendré un chômage de masse. Peut-être cela indique-t-il que la civilisation humaine a atteint un point critique où une révolution est imminente.

text p. 34 #195 4b227777

4

section_header p. 34 #196 134050df

@emmanuelcastro4820

text p. 34 #197 6cb2fc6f

il y a 2 jours

text p. 34 #198 93b76ffa

Votre boulot va être de définir les conjectures que vous donnerez à prouver ou à réfuter à des machines. Et à continuer de structurer la discipline mathématique. Regardez comment continuent de travailler les codeurs ! Car si l'IA code très bien, elle n'a aucune idée de ce qui est utile à coder

text p. 34 #199 4a44dc15

10

text p. 34 #200 be5e4a1a

Répondre

section_header p. 35 #201 b73042fd

@kinggeorges625 il y a 14 heures

text p. 35 #202 07ee1523

C'est drole, il se vente de ne pas utiliser l'IA, mais le reste du monde va continuer a l'utiliser et gagner en productivite 1000x plus que lui.

text p. 35 #203 07bc6741

Je me rappel il n'y a pas si longtemps un coach en developement personnel disait que dans le monde actuel, beaucoup vont echouer, pas par manque d'intelligence, mais par manque d'ouverture d'esprit et de refus de se mettre a jour avec la nouvelle technologie.

text p. 35 #204 d4735e3a

2

section_header p. 35 #205 740d4cb9

6 réponses

text p. 36 #206 28e5363b

@yanikrv il y a 2 jours

text p. 36 #207 8067c900

Plus le choix, il faut maintenant meta-reflechir.

text p. 36 #208 be5e4a1a

Répondre

section_header p. 36 #209 4a3a649f

1 réponse

section_header p. 36 #210 6a3ca2ec

2 réponses

section_header p. 37 #211 4b3bd1c0

@papetatedouces

text p. 37 #212 a0eb2ff9

il y a 6 heures

text p. 37 #213 671dd0d7

Est-ce que le fait que l'IA ait résolu toute la roadmap de votre labo ne signifie-t-il pas juste que votre labo doive revoir ses objectifs de productivité ? C'est-à-dire produire plus de résultats pour un moindre coût, sans menacer pour autant son excellence scientifique. L'outillage doit simplement être ré-adapté ?

text p. 37 #214 be5e4a1a

Répondre

text p. 37 #215 6b86b273

1

section_header p. 37 #216 9cdb12c9

@impassesetcheminsdetravers4955

text p. 37 #217 a7c7151b

il y a 1 jour

text p. 37 #218 c791f61c

Il me semble qu'il y a à court terme 2 problèmes principaux:

list_item p. 37 #219 47be3b0e
  • L'encadrement des thésards, effectivement. Trouver de bons problèmes pour démarrer va être encore plus difficile qu'autrefois. Combien de problèmes pourront tenir 3 ans?
text p. 38 #220 5bcefe51

Allons-nous devoir travailler en secret? Ca risque de changer complètement la mentalité du milieu.

list_item p. 38 #221 9cabcfa2
  • L'entrée de l'économie dans un domaine où il y a déjà une pression (journaux payants, etc.) qui dénature la recherche. Si l'IA devient un outil banalisé pour les labos, on risque de voir s'installer une hiérarchie par niveau de moyens financiers qui existait déjà mais va empirer considérablement. Il y a de quoi dégoûter à l'avance tous les futurs chercheurs potentiels.
text p. 38 #222 9f14025a

35

text p. 38 #223 cbc559ba

@RémiGracient il y a 12 heures Répondre

text p. 38 #224 35217e62

13 réponses

text p. 38 #225 ca978112

a

text p. 38 #226 b8c73752

bah non il suffit de demander a Gpt Astra de transcrire le Lean en article Répondre

text p. 39 #227 96308951

@ratenfant8837 il y a 2 jours Avec une machine à envoyer l'information dans le passé, on

text p. 39 #228 15198da2

peut toujours dépasser toutes les IA du monde, dans le sprint

text p. 39 #229 be5e4a1a

Répondre

text p. 40 #230 0e558930

@lawlietryuzaki4694 il y a 13 heures

text p. 40 #231 f093afc0

Je compatis

text p. 40 #232 2ae057b0

🫶

text p. 40 #233 4da48dee

@etienneroussel464 il y a 2 jours

text p. 40 #234 4aafe428

L'attitude et la réflexion à chaud de HD-C sont extrêmement saines. Et merci pour cette sincérité.

section_header p. 40 #235 4a3a649f

1 réponse

text p. 40 #236 0604c9b3

Répondre En toute fin de présentation, il y a un choix d'adverbe qui dit presque tout de la friction entre mathématiciens et béotiens quant à la réception de ce nouveau paradigme : "le temps des mathématiques isolées dans leur tour d'ivoire est MALHEUREUSEMENT révolu".

text p. 41 #237 7902699b

7

text p. 41 #238 4e29d8f7

@Artichaulo

text p. 41 #239 6cb2fc6f

il y a 2 jours

text p. 41 #240 db3c63ed

du coup la vidéo science étonnante est déjà obsolète ?

text p. 41 #241 be5e4a1a

Répondre

text p. 41 #242 35910959

5 réponses

text p. 41 #243 ca978112

a

section_header p. 42 #244 eea3ee39

@Venden_IX

text p. 42 #245 0451d254

il y a 5 heures

text p. 42 #246 c62cb25a

J'ai l'impression que le travail de mathématicien se déplace plutôt vers la compréhension et la transmission du savoir généré par IA. Les découvertes folles vont être trouvées par des algorithmes intelligents car les machines peuvent faire des connexions avec des choses qui semblent absurdes par les humains, et ce à une vitesse folle.

text p. 42 #247 a82c8f1b

Je me demande comment va évoluer l'aspect "créatif" avec ces outils IA. Car le vibe coding/bruteforce boîte noire c'est pas forcément bon dans l'exploration scientifique.

text p. 42 #248 c181dc55

Une analogie avec un parcours de graphe :on pourrais aller très profondément dans une direction grâce à l'IA mais passer à côté d'une découverte fort intéressante qui aurait été découverte de façon intermédiaire. Mais il y a aussi la réflexion inverse; peut-

section_header p. 42 #249 be5e4a1a

Répondre

section_header p. 42 #250 4a3a649f

1 réponse

text p. 43 #251 26160ae6

être que l'homme aurait difficilement trouvé certains futurs paradigmes. C'est le dilemme du 21e siècle en quelque sorte.

text p. 43 #252 602af657

(Ce n'est que mon avis, je me trompe peut-être)

text p. 43 #253 be5e4a1a

Répondre

text p. 43 #254 189f4003

j

section_header p. 43 #255 e2348f83

@jeanpi314159

text p. 43 #256 348c8b4e

il y a 15 heures

text p. 43 #257 b59265a1

Il est très bien Hugo D-C. Mais un mathématicien peut venir parler du métier à des élèves de 11 ans, même si ça paraît un peu tôt pour une classe : un ami mathématicien le fait et ça en intéresse un certain nombre...Tout le monde l'écoute mais la plupart ne réalisent pas le niveau de mathématiques...Mon ami évoque aussi le côté matériel désolant de la recherche, les conditions de travail, mais aborde la façon de penser d'un mathématicien.

text p. 44 #258 c24d9516

@Tedou01

text p. 44 #259 6cb2fc6f

il y a 2 jours

text p. 44 #260 a3fea27e

Est-ce que cette situation n'amène pas à se poser la question du pourquoi la recherche en mathématiques ? Quel objectif a-t-on dans ces recherches ?

text p. 44 #261 4e074085

3

section_header p. 44 #262 be5e4a1a

Répondre

text p. 44 #263 be5e4a1a

Répondre

section_header p. 45 #264 bca42135

@GuyMARCILLAC

text p. 45 #265 54eeb005

il y a 2 jours (modifié)

text p. 45 #266 c241bb28

Quels dialogues, sur des sujets mathématiques, avoir actuellement avec les IA, si ce n'est pour un espoir d'utilités, au moins pour de la beauté partageable ? De plus dans quelques mois, les IA auront des aprentissages rapides de visions des objets qu'elles n'ont pas encore : par exemple des motifs (symétries, semi-régularités, accumulations, frontières, resemblances, bizarreries...) qui, pour nous les humains, "nous sautent aux yeux" du fait de notre aprentissage par nos sens (depuis notre petite enfance), de notre éducation et de nos expériences. Si vous avez dialogué avec une IA, n'avez-vous pas remarqué qu'elle manque quelquefois d'imagination ou d'intuition à détecter, avant vous, des améliorations que vous lui proposez et qui s'avèrent plus fécondes que ses propositions ? Une IA saitelle (saura-t-elle) approximer, quand il le faut, un éléphant par une sphère ? Approximer une distance par le nombre de pas d'un chameau ? Comprendre pourquoi recevoir sur un pied un coussin de 1 kg de duvets de plumes, fait moins de dégats qu'un

text p. 45 #267 a9cfc08b

coussin de 1 kg de plomb ?

text p. 45 #268 4e074085

3

section_header p. 46 #269 813329ca

@athosathos7777

text p. 46 #270 391eaa22

il y a 22 heures

text p. 46 #271 4dba5bc8

J'ai beaucoup aimé l'affirmation que les mathématiques "sont aussi une science humaine." ll est probable que sur ce plan le plus grand mathématicien du 20ème siècle Alexandre Grothendieck qui mêlait la littérature aux mathématiques pures n'aurait très probablement pas dit le contraire. Je me suis toujours interrogé sur le fait que l'on parle en mathématiques (que d'aucun ne considère pas comme une science) en physique, en chimie, en biologie de "sciences dures" comme en opposition aux "sciences molles" (qualificatif pour le moins condescendant) : "les sciences humaines" On pourrait y voir un lapsus un côté Freudien de toute puissance. On la retrouvait dans une médecine où l'apparition du VIH a ébranlé la foi de la toute puissance dans la résolution de quasiment toutes les maladies par les antibiotiques. C'est à ce moment que l'on démocratisé et ouvert le débat de façon plus large et ouverte que celui de l'entre-soi restreint et limité à une petite communauté de spécialistes du domaine. Le génial mathématicien Kurt Gödel a montré qu'il y avait des impasses en mathématiques pures. Dans le même temps le principe d'incertitude d'Heisenberg celui de la toute puissance de la

section_header p. 46 #272 e9390359

3 réponses

text p. 47 #273 bc32d63e

physique déterministe ("Le principe d'incertitude de Heisenberg affirme que certaines propriétés quantiques conjuguées, comme la position et la quantité de mouvement, ne peuvent pas être déterminées simultanément avec une précision arbitraire : réduire l'incertitude sur l'une augmente celle de l'autre..").Tout comme la physique quantique a rebattu les cartes face à la toute puissance de la détermination absolue en physique classique. Dans le domaine de l''Evolution le modèle de Chaline et de Gould d'une Evolution ponctuelle et discontinue a ébranlé la perception d'une Evolution quasi graduelle et continue. Le colloque qui a eu lieu à Dijon opposant les tenants du continu au discontinu (graduel versus ponctuel) ne s'est pas fait sans qu'il n'y ait eu de frictions dans la salle. La vision d'une évolution en bourgeonnements a été opposée à celle du modèle de la transmission uniquement verticale...Louis Pasteur avait ferraillé avec Marcelin Berthelot sur la fermentation et l'absence de génération spontanée. A chaque fois il y a des frictions par rapport au "nouveau" qui risque de détruire l'ancien modèle. En musique on oppose le mode majeur au mode mineur etc...Mais pourquoi pas "les deux mon général ?? (tout dépend du niveau ou l'on se place). Pourquoi tant de dichotomies et de postions tranchées ou binaires ? Pour ma part je ne diaboliserais pas l'A comme je ne l'encenserai pas. Pour rappel : l'IA été conçue progressivement via des mathématiciens purs souvent de haute volée comme par exemple : "Blaise Pascal" (de façon indirecte) puis "Alan Turing" (mathématicien et logicien) et par les suite des mathématiciens chercheurs américains de talent de la brillante et prolifique université de "Berkeley" en Californie. Une autre question se pose : celle de "à quoi ça sert?" Cette question qui aurait pu semblé iconoclaste en mathématiques pures ou plus largement en Recherche Fondamentale si elle ne peut pas à mon sens se poser partout pourrait il me semble dans certains domaines s'avérer incontournable.

section_header p. 48 #274 bdcecc2e

@vinzlaur il y a 5 heures

text p. 48 #275 8df78aca

Je suis désolé pour tous les collègues mathématiciens. J'espère que dans la manière dont les mathématiciens se sentent méprisés dans cet évènement qui boulverse leur vie, s'opèrera une réflexion sur l'idendité du processus qui fait que énormément de concitoyens se sont sentis méprisés TOUTE leur vie par les mathématiciens de la même facon. Force à tout le monde !

section_header p. 48 #276 be5e4a1a

Répondre

section_header p. 48 #277 4a3a649f

1 réponse

section_header p. 49 #278 0eea3bb1

@VArlaud

text p. 49 #279 a7c7151b

il y a 1 jour

text p. 49 #280 d8341a95

beaucoup de gens semblent favorables au progrès tant que celui-ci reste compatible avec leur place dans l'ordre social. Dès que le progrès implique qu'ils puissent devenir moins centraux, moins rares ou même inutiles dans certaines fonctions, leur conception du progrès devient beaucoup plus conditionnelle.

text p. 49 #281 ef2d127d

5

text p. 49 #282 be5e4a1a

Répondre

text p. 49 #283 4a3a649f

1 réponse

text p. 49 #284 a73fcf33

1A

text p. 49 #285 be5e4a1a

Répondre

text p. 50 #286 8b17b83a

@Titi-pu2hl il y a 1 jour (modifié)

text p. 50 #287 cd1be124

Les mathématiciens ne deviendront pas inutiles pour autant, ils vont juste devoir s'adapter, désormais leur métier sera de gérer, vérifier et valider le travail des IA. L'IA peut encore être utilisé comme outil dans la recherche

text p. 50 #288 9bbb7215

humaine.

text p. 50 #289 6b86b273

1

text p. 50 #290 4a3a649f

1 réponse

text p. 50 #291 be5e4a1a

Répondre

section_header p. 51 #292 49069060

@OttoIncandenza

text p. 51 #293 6cb2fc6f

il y a 2 jours

text p. 51 #294 e813d8ed

Mais ils ne vont pas s'arrêter la… ca va avancer encore plus vite. Les humains ne pourront plus rien comprendre d'ici l'an prochain.

text p. 51 #295 4e074085

3

section_header p. 51 #296 afd0195a

@SebastienLAMERIE

text p. 51 #297 6cb2fc6f

il y a 2 jours

text p. 51 #298 39cbb042

c'est curieux je ne vois pas Laurent Lafforgue dans la liste

text p. 51 #299 be5e4a1a

Répondre

section_header p. 52 #300 a53e7077

@cedricnicolas2662

text p. 52 #301 9730b82c

il y a 16 heures

text p. 52 #302 211ed2f8

Les humains continuent de jouer aux échecs et même de plus en plus, même depuis la victoire de Deep Blue sur Kasparov en 1987. Et la pratique humaine des échecs a beaucoup progressé grâce à l'IA.

text p. 52 #303 47f0e245

La différence entre les deux pratiques est mince : les mathématiques sont censées, de temps en temps, résoudre des problèmes pratiques, mais c'est de plus en plus rare, et c'est devenu une exception. Donc tous ceux qui font des mathématiques, et qui de leur vie n'apporteront rien de concret à l'humanité si ce n'est d'avoir juste résolu des problèmes intéressant intellectuellement à résoudre, peuvent se réduire à des joueurs d'échecs, qui eux aussi font de la résolution de problèmes en permanence, sans qu'il y ait aucune utilité pratique à le faire, à part juste jouer, donc prendre du plaisir à affronter un autre autour de problèmes.

text p. 52 #304 be5e4a1a

Répondre

text p. 52 #305 6a3ca2ec

2 réponses

text p. 52 #306 8254c329

K

text p. 53 #307 ae075efb

l'IA dans les maths va peut être permettre justement de rendre les mathématiques plus "utiles", et je suis curieux de voir ce que ca va donner en physique fondamentale, où on a encore des questionnement fondamentaux dans notre compréhension de la nature, que ca soit au niveau quantique, ou au niveau de l'univers tout entier. L'IA va certainement nous apporter de nombreuses explications du monde qui sont pour l'instant hors de portée.

text p. 53 #308 d4735e3a

2

text p. 53 #309 be5e4a1a

Répondre

text p. 53 #310 4a3a649f

1 réponse

text p. 53 #311 6b86b273

1

text p. 53 #312 9cdb12c9

@impassesetcheminsdetravers4955

text p. 53 #313 54eeb005

il y a 2 jours (modifié)

text p. 53 #314 2348ec3f

Comment l'IA a-t-elle pu focaliser ainsi sur les problèmes de la liste de Hugo? Y a-t-il d'autres médaillés Fields qui ont vécu la même mésaventure, est-ce une question de notoriété ? (On doit se sentir terriblement vide après ça, brrr...) Pour ma part j'ai confié ma liste de problèmes à 4 IA indépendantes (versions gratuites) et ça n'a pas avancé d'un millimètre. J'ai juste appris qu'il n'y avait eu aucun résultat nouveau en 11 ans. J'aimerais bien voir au moins l'un de mes problèmes résolus avant de disparaître.

text p. 54 #315 d4735e3a

2

text p. 54 #316 6f158f64

@jcbob4530

text p. 54 #317 54eeb005

il y a 2 jours (modifié)

text p. 54 #318 be5e4a1a

Répondre

text p. 54 #319 f4e45b4f

3 réponses Quelle ironie : les algorithmes d'IA sont en très grande partie basés sur les maths. Beaucoup disent « je n'ai pas de problème avec l'IA …, MAIS l'usage de l'IA [dans mon métier] …. Non ». Ce serait bien que l'on s'interroge sur l'impact de l'usage de l'IA dans notre société, dans tous les métiers et pas seulement uniquement pour sa pomme (c'est aussi d'ailleurs une constante de toujours se focaliser sur son nombril). Et surtout que l'on s'interroge sur ces personnes qui sont les promoteurs de l'IA (qui n'est qu'un outil informatique) et leur idéologie de la « tech » toute puissante. Après je ne vois pas où est le problème d'être « anti IA » si ce n'est de prendre le risque (« le risque », ce qui en dit long sur l'influence de ces géants de la tech sur nos sociétés) de s'opposer à cette déferlante orchestrée par la Silicon Valley. Je fais un parallèle peut-être osé, mais ce qui se passe concernant l'IA ressemble fortement à ce qui se déroule sur le plan de l'environnement et du climat : on sait qu'on va dans le mur mais on continue quand même comme si de rien n'était. Aurélien Barrau a (encore) raison en disant en substance que le président américain et ses potes de la tech sont finalement le reflet de ce que nos sociétés occidentales sont réellement (il faut sans doute y ajouter la Chine maintenant).

text p. 55 #320 7902699b

7

section_header p. 56 #321 3b9ad4ab

@Barberousse875

text p. 56 #322 6cb2fc6f

il y a 2 jours

text p. 56 #323 88beb0bd

Entait le problème dans le discours de Hugo (avec tout le respect que je lui dois) c'est de partir du principe que toutes les idées mathématiques possibles sont forcement contenues ou liées au problèmes qui existent dans la littérature mathématique d'aujourd'hui d'où la conclusion qu"il n'y aura plus d'idée mathématique générer par humain" or ce n'est juste pas vrai le cardinal de l'ensemble des idée mathématiques "nouvelles" est a priori infini, quand dans 2 ans l'IA aura résolue tout les problèmes existant (millénaire inclue) la on pourra discuter, Il y aura des idées humaines et une machine à coté qui peut générer aléatoirement des idées si on paye de l'énergie mais les deux moyens de generation d'idées pourraient coexister car il y aura toujours une idée sur laquelle un humain tombe qui aurait peut être couté beaucoup de lancer à l'IA quelque soit la distribution de proba que suit la generation d'idée chez la machine, puisque le cardinal de l'ensemble des idées est infini. Je pense qu'il n'y rien a craindre de ces machine il faut juste que la communauté mathématique sorte du paradigme "les problèmes intéressent sont ceux qu'on connais aujourd'hui depuis des années voir des siècles, les seules idées intéressantes sont celles qui nous permettent de résoudre ces problèmes".

text p. 56 #324 3dfc8787

■

section_header p. 57 #325 5da0d848

@urlisak6018

text p. 57 #326 e16c6e4d

il y a 1 jour (modifié)

text p. 57 #327 d98ba329

28 jours plus tard fait référence a l'apocalypse zombie ( film du même nom ). Donc vous etes tous dans cet état d'esprit ; le ciel vous est tombé dessus ? C'est pas grave si on est pas l'espèce la plus intelligente de l'univers, notre égo s'en remettra. Comme disait desproges, : " Je ne vous demande pas une minute de silence, je vous demande simplement une courte pensée pour ceux de mes camarades [...] qui n'ont actuellement aucun travail, sous prétexte qu'ils n'ont aucun talent " Les problèmes ont trouvé solution, ce qui en soit, est une excellente nouvelle.

text p. 57 #328 be5e4a1a

Répondre

section_header p. 58 #329 87c2bdd7

@giamu-y9y

text p. 58 #330 391eaa22

il y a 22 heures

text p. 58 #331 fe6e7aca

Mais est ce que ces machines savent vraiment "faire des maths", ou est ce qu'elles savent juste générer en masse des preuves et les évaluer ?

text p. 58 #332 0c7cce01

Pour reprendre un argument connu, avec suffisamment de temps meme un chimpanzé finira par écrire Hamlet.

text p. 58 #333 3e0baf48

Certes la combinatoire pour assembler des propositions au pif et aboutir à une preuve d'un problème de niveau recherche est astronomique, mais ces grandes compagnies ont probablement embauché bon nombre d'éminents mathématiciens pour guider la machine et écarter d'emblée l'immense majorité des tentatives absurdes.

text p. 58 #334 5bc0f5ac

Donc ma question : est ce qu'on peut imaginer que des gens cultivés en mathématique aient préparé les LLM à produire des tentatives de preuves mathématiques de façon relativement efficace, et ensuite il s'agirai juste de brute-forcer, c'est à dire produire et vérifier grâce à leurs énormes moyens de calcul des milliards de milliards de tentatives aléatoires jusqu'à trouver la bonne combinaison ?

text p. 58 #335 be5e4a1a

Répondre

section_header p. 59 #336 be5e4a1a

Répondre

text p. 59 #337 761190ea

@mjParetoQuant il y a 1 jour que le buzz lui-même. Par contre, comprendre ce qui se passe et s'adapter, c'est

text p. 59 #338 db7f0ead

La réaction au buzz n'a aucun intérêt. Ce sera oublié plus vite normal, sain et souhaitable.

text p. 59 #339 be5e4a1a

Répondre

section_header p. 60 #340 ec1aea72

@jipotube1

text p. 60 #341 6cb2fc6f

il y a 2 jours

text p. 60 #342 9108608c

Peut- on dire que l'IA est une nouvelle blessure narcissique faite à l'humanité au même titre que la révolution Copernicienne, Darwinienne ou Freudienne ?

text p. 60 #343 9400f1b2

19

text p. 60 #344 189f4003

J

text p. 60 #345 be5e4a1a

Répondre

text p. 60 #346 740d4cb9

6 réponses

text p. 60 #347 6b86b273

1

text p. 61 #348 fe92d9a6

C'est l'histoire de l'humanité de se faire dépasser par les outils qu'ils inventent.

text p. 61 #349 0d920ef1

Le dernier en date est certainement le plus puissant d'entre tous....mais sur le fond c'est la même chose.

text p. 61 #350 25c460d5

Et ce monsieur qui n'utilise pas l'IA, c'est aussi ridicule que les gens qui ont freinés des 4 fers pour ne pas utiliser internet ou le smartphone, ou n'importe quel outils......et au bout du compte ils s'y sont mis comme tout le monde...

text p. 61 #351 a5956acb

C'est la même chose avec le climat.....si l'humanité ne veut pas regarder les choses en face et s'adapter par anticipation, alors ils s'adapterons par la contrainte.

text p. 61 #352 d4735e3a

2

section_header p. 61 #353 6b7150f6

@fabiencollet

text p. 61 #354 c766fb19

il y a 13 heures (modifié)

text p. 61 #355 6f1c4e0e

Pendant la durée de cette intervention de 30 minutes environ les IA auront encore eu le temps de faire avancer les mathématiques davantage que 100 mathématiciens sur un an.

text p. 61 #356 a6c71751

Répondre C'est triste et dur du point de vue individuel mais collectivement l'humanité y gagne. Mieux que la machine à vapeur, même si les éleveurs de chevaux en ont souffert. Nous gagnons au progrès. Sur la transmission ne vous fatiguez pas à faire payer des humains pour cela : l'IA nous fera des synthèses adaptées avant même que vous ayez fini de lire son travail.

text p. 62 #357 be5e4a1a

Répondre

text p. 62 #358 6a3ca2ec

2 réponses

picture p. 62 #359 1ecb7eec
@LegendAsBecome il y a 1 jour
caption p. 62 #360 1ecb7eec

@LegendAsBecome il y a 1 jour

text p. 62 #361 1281f0fc

Non l'IA est capable d'expliquer un preprint de façon plutôt simple, et, surtout il est capable de répéter mille fois de plusieur manière sans qu'il pete un cable, à l'inverse de certain de prof daté.

caption p. 63 #362 315bd1f7

@JeffmaitrePE il y a 1 jour Game Over

section_header p. 63 #363 be5e4a1a

Répondre

section_header p. 63 #364 4a3a649f

1 réponse

text p. 63 #365 65c74c15

O

text p. 64 #366 9e95fd8d

@edernollivier il y a 1 jour Oui bon l'ordinateur a toujours été un vecteur de réussite en analyse mathématique et si les bots peuvent en faire un peu plus que l'humain pour le côté roboratif de la démonstration en les peines de cœurs de certains des mathématiciens du sérail,

text p. 64 #367 9b49795b

général ce sera déjà pas mal je pense malgré les dissensions et bien à vous, EO.

text p. 64 #368 6b86b273

1

text p. 64 #369 be5e4a1a

Répondre

text p. 64 #370 2c624232

8

text p. 65 #371 dcabc0ed

@CanardBoiteuxx il y a 1 jour 19:30

text p. 65 #372 2a172478

J'ai l'impression d'entendre de l'appel à la pureté militante.

text p. 65 #373 be5e4a1a

Répondre

text p. 65 #374 ebc68afb

@christianmichon1940 il y a 19 heures

text p. 65 #375 73cf5687

C'est fou de voir que des gens aussi talentueux se comportent comme des individus lambda quand cela affecte leurs interets... On dirait une association des mauvais élèves qui militent pour que les bons élèves (les ia du coup) ralentissent le rythme... C'est a la limite de l'absurde avec une vague impression d'enfoncer des portes ouvertes...

section_header p. 66 #376 4dc66cd3

@ubikii5926

text p. 66 #377 6777426e

il y a 18 heures

text p. 66 #378 50af69b8

C'est une excellente chose que l'IA secoue le monde des mathématiciens. Cela va nous pousser à développer davantage l'apport de l'humain, et notamment le sens et l'applicatif, maintenant que nous sommes épaulés par ces confrères synthétiques performants !

text p. 66 #379 be5e4a1a

Répondre

text p. 66 #380 be5e4a1a

Répondre

text p. 67 #381 8254c329

K

text p. 67 #382 bf0d18bc

@KokoRico-v9s il y a 16 heures France Travail vous souhaite la bienvenue dans le monde réel.

text p. 67 #383 d5a0264e

Cdt.

text p. 67 #384 d4735e3a

2

text p. 67 #385 9dcffaa5

@gregor-f67

text p. 67 #386 6614babd

il y a 15 heures Répondre

text p. 67 #387 b1e3fc0f

2 réponses Attention les commentaires ci-dessous sont 100% humains et sans intérêt.

text p. 68 #388 6b86b273

1

section_header p. 68 #389 eef95075

@vegetossgss1114

text p. 68 #390 a7c7151b

il y a 1 jour

text p. 68 #391 c1e564e9

Je suis marocain du Maroc, j'ai fait une prépa MPSI-MP, l'ENSAE Paris, un double diplôme, et actuellement je suis en thèse de maths pures au Maroc. L'IA est incapable de produire ne serait-ce qu'un dixième des résultats de ma thèse, que je m'apprête à soutenir cette année, en analyse fonctionnelle. J'imagine que ce serait peut-être différent avec des modèles puissants, et d'ici 5 ans, mais soit. Par ailleurs, mon égo a déjà été brisé en prépa MPSI dans une top parisienne, et mon plaisir

text p. 68 #392 be5e4a1a

Répondre

text p. 68 #393 c03d3f81

1 réponse réside surtout dans ma capacité à progresser en maths, à comprendre de nouvelles choses, et à les enseigner (dans le supérieur). Donc IA ou pas IA, je ne me sens pas menacé, et je me réjouis des progrès dans le domaine des mathématiques. Je me réjouis encore plus des progrès dans le domaine de la médecine, et j'espère de tout cœur qu'un jour, nous serons en mesure d'inverser durablement, sans effet secondaire aucun, et à bas coût, le processus de vieillissement.

text p. 69 #394 7902699b

7

text p. 69 #395 20055565

@RémiGracient

text p. 69 #396 451c48b2

il y a 12 heures (modifié)

text p. 69 #397 d9773277

Quelle mauvaise foi, vous n'allez pas freiner les découvertes pour protéger vos egos

text p. 69 #398 be5e4a1a

Répondre

text p. 69 #399 5a85d2f1

11 réponses

text p. 69 #400 ca978112

a

caption p. 70 #401 35d0fcc4

@g1491-g7

text p. 70 #402 54eeb005

il y a 2 jours (modifié)

text p. 70 #403 86117fa9

Trouvez de nouveaux problèmes

section_header p. 70 #404 be5e4a1a

Répondre

section_header p. 71 #405 e46fc646

1 réponse 1 réponse

section_header p. 71 #406 5760acbb

@tomtom-lepongiste-ancien45

text p. 71 #407 a7c7151b

il y a 1 jour

text p. 71 #408 8e4a0b4c

Je ne comprends pas le problème, les mathématiques avancent plus vite qu'avec les humains, ce n'est pas mieux?

text p. 71 #409 6b86b273

1

text p. 71 #410 be5e4a1a

Répondre

text p. 71 #411 4a3a649f

1 réponse

section_header p. 72 #412 b8446fc4

@Romanfounder

text p. 72 #413 a7c7151b

il y a 1 jour

text p. 72 #414 2deff5ce

Toute idée nouvelle passe par trois étapes : le ridicule, l'opposition, puis l'acceptation. De l'héliocentrisme à la relativité, les humains réagissent toujours de la même façon : incrédulité, indignation, rejet, puis acceptation.

text p. 72 #415 01d74d46

Peut-être ne sommes-nous que des PNJs prévisibles.

text p. 72 #416 6b86b273

1

text p. 72 #417 be5e4a1a

Répondre

text p. 72 #418 6a3ca2ec

2 réponses

section_header p. 73 #419 56868607

@andririan6342

text p. 73 #420 a7c7151b

il y a 1 jour

text p. 73 #421 95592bd1

Argument? quel argument? vous êtes cuit comme tout le monde

text p. 73 #422 be5e4a1a

Répondre

picture p. 73 #423 29581952
@kaaristotelancien3005 il y a 2 jours (modifié)
caption p. 73 #424 29581952

@kaaristotelancien3005 il y a 2 jours (modifié)

text p. 73 #425 2f951212

L'IA va rendre complètement caduque la compétition stérile pour l'argent entre humains que nous impose la vision ultra capitaliste et c'est pas plus mal, va falloir accepter de changer radicalement notre vision de ce que doit être la société de demain

text p. 73 #426 62c66a7a

M

section_header p. 74 #427 b47ee1c3

@idiocracy1604

text p. 74 #428 4cb53622

il y a 11 heures

text p. 74 #429 a1b69953

La Politique, autrefois absente de cette haute citadelle ouatée qu'est le milieu scientifique, y entre aujourd'hui avec fracas parce que les chercheurs subissent ce qu'on subit les ouvriers depuis un siècle : être remplacé par moins cher et plus rapide pour augmenter les profits des grosses boites. Bienvenu dans la lutte contre le Capitalisme.

section_header p. 74 #430 be5e4a1a

Répondre

text p. 74 #431 740d4cb9

6 réponses

text p. 74 #432 6b86b273

1

text p. 75 #433 41e4555e

@haansvogel il y a 1 jour

text p. 75 #434 ee18be1a

Je vois une dérivé autoritaire de la communauté représentée par Hugo D.-C. sur les mathématiques. Pourquoi ce serait à vous de décider de comment les personnes font les mathématiques ? quelles mathématiques sont acceptables ?

text p. 75 #435 ef2d127d

5

text p. 75 #436 aaa94026

H

text p. 75 #437 be5e4a1a

Répondre

text p. 75 #438 e9390359

3 réponses

text p. 76 #439 2548c212

@Gin-dog il y a 2 jours

text p. 76 #440 fe1d3052

Le fait que les inquiétudes pointées du doigt soient centrées autour de leur propre statut de mathématicien, et leurs capacités à justifier leurs financements est un peu ridicule. On s'attendrait à ce que des chercheurs qui étudient le langage de l'univers voient plus loin que le bout de leur nez. L'IA ne s'arrêtera pas à la mathématique. C'est toute l'intelligence humaine (sur laquelle repose l'utilité de la plupart des humains dans la course aux ressources et au pouvoir) qui est en train d'être dépassée. Ce n'est guère surprenant vu le dédain qu'avait le milieu académique pour cette question jusqu'à ce que ça les touche personnellement.

text p. 76 #441 ef2d127d

5

text p. 76 #442 d4735e3a

2

text p. 76 #443 be5e4a1a

Répondre

text p. 76 #444 e9390359

3 réponses

section_header p. 77 #445 5207ec71

@sucim il y a 2 jours

text p. 77 #446 ea8468b6

The mathematicians really thought the problems belong to them and they could gatekeep math. It is all motivated reasoning because they fear their funding might be in peril. You would assume that such smart people could be honest and say: I worry our funding is impacted, we need to design a new funding model and new ways of us to contribute to society. Instead they babble of "totally inadequate use of AI" and "unethical release practices"... Man up! they are uploading pdfs, they are reducing entropy, you are totally free to ignore that, they don't impose themselves onto you in any way

text p. 77 #447 4e074085

3

text p. 77 #448 ca978112

A

text p. 77 #449 be5e4a1a

Répondre

text p. 77 #450 6a3ca2ec

2 réponses

section_header p. 78 #451 56868607

@andririan6342

text p. 78 #452 e16c6e4d

il y a 1 jour (modifié)

text p. 78 #453 c092a688

Il serait temps que le milieu mathématique descende de son piédestal. L'IA ne s'arrêtera pas aux portes du code informatique pour épargner la théorie. Si les développeurs sont bousculés, les mathématiciens finiront tout autant défiés par de simples scripts : l'automatisation ne fait aucune distinction d'ego. Il est temps de s'adapter mes chers amis humains. Arrêtez de pleurer comme une madeleine. C'est pathétique, soyez fort et travaillez plus fort et défiez la

text p. 78 #454 a5d0c40c

machine ou allez pleurer chez vote maman.

text p. 78 #455 6b86b273

1

text p. 78 #456 62c66a7a

M

section_header p. 78 #457 be5e4a1a

Répondre

text p. 79 #458 5fd46e61

@milvinouv8617 il y a 2 jours Ils arrivent aux normaliens la même chose que pour nous qui ne pouvions pas dépasser un master de maths de Centrales, devant vous qui trouviez une solution en deux lignes et deux

text p. 79 #459 3579d1de

minutes.

text p. 79 #460 dd8ae3d1

Ça s'appelle la mort de l'ego.

text p. 79 #461 61d331f8

Et maintenant vous voulez museler ce qui est meilleur que vous ? Les auteurs d'IA sont libres comme vous l'êtes. Et je croyais que les maths payées avaient pour objet l'avancement du savoir donc réjouissez-vous, non ? Pour l'avancement de vous même, faites comme nous autres. Des maths pour le plaisir, en loisir, en club. Tout pareil qu'avant mais sans salaire puisque vous n'avez plus ni le niveau ni la vitesse de la compétition du marché. Bienvenue parmi nous.

text p. 79 #462 93887e4c

Je trouve ça hallucinant de voir un mathématicien âgé qui montre le laid visage de la propriété. C'est de l'ego en long en large et en travers. Vous pouvez toujours résoudre vos conjectures par vous même non ? Alors où est votre problème existentiel ? Dans ce qu'il y ait ou pas votre signature ? Oh non Claude attends moi, je t'interdis de faire des maths dans ton coin. C'est du pure fascisme et une atteinte à la liberté. Encore une fois, vous ne voyez pas encore que vous racontez n'importe quoi pour préserver votre seul égo.

text p. 79 #463 a8c64276

Vouloir brider une IA qui mnt prouve qu'elle peut réduire de mille ans le calcul de molécules médicales entre milles autres merveilles juste pour votre satisfaction personnelle. C'est pas glorieux.

text p. 79 #464 cd916fe8

Tout comme vous n'en aviez rien à carrer des faibles (du monde mathématiques), les sociétés d'IA n'en n'ont rien à carrer de vous. Bienvenue dans l'impitoyable réalité, hors de votre tour d'ivoire. vous. Bienvenue dans l'impitoyable réalité, hors de votre tour

text p. 80 #465 eb1e33e8

31

text p. 80 #466 903fa8c9

@akeccunkaq

text p. 80 #467 6777426e

il y a 18 heures

text p. 80 #468 1c0f4204

Où est passé le discours du mathématicien qui éprouve de la gratitude - une véritable gratitude - à exercer le « meilleur métier du monde » et à être rémunéré pour vivre sa passion ? Peut-on imaginer des travailleurs humanitaires jugeant « méprisant » qu'une personne ou une entreprise propose une solution pour acheminer de la nourriture ou des fournitures médicales à des millions de personnes touchées par une situation désastreuse ?

text p. 80 #469 be5e4a1a

Répondre

text p. 80 #470 57d1e4e9

9 réponses

text p. 80 #471 ca978112

a

text p. 81 #472 8c0f6170

Répondre Répondre

text p. 81 #473 fdd9f167

@Thomas-zq6cn il y a 1 jour Par pitié soignez le son de vos vidéos : En parlant d'outil IA Adobe-Enhance améliore la qualité audio de manière incroyable, c'est un outil gratuit, La quantité de vue sur cette chaîne pourrait doubler par deux…

text p. 81 #474 6b86b273

1

text p. 81 #475 be5e4a1a

Répondre

section_header p. 81 #476 e237a952

SKURT

caption p. 82 #477 276cc38f

@superresistant0 il y a 1 jour

text p. 82 #478 62c66a7a

M

text p. 82 #479 73a97619

Game over, math is cooked.

text p. 82 #480 4e074085

3

caption p. 82 #481 f8e0b257

@brucewayne5554 il y a 1 jour

text p. 82 #482 3e76a50a

mathematique solved? bad, cancer cured? bad, proverty? etc...egoiste!

text p. 82 #483 be5e4a1a

Répondre

text p. 83 #484 ea636bde

@stevenpe781

text p. 83 #485 6cb2fc6f

il y a 2 jours

text p. 83 #486 85b4b25e

10:39 : il s'agit d'une attaque ad hominem, pas possible ??? (de la part d'openAI)

text p. 83 #487 be5e4a1a

Répondre

text p. 83 #488 c2adc297

4 réponses

section_header p. 83 #489 be5e4a1a

Répondre

text p. 83 #490 8e35c2cd

Q

section_header p. 84 #491 cbb2a155

@Valhondrian

text p. 84 #492 fb5dbc37

il y a 14 heures

text p. 84 #493 ef46e763

Bon en gros l'IA est en mesure de résoudre des problèmes que les médailles Fields ne savent pas résoudre dans un temps raisonnable. Et si ce n'est pas aujourd'hui, ce sera demain. Je comprends que c'est une menace existentielle pour les

text p. 84 #494 a96d2089

mathématiciens mais c'est comme ça.

text p. 84 #495 3620bd89

Loin de "tuer les maths" , je pense que nous risquons d'arriver à des progrès si rapides que les mathématiciens ne pourront même plus comprendre ce que l'IA fait.

text p. 84 #496 85578441

Donc la seule voie que je vois est que les mathématiciens doivent désormais AUSSI se faire former par l'IA pour qu'ils comprennent ce qu'elle fait et (éventuellement !) être en mesure de canaliser la force brute de l'IA vers des objectifs les plus utiles ou créatifs.

text p. 84 #497 4c94485e

V

section_header p. 85 #498 6fd30faa

@haansvogel

text p. 85 #499 a7c7151b

il y a 1 jour

text p. 85 #500 2bbe50e6

mais je ne comprends pas se plaindre comme ca il arrive fréquemment qu'un doctorant travail sur son sujet et au cours de ces trois années, un chercheur publie exactement dans le meme domaine que lui rendant tout son travail obsolète. Ca a toujours été et ca n'a jamais été contrôlé. Et là, parce que ca vous tombe dessus vous voulez contrôler ? mais laissez les gens libres de faire les maths qu'ils veulent ! point.

text p. 85 #501 4e074085

3

text p. 85 #502 aaa94026

H

text p. 85 #503 be5e4a1a

Répondre

text p. 85 #504 c2adc297

4 réponses

section_header p. 86 #505 5ddca236

@ratenfant8837

text p. 86 #506 391eaa22

il y a 22 heures

text p. 86 #507 02a62d8e

Les mathématiciens sont inquiets de bientot n'avoir plus aucun problème à résoudre, depuis que l'IA résoud tous leurs problèmes d'un claquement de doigt. Pourtant, ils ont bien un gros problème à résoudre, c'est évident.

text p. 86 #508 be5e4a1a

Répondre

text p. 86 #509 043a7187

S

text p. 86 #510 f8b92881

@OttoIncandenza il y a 2 jours Mouais faitent de la philo alors pour la penser abstraite…

text p. 87 #511 be5e4a1a

Répondre

text p. 87 #512 d16cfdbd

@haansvogel il y a 1 jour mesdames, messieurs, voici un bourgois intellectuel à qui on a pris des jouets (des conjectures mathématiques) qu'il pensait qu'elles lui appartenaient par des personnes qui ont aussi décidés de jouer avec ses jouets. C'est puéril comme réaction. Et dire que ca a eu la médaille fields.

text p. 87 #513 d4735e3a

2

text p. 87 #514 be5e4a1a

Répondre

text p. 87 #515 6a3ca2ec

2 réponses

section_header p. 88 #516 6e34ebcb

@JeanSarfati

text p. 88 #517 54eeb005

il y a 2 jours (modifié)

text p. 88 #518 eddcebdd

Tout ça pour dire qu'il ne veut pas perdre ses financements ! Je croyais découvrir quelque chose, puis j'ai pensé à la Jalousie, et enfin le pot aux roses : le Beurre comme d'hab ! Hey mon pote reveille toi, c'est le Capitalisme qui fonctionne ! Et finalement ça progresse. La machine te remplace pour explorer les démonstrations ! Et alors..., c'est nouveau qu'elle remplace l'homme ? Tu veux abandonner ta bagnole, ton frigo, ton avion !?

text p. 88 #519 4b227777

4

text p. 88 #520 189f4003

J

text p. 88 #521 be5e4a1a

Répondre

text p. 88 #522 6a3ca2ec

2 réponses

text p. 89 #523 7bbb1838

@jflacoste1 il y a 1 jour (modifié)

text p. 89 #524 7d498d52

Un nouvel outil qui ressemble à ce que une poule comprend d'un couteau sans manche. Mais vous n'êtes pas des poules. L'avenir est passionnant quand il nous "cueille". Je n'ai aucun doute que votre métier change mais qu'il ne disparait surtout pas. N'oubliez jamais que l'IA ne comprend rien.

text p. 89 #525 be5e4a1a

Répondre

text p. 89 #526 4a3a649f

1 réponse

text p. 90 #527 62c66a7a

M

text p. 90 #528 4f56e859

@j.thomas1420 il y a 1 jour Je ne comprends pas pourquoi tout le monde tire la gueule. Les maths avancent vite, c'est pas une bonne chose? Pourquoi

text p. 90 #529 209b72a9

parler de "mal"?

text p. 90 #530 0faa4f26

@SLIKK7 il y a 11 heures (modifié)

text p. 90 #531 be5e4a1a

Répondre

text p. 90 #532 57d1e4e9

9 réponses