Heyd Ude

@DJWebbMath @BlancheMinerva @littmath @lacker @ElliotGlazer That doesn't matter I think, you can totally write ZFC inside ZFC and have provability be a truth value. Then, it makes sense to define the shortest possible proof assuming everything we already know, and then it's very easy to ask for the first symbol

@UdeHeyd @BlancheMinerva @littmath @lacker @ElliotGlazer Not even that really, since it only tells you truth/falsity of things you can state in ZFC

If humanity is allowed 10,000 queries to an oracle which provides the truth value to any ZFC-expressible assertion, how confident are you we would be able to prove Riemann Hypothesis within a year?

@BlancheMinerva @DJWebbMath @littmath @lacker @ElliotGlazer Yeah, but that's natural language. The point is that if you write the proof in e.g. natural deduction, chances are it's much shorter. Also, we can dump into the oracle the sum of all knowledge on RH and tell it "remove the parts that are already known".

@DJWebbMath @UdeHeyd @littmath @lacker @ElliotGlazer Yeah, I misspoke. Thanks for the correction! Do you have an idea of how we might get a rough estimate of what the expected length might be? I can look up how long the proof of the Modularity Theorem is in pages and guesstimate the bits necessary to represent it in ASCII

@littmath @lacker @ElliotGlazer @DJWebbMath Can you not ask "the first symbol of the simplest proof is such and such" and so on? Of course, it may be that the proof is over 10k symbols, but you might be able to eliminate everything that doesn't follow a particular grammar and restrict the possibilities a lot

@lacker @ElliotGlazer @DJWebbMath How do you express such questions in ZFC? I agree it becomes much easier if you can use English.

@croquettegucci @HyperBdcmo @wvrrllll c'est tellement logique; au lieu d'acheter un billet à la machine qui est déjà à la gare et de pas avoir de souci, il suffit de l'acheter sur le téléphone et prendre une batterie externe, c'est plus simple comme ca !

@HyperBdcmo @wvrrllll Après suffit vraiment d’avoir une batterie externe sur soit pour n’avoir jamais le stress de la batterie

papy de 60 ans qui voit que mon billet de train est sur l’appli sncf dmon tel et non en physique🤯 il fait le moralisateur à son shab « un téléphone ça peut tomber en panne pas malin ces jeunes »🤣 we toi si j’déchire ta feuille et j’la fait voler au vent c cmt l’ancien ❓

@Didi_1917 Deux d'Allende ici

Je suis à 1 personne de Fidel Castro 🥸

@GreatDayToWin Il suffit de mq le nombre de points dans la boule de rayon n croit quadratiquement en n, et ca c'est le fait que les normes sont équivalentes en dim finie je pense

Le fait que le nombre de point d’un réseau qui rencontrer un anneau A(n,n+1) soit bornée par une constance fois n ça parait assez évident et tous les bouquins qui parlent de fonctions elliptiques le balancent une trivialité mais la vérité c’est que la seule façon que j’ai trouvé

@Zaalback @haterultimz J'aime pas la phrase "L'évolution des LLM est exponentielle" parce qu'on en sait rien. On a pas de benchmark objectif sur lequel les mesurer. Tant que les travaux d'explicabilité démontrable n'auront pas avancé, on pourra pas dire de choses aussi précises imo

L'évolution des LLM est exponentielle, et pour l'instant on ne voit toujours pas de plateau arrivé, donc ils ont encore une énorme marge de progression à court terme. Oui les mathematiciens et informaticiens ne seront pas les premiers touchés, mais seul les profils vraiment exceptionnels auront une valeur à mesure que les modèles progresseront

Faites des étude de sociologie, vous me remercierez plus tard

@Zaalback @haterultimz Ok, bah je me trompais. Mais il n'empêche que pour l'instant les LLM sont très, mais alors très loin de pouvoir remplacer un mathématicien même médiocre. Ils ont parfois des idées intéressantes, mais la proportion d'hallucination est encore hyper élevée.

@UdeHeyd @haterultimz J'ai fait des etudde maths et je fais une these en info 😅

@Zaalback @haterultimz Je pense que tu n'as aucune idée de ce que font un mathématicien ou un informaticien, mais je me trompe peut-être

@haterultimz Je suis a moitié serieux. Mais disons que si l'AGI arrive dans les 10 prochaines années, etre sociologue aura plus de valeur qu'être mathematicien ou informaticien

@Brz1_4 @Francois_Ruffin @rglucks1 Ce n'est pas le cas, lfi ne s'est pas qualifié au second tour. Les socialistes n'ont pas proposé la fusion avec lfi au second tour, mais ruffin n'y est pour rien puisqu'il ne fait pas partie de la liste.

