Pour mettre un peu d'ordre dans le fatras posté la samedi soir et qui faisait suite à ce post de @Fabien_Mikol, voici un ordre de lecture des 3 fils qui n'en font qu'un :
1. https://t.co/ygYauawITE
2. https://t.co/OtWJSb6kSn
3. https://t.co/iGvzzhnZOH
@EtienneKlein Non, la compréhension ne nécessite pas forcément la conscience de soi (un chat peut comprendre qu'une souris est cachée sous un meuble sans conscience de soi).
Et l'expérience subjective n'est pas un critère indiscutable ⤵️
https://t.co/wv6O9nB1bi
@Faust_Sceptique@OMinazzoli Et Bernard d’Espagnat était un catholique déclaré, ça ne l’a pas empêché d’avoir quelques bonnes intuitions sur l’importance de quelques thèses à diriger en matière d’optique quantique.
M. Bitbol a des compétences sérieuses en MQ, "taré" n’est pas le bon adjectif pour le décrire
@OMinazzoli On peut faire du « shut up and calculate », mais ça ne satisfait pas tous les appétits. Quand bien même on se contenterait des prédictions et de l’empirique, c’est encore une posture philosophique, un genre de scepticisme, non ?
@OMinazzoli La philosophie, n’est-on pas forcé d’en avoir une dès qu’on quitte le réalisme naïf, et qu’on se demande quelles sont les propriétés les plus générales des objets de la théorie qu’on se donne ? Ou ce qu’il impliquerait de les prendre au sérieux ?
J'ai vibecodé un petit simulateur pour se faire une idée de l'impact des différents leviers d'économie (désindexation, abattement frais pro, CSG) sur le coût des retraites, et sur ce que touchent différents retraités type à la fin
https://t.co/noXN5326DX
@SakumiBLR Yvonne Choquet-Bruhat était l’invitée de La méthode scientifique il y a presque exactement 10 ans, le 22 septembre 2016, au micro de @NicoMartinFC :
https://t.co/wK4zZGeBXy
I was just thinking the other day that having a computer that automatically solves math problems and outputs the proof in formal language that can also be checked by a computer is…
…awfully close to David Hilbert's dream. (See: Entscheidungsproblem, Hilbert programme.)
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.
The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.
The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.
Un billet de blog interminable avec plein de digressions pour expliquer pourquoi je préfère que mes apostrophes soient droites et pas courbes, malgré ce que me rabâchent les prescriptivistes de la typographie: https://t.co/vnMPdGqt7Q
@briceculturier@StephaneAzihari Phénomène mondial, corrolaire d’un certain succès. Les corrélations espérance de vie vs fécondité, ou taille de l’armée rapportée à la population vs fécondité, sont parlants.
@briceculturier@StephaneAzihari Moins de stress pour la survie à court terme : réponse homéostatique de l’espèce, phénomène bien assis en biologie du comportement.
Exemples : longue stase dans les pays d’afrique subsaharienne en conflits, mais baisse drastique au Liberia sous paix onusienne.
@briceculturier@StephaneAzihari Phénomène mondial, corrolaire d’un certain succès. Les corrélations espérance de vie vs fécondité, ou taille de l’armée rapportée à la population vs fécondité, sont parlants.
@StefanFSchubert@BirthGauge And another one showing fertility rate vs armed forces personnel ratio (testing the national feeling of being at war). Very different initial positions, but an evolution towards the same zone, with South Korea as an outlier.
J'en ai profité pour recalculer l'évolution de la dette publique de la France en supposant que nous avions consacré la même fraction de la richesse nationale aux pensions que les allemands depuis 1995.