Taladris retweeted
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
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)
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...
I come out leaning artisanal, between personal and civic on the map of mathematicians and AI. I guess I will be crushed by the AI revolution haha
lionellevine.github.io/quiz-…
Taladris retweeted
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!
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 😂😭
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!
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.
En même temps, si les gens avaient de l'esprit critique, Enthoven n'aurait pas 300 000 followers sur Twitter
@Enthoven_R
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)
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.
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.


