@Francois_Ruffin @rglucks1 Bon déjà déçu ça va vite avec vous comme avec tondelier j’apprends que à Amiens vous avez préféré faire front contre lfi

C'est vous qui jouez, M. @rglucks1. C'est vous qui jouez avec la vie des gens. C'est vous qui jouez à décider tout seul, d'en haut, avec vos dogmes, depuis votre studio de radio à Paris, pour les hommes et les femmes de gauche à Besançon, à Lyon, à Limoges... C'est vous qui jouez avec l'histoire, de communistes et de socialistes qui, en 1934, se haïssaient et ont pourtant, devant le péril fasciste, ouvert la page de lumière du Front populaire. C'est vous qui jouez avec le feu.

@Gystenghast @inherentvibes Ok, but if you are a finitist, the number 0.999... doesn't exist, so the question doesn't even make sense. That'd be like saying that 1+1=2 is false if you are not a mathematical realist... I think that too many philosophers are comfortable talking about things they don't know.

@inherentvibes It's funny to me that a lot of math people don't understand their own philosophy. It's essentially: "Infinite totalities can be treated as completed objects." Which, has a legitimate school of mathematical thought that rejects this called "finitism."

0.999999999… literally equals 1, it’s not a philosophical question like whether we have free will

@QuetzaIc0atl Les shs sont rarement expérimentales; dcp la plus part du temps les raisonnements utilisés sont pas inductifs (comme c'est le cas en physique; expérience => loi). L'utilité des maths en physique c'est souvent d'interpoler des points de donnée, ce qu'on ne fait dcp pas en shs.

ce serait bien si ceux qui abordaient la question de la déraisonnable efficacité des mathématiques en sciences naturelles parlaient aussi des sciences sociales et tentaient d'expliquer pourquoi ça marche pas aussi bien, genre là j'ai vu une conf de duminil-copin sur la question

@blurryfac3_v3 @ideal_essentiel Sans l'axiome du choix on ne peut pas montrer qu'il existe des ensembles non mesurables (et en particulier des applications non mesurables). Donc je dirais que c'est plus dur de construire des applications non mesurables

@ideal_essentiel C’est quoi le plus dur entre ça et construire une application non mesurable ?

Ça arrache le cul de montrer qu'une application est mesurable

@weilsd_puberty3 Cours d'algèbre de JBB en M1?? wtf il est trop bien

^ a survécu l'algèbre de bost

@futarch @mayaofspring Probably a mathematical logic article by Jean-Yves Girard.

@mayaofspring what in the world could be the context for this?

mathematicians will look you straight into the eye and then write フ⅋フ⅋フ⅋ヲ it's a fetish and I'm tired of pretending otherwise

@AkhySchrodinger @Donnie2lajungle C'est encore plus drôle d'en dire un qui ne correspond manifestement pas à ton faciès

@Donnie2lajungle Tu dis que tu t'appelles Jean petit ou cohen, Pierre Nguyen, Mohammed alaoui ou Mamadou Diallo selon ton faciès, et niveau proba t'es bon 🤣

La dinguerie ????

@JdponTransfem Il suffit de pas manger le cerveau nan ? je me trompe peut-être

Moi: "ça n'est qu'une morale arbitraire, ce type comprendrais sans doute ma situation" L'humble prion entrant dans mon cerveau:

@Un_MehdiRevolte prend protonVPN, c'est gratuit et si annas-archive est bloqué dans ton pays tu mets un vpn et il l'est plus

Anna's archives : Merci pour tout...

@PierroBravo @Glm18893 @Heterodox_Tory That's not true. I'm an ENS student, I work no more than a normal student, I just do it because I enjoy the process. It is not a right wing trope to say that there is more to life than working.

@Glm18893 @Heterodox_Tory The guy who made that meme actually believes that "grinding" is only an asian value, when the students who want to study math at ENS dedicate an average of 70-80 hours per week , only the american universities don't have an entrance exams like most european or asian countries

The online right has genuinely convinced some people that civilization is when you just f*ck around, do nothing, and things somehow just end up working because you are a cool cartoonish French guy with wine.

@alz_zyd_ Nicusor Dan is now the president of Romania.

The ENS alumni list is kind of insane

École Normale Supérieure in France sounds like the coolest education system ever. You get paid as a civil servant, and you get to take whatever classes you want, in exchange you sign a 10-year contract to work in French academia. 250 students a year total