https://xitter.cf/t.co/FE06d2Aqcd

Joined December 2020
Omar Sy, acteur, fils d’un ouvrier de l’automobile et d’une femme de ménage, quatrième de huit enfants, a grandi à Trappes. Aujourd’hui, c’est un people déconnecté des réalités. Charles Consigny, avocat & toutologue, fils d’un publicitaire énarque, petit-fils d’un haut fonctionnaire, passé par l'Ècole Massillon, connaît, lui, la vraie vie. La sociologie selon certains plateaux télévisés. @GG_RMC @CharlesConsigny @OmarSy #Sociologie #Démagogie #RevendicationsLycéennes – at Paris, France
💥 Crise lycéenne : Omar Sy dénonce la réponse « lamentable » des autorités. 🗣️ @CharlesConsigny : "C'est un people déconnecté, qui va à France Inter, la radio des peoples déconnectés, pour donner des leçons de morale. Il est sincère dans sa démagogie." #GGRMC
14
961
6
5,522
131,971
Les gens qui donnent leur opinion avec beaucoup d'aplomb semblent ne pas comprendre qu'une définition n'est pas universelle, et dépend de l'usage. Est-ce qu'une ligne est parallèle à elle-même ? C'est non chez Euclide (de mémoire), mais vrai dans l'usage moderne. (1/n)
Je révise rapidement la géométrie avec mon fils ce matin. Je suis sûr que ce support est utilisé depuis des années et personne ́ne voit le problème...
1
5
Ici, on parle de l'enseignement des maths en France, donc si tu commentes sans connaître ou vérifier ce que dit le programme officiel, tu ne fais qu'ajouter du bruit et du chaos à la discussion. (2/n)
5
Ce n'est pourtant pas très compliqué à comprendre. Le complément se met en général près de ce qu'il complète. Apparemment, les Jean-Michel Jai-jamais-rien-compris-en-maths (mais qui se permettent d'énoncer leur opinion avec aplomb) n'étaient pas très bons en français non plus...
Quasiment la moitié de mes élèves de sixièmes comprennent de cet énoncé qu'ils doivent faire une figure à main levée. Plus globalement beaucoup ne comprennent pas les consignes (et probablement ne comprennent pas ce qu'on leur dit), leur maîtrise du français est trop faible. 1/2
3
Wrapping up a workshop at Aspen. ML theory folks newly thinking about AI safety. Sharing my slides. I only got to slide 13/33 because there were so many questions!
3
2
2
26
10,981
Justement, un don est un don, et n'est pas un cadeau. Tu ne donnes pas aux Restos du Cœur pour les mêmes raisons que tu donnes à ta petite nièce. Donc Aurélien Le Coq a raison.
Il faudrait faire l'exact inverse. Aucun don ne devrait lieu à un avantage. Sinon, ça n'est plus un don.
18
Bally Bagayoko se fait appeler prince à Saint-Denis. Bientôt l'instauration d'un califat??
"Prince Ali" d’Aladdin parodié en "Prince Bally", c'est vraiment pour m'abattre ! Du génie ! J'ai tellement mal aux zygomatiques 😂😭
38
Taladris retweeted
"Prince Ali" d’Aladdin parodié en "Prince Bally", c'est vraiment pour m'abattre ! Du génie ! J'ai tellement mal aux zygomatiques 😂😭
29
726
27
3,262
78,295
On ne parle pas d'un auto-diag HPI mais de savoir si on a faim ou non, la dinguerie! Il suffit de ne pas avoir pu manger à sa faim pendant une periode de sa vie pour savoir ce que cela fait!
Non, ils ne mentent pas, ils ne sont jutste pas à même de juger, pas plus que je ne le peux pour moi même. Une auto-évaluation ne vaut rien...
12
Thanks for the Community Notes to explain that it is not real footage.
He used Bombs to hide his Sniper shots
21
Vraiment c'était incroyable Je ne pensais pas dire ça un jour mais merci TF1
294
3,591
324
13,317
1,111,738
Worked on blow-ups
The Complete Mathematical Works of Theodore J. Kaczynski, formalized in Lean 4 Link ⬇️
8
Taladris retweeted
Mehr als 70.​000 Tote, noch mehr Verletzte, endlose Zerstörung: Hier berichten zehn israelische Soldaten über Rachegefühle, Schießbefehle und »Kollateralschäden«. Link in X-Bio.
99
83
10
261
79,590
Taladris retweeted
Réponse que je viens de faire à un étudiant qui s'inquiète de ce que deviennent les maths: ⬇️
26
80
5
462
28,560
En même temps, si les gens avaient de l'esprit critique, Enthoven n'aurait pas 300 000 followers sur Twitter @Enthoven_R
1
41
310
3,131
20
22,167
171,333
Taladris retweeted
🇫🇷 C’EST COMPLÈTEMENT LUNAIRE👇 🎙️Sam Zirah : "Si quelqu’un dit : J’aimerais voir des juifs morts sur des feux rouges, c’est de l’antisémitisme ?" 👩🏻 Hanane Mansouri, députée UDR alliée au RN : "Oui." 🎙️Sam Zirah : "Si quelqu’un dit : J’aimerais voir des musulmans morts sur des feux rouges, c’est de l’islamophobie ?" 👩🏻 Hanane Mansouri, députée UDR alliée au RN : "Bah non." (@SamZirah)
🇫🇷🇲🇦 FLASH Hanane Mansouri, 25 ans, députée UDR, le parti d’Éric Ciotti allié au RN, se dit opposée à une certaine immigration. Elle-même petite-fille d’immigrés marocains, elle souhaiterait renvoyer certains immigrés, même entrés légalement en France, dans leur pays d’origine pour, selon elle, améliorer le niveau de vie des Français, notamment face à la hausse du prix des carburants. (@SamZirah)
672
4,248
672
29,869
3,058,551
Taladris retweeted
With respect to OpenAI’s manuscripts, the case of Louis de Branges is highly relevant and instructive. 1) In 1964, de Branges claimed he had a proof for the invariant subspace problem. A large number of people spent a considerable amount of time to verify his claim. Eventually, an error popped up in the proof that was unresolvable. Two notable details from Paul Halmos, who was directly involved in this: a) The scale of the verification effort: Halmos recounts that a couple dozen mathematicians were examining the roughly 70-page manuscript, sometimes line by line. He personally worked on it for two months before asking to withdraw from the refereeing committee. b) Halmos's explicit criticism of the burden imposed on referees. He complained about authors exploiting editors and referees as assistants, validators, and proof checkers. 2) In 1984, de Branges claimed he had a proof of the Bieberbach conjecture. But by then, he had developed a reputation for announcing proofs that did not hold up. When he announced his proof, American mathematicians were not interested in reading it. His manuscript was approximately 385 pages long, and he could not initially find anyone willing to verify his proof. It was the mathematicians in the Soviet Union who worked through the argument with him, corrected his errors, and established its validity. 3) In early 2000s he claimed he had a proof of the Riemann hypothesis. Initially people read his manuscript and listened to him, but they found errors or didn’t find his approach convincing. He kept revising his work and coming up with new methods, but people kept finding errors. Eventually, everyone gave up reading his later claims and listening to him. It wasn’t worth investing the time in it. Now, de Branges was a serious mathematician, but with a reputation for too many incorrect proofs. The mathematical community just decided it wasn’t worth spending more time on his work. He was willing to explain his approach and present his proof, things that OpenAI hasn’t done. So OpenAI hasn’t really fulfilled the most basic requirements for getting their work validated by the mathematical community. They should ignore these manuscripts until OpenAI does its homework. There are people who claim OpenAI doesn’t care. But A) If OpenAI doesn’t care about the recognition and the validation from the mathematical community, why is it publishing papers? They’re not demonstrative of any ability until they’re validated. For doing basic college level math you don’t need to prove you can solve the Riemann Hypothesis. B) If the mathematical community doesn’t validate those results, could OpenAI credibly market a product based on frontier reasoning claims?⁠ Can they legitimately claim they have proved the Riemann Hypothesis? Who would be willing to pay for such a product that nobody has validated? Let’s assume for argument’s sake FDA approval is completely voluntary, and OpenAI claims it has come up with a new drug that cures cancer. If it doesn’t seek FDA approval or worse, fails in the process, how many physicians are going to prescribe it and how many patients are going to take that medicine?
In my view, the right response by the mathematical community to OpenAI’s papers is to say: “We’re not accepting these papers as finished work. It’s not our job to sit down and read your model-generated proofs. It is your job to present your work through presentations and convince people of the correctness of your work. It’s always the case that whoever makes a claim needs to provide sufficient explanation and evidence to make independent verification feasible. Until that moment, you just have a claim.” There’s a difference between a proof being mathematically correct and a proof being accepted as correct by the mathematical community. Mathematical truth doesn't depend on consensus, but scientific recognition requires scrutiny, communication, and reproducibility. They're still the arbiters of whether anyone's claims, including OpenAI's, are accepted as valid, and they should leverage that to the maximum extent possible.
33
76
6
621
71,423
Pas convaincus: - une IA peut etre deployee a peu pres n'importe où, du moment où tu as une bonne connection internet. Déplacer un humain, c'est cher et compliqué - Il y a deja des robots ultra-precis utilises en medecine. - Le gout, possible. Pour les autres, 1/n
Replying to @vinceflibustier
Les métiers nécessitant au choix : - des déplacements lointains - manipulations complexes & dexterité - d'autres sens que la vue et l'ouïe - une représentation physique du monde - un vaste contexte / une vaste zone de travail sémantique - une relation de confiance / du secret.
1
10
l'humain est deja obsolete (odorat, detection des gaz, fumees, etc) - Peu de metiers ont besoin d'une representation global du monde. Piloter un avion, jouer au foot, se battle, etc necessite seulement une comprehension partielle du monde. (2/n)
1
7
Le seul point où je suis d'accord, c'est la conclusion. Les disruptions dependent autant, sinon plus, de qui decident que sur le merite propre de la technologie. Les liberaux et chantres de la meritocratie vont bientot etre tres decus.
2