Sébastien

Râleur de service, électron libre. Formation : Droit + Data analysis. Prof de marchés publics. Fonctionnaire plutôt à droite (donc dans un enfer de gauche ;-)).

[Frenchie @Frenchie_]

Voilà on y est

La boîte de Pandore des sciences est ouverte

Cette nuit, OpenAI a annoncé trois découvertes majeures en maths, en physique et en informatique

Toutes trouvées par l'IA

J’ai généré une vidéo explicative, pour les autres, faudra manger son pain noir et voici ce que ça implique :

1. En Mathématiques

Le local smoothing, c'est une conjecture de 1991 sur les ondes. Elle entraîne Kakeya, un problème posé en 1917, et on ne savait la prouver qu'en dimension 2. Il y a trois mois, Kakeya en dimension 3 valait la médaille Fields à Hong Wang, que notre président adore

Là de façon assez délirante, L’IA sort une preuve en toutes dimensions, vérifiée en Lean (le language de vérification de preuve) moins de deux ans après la preuve en 3D

Ce que ça change en gros : Kakeya et la conjecture de restriction de Stein tombent avec, dans toutes les dimensions.

Pas d'application directe demain matin, mais ces résultats servent d'outils partout où on étudie des ondes, équations aux dérivées partielles, physique mathématique, théorie des nombres. Donc à long terme c’est monstrueux !

2. Pour la Physique

La théorie des quarks et des gluons (QCD, Yang-Mills) marche depuis 50 ans dans les accélérateurs de particules, mais jusque là personne n'avait jamais prouvé qu'elle existe proprement en mathématiques

L'existence de Yang-Mills, c'est la moitié d'un problème du Millénaire (rien que ça), ouvert depuis 2000. OpenAI annonce la preuve, et c'est le groupe de David Gross, prix Nobel, qui va la rédiger (une première). L'autre moitié du problème, le mass gap, reste ouverte

Ce que ça change : pareil, aucune machine ne marchera mieux demain, les calculs fonctionnaient déjà. Mais pour la première fois, ils reposent sur une théorie dont on a prouvé qu'elle existe mathématiquement. La base de la physique des particules en sort beaucoup plus solide

3. Informatique c’est l'hypothèse du temps exponentiel ETH (pas la crypto)

C'est le gros sujet de cette nuit, celui qui a fait couler beaucoup d'encre

Posée en 1999, l'ETH dit que certains problèmes logiques demandent forcément un temps exponentiel, quoi qu'on fasse. Des centaines et des centaines de papiers reposent sur l'idée qu'elle est vraie. L'IA trouve un algorithme qui passe sous l'exponentiel, vérifié en Lean, et ce sont deux des trois auteurs de l'hypothèse, plus Ryan Williams du MIT, qui l'examinent

Ce que ça change : tous les résultats de difficulté démontrés grâce à l'ETH sont à revoir, en théorie des graphes, en biologie computationnelle, en bases de données. À terme, des problèmes comme le routage de véhicules, la planification ou le placement de circuits sur une puce pourraient en profiter.

Pas tout de suite, l'algorithme reste très lent en pratique. Et je vous voit venir c'est pas P=NP (qui est le problème le plus attendu avec Riemann) le chiffrement n'est pas touché

Dans la foulée, de façon assez vindicative, Anthropic publie un papier où Claude réfute lui aussi l'ETH, avec un algorithme trouvé le même jour qu'OpenAI (étrangement aussi proche de l’IPO)

Je le disais déjà en live il y a quelques mois, les découvertes en maths, en physique et dans toutes les sciences dures vont monter de façon exponentielle, comme disait Ilya Sutskiver, ceux qui ont sacralisé l’intelligence vont tomber de haut

Le goulot d'étranglement maintenant, c'est d'avoir assez de compute pour chercher les preuves et assez d'humains pour les vérifier

On entre dans une ère d'abondance de la preuve, fascinante et à double tranchant

Certes on pourrait dire que certains mathématiciens sont des petits cons réfractaires, mais je pense sincèrement qu'il va falloir du temps pour s'adapter

Il faut faire attention à ce que les futures générations gardent l'envie de chercher et que celles d'aujourd'hui ne se découragent pas en voyant des pans entiers tomber

Quand la communauté sera assez mature avec l’utilisation de l'IA, on entrera probablement dans un âge d'or de la science

2026 est sublime

[Sébastien @SebZeroUn]

Certains à gauche considèrent déjà que le cordon devrait s'appliquer au MR, alors vous imaginez bien...

On évoque la sécurité ? Cordon sanitaire
L'immigration ? Cordon sanitaire
Un peu de critique de l'UE ? Cordon sanitaire
Un peu trop libéral point de vue économique ? Cordon sanitaire
Laïcité... ? C'est limite.

[Jean-Yves Huwart @JeanYves]

GSK n'est pas le seul à dégraisser en raison des coûts de l'énergie trop élevés en Belgique. C'est l'ensemble de l'industrie qui est en train de s'arrêter, en particulier en Wallonie...
https://t.co/HPrW8dMoXe

[Damien ERNST @DamienERNST1]

"Ce ne sont pas seulement les ménages vulnérables qui vont souffrir de cette crise énergétique, mais aussi toute la classe moyenne ! Et la France n’est plus en mesure, financièrement, d’aider les gens à y faire face. La crise économique qui s’annonce va faire chuter les recettes de l’État, qui a déjà un déficit budgétaire bien trop élevé. Il n’aura plus les moyens d’augmenter ses dépenses pour aider les Français. Il faut donc leur dire la vérité : vingt ans de politiques énergétiques farfelues, alimentées par le dogme mortifère de la décroissance, ont transformé la France en un pays pauvre. Un rappel aux décideurs qu’en économie, c’est par l’énergie que tout commence. Et parfois, que tout finit ! "

https://t.co/gTWpRgUnBa

[Dirk @DirkLc120]

Une des raisons pourquoi il est extrêmement compliqué de réformer notre pays en profondeur 👇

[Sébastien @SebZeroUn]

C'est un terrible constat mais est-ce faux ? 👇 Il est urgent que les gouvernements (fédéral et régional) redressent la barre.

[Sushi Rosé @sushimauve]

@Pragmanumerus @SebZeroUn @GLBouchez J’ai cru pendant des années que ca ne pourrait pas être pire qu’à gauche, et en peu de temps ce gouvernement a réussi à me montrer le contraire… a mi mandat peut-on faire le compte de leurs avancées ? Notre pouvoir d’achat n’a jamais été aussi bas, et la sécurité j’en parle pas.

[Assemblée nationale @AssembleeNat]

Pouvoir d'achat : "En France, le travail ne paye plus suffisamment!"

@ClaireBeuil (RN) dénonce des "ajustements symboliques" sur le Smic, elle propose au Gvt de "rapprocher le brut du net" en exonérant de charges les augmentations de salaires "jusqu'à 10 %".
#DirectAN #QAG

[Georges-L BOUCHEZ @GLBouchez]

👍 Les 500 euros du MR, c’est promesses tenues !
🤯 N’en déplaisent aux manipulateurs de wish qui manifestement ont des problèmes de compréhension à l’audition…
👉 Les explications et les dates d’entrée en vigueur, c’est ici ! ⬇️
#PresidenceMR #fierdetreliberal #LAvenirSEclaire

[Richard Maroquin @RMaroquin]

@GLBouchez @BruxellesMabel2 Réformer drastiquement le système, c’est réduire fortement le périmètre de l’État au sens large et alléger les législations et la taxation. Le MR est-il prêt à porter ce projet et pas juste un tax shift ?

[Sébastien @SebZeroUn]

@vaesen_roland Désolé, mais ça se lit dans son non-verbal, fermeture totale face à qui ne pense pas comme elle. Grossière ici comme sur LCI, elle n’autorise pas son contradicteur à s’exprimer... J'ai vraiment du mal avec ce type de personne.

[Sébastien @SebZeroUn]

Cela dépend du niveau wallon plutôt que du fédéral mais vous visez très juste ! La Wallonie s'est privée de recettes fiscales (enregistrement) tout en loupant l'objectif (accès à la propriété).

Le chèque habitat n'était pas parfait mais il permettait de lisser l'avantage fiscal sur 20 ans (10 ans à taux plein et 10 ans à taux réduit si j'avais bien compris).

J'avais détaillé mon point de vue ici : https://t.co/halzyoq8fd

[Sébastien @SebZeroUn]

@lalibrebe C'est une erreur de la Wallonie et c'est la seule fois où je ne suis pas favorable à une baisse d'impôts. Il y a eu effectivement un transfert dans la poche des vendeurs (tant mieux pour eux) mais la mesure a totalement loupé son objectif.

[Sébastien @SebZeroUn]

Au citoyen de choisir, je suis bien d’accord. Mais alors à eux de payer leur choix, pas à la collectivité via une réduction d’impôt.

Perso, je suis sorti de ce système. Ça ne m’empêche pas de donner chaque année (moins, certes) à des organismes non agréés, les CREAVES en l’occurrence.

[Sébastien @SebZeroUn]

Bonjour @GLBouchez,

Aucun problème d’audition de mon côté. Et on ne peut pas m’accuser d’être acquis aux socialistes, loin de là 🙃

J’entends donc 500 € avec beaucoup de « si » : si vous avez 2 enfants, si vous prestez des heures sup, si, si…

J’entends aussi, bien sûr, qu’on insiste sur les « quelques », les « certains », les « pas tous ».

Soyons de bon compte : votre vidéo traite du différentiel entre ceux qui travaillent et ceux qui ne travaillent pas, pas de la fiscalité dans son ensemble. J’élargis volontairement le propos, parce qu’on ne peut pas parler de différentiel sans tenir compte des charges qui s’ajoutent.

Certains ménages y gagneront donc, certes. Quelques-uns. Pas tous. Et d’autres y... perdront. Je crains d’être de ceux-là.

Il eût été plus simple, et plus libéral me semble-t-il, de baisser SIMPLEMENT la fiscalité sur les revenus du travail. Sans créer d'énième usine à gaz (le Job Bonus wallon en est un bel exemple). Sans nouvelles niches.

Parce qu’en attendant, voici ce que je constate dans mon cas personnel (et que beaucoup d’autres rencontrent, je le lis ici et là dans les commentaires) :

• des réductions d’impôt supprimées ou rabotées, qui gonflent in fine mon AER. Par exemple ? La réduction pour la protection juridique. Elle compensait la TVA sur les avocats et huissiers et la hausse des droits de greffe. En 2023, le MR (@BIHETMathieu) en réclamait le maintien. En 2025, elle est supprimée ;

• les accises sur le gaz et le mazout en hausse, au nom de la transition énergétique (j'estime que la réduction des accises sur l'électricité ne compense pas, n'est ni sociale, ni même libérale mais je ne vais pas entrer dans le sujet ici, ce serait trop long) ;

• la vignette « neutre », qui me coûtera in fine 25 € de plus, parce que j’ai le malheur de rouler en hybride ;

• mon 2e emploi (sur mon temps libre) : du travail en plus, qui n’entre pas dans les heures sup défiscalisées (sauf erreur ?).

Pire : ce travail supplémentaire me fait basculer dans la dernière tranche de l’IPP et sortir du Job Bonus wallon. Perte : 4,17 € par mois. Zut (j'en rigole tellement c'est dérisoire😉). Chaque heure en plus me coûte. Est-ce que ça donne envie de se démener ? Ce n’est en tout cas pas ma conception des choses, celui qui travaille plus doit être récompensé.

Pas d’enfants à charge, ni donation ni héritage (j'espère que non) en vue : les mesures qui « compensent » ne me concernent pas.

Je ne parle même pas ici du précompte immobilier qui fait gronder de plus en plus. Et cetera. Et cetera.

C’est tout le problème de la classe moyenne : l’étau se resserre. A nouveau, les plus bas revenus sont aidés, et c’est très bien. Mais le ventre mou, celui qui travaille, paie et ne coche aucune case, ne voit rien ou peu venir. Ou des cacahuètes : 4,17 € par mois en haut de la fourchette du Job Bonus. Wow, quelle générosité.

Je travaille +. Je paie +. Et on m’explique que c’est une promesse tenue. Ça ne convainc que les convaincus.

Pas sûr que ce soit ce que l’électeur attendait. Moi, j’ai surtout l’impression d’être le cochon payeur.

Je tiendrai les comptes car je suis rigoureux. J’espère sincèrement me tromper, mais je me fais peu d’illusions…

[Georges-L BOUCHEZ @GLBouchez]

👍 Les 500 euros du MR, c’est promesses tenues !
🤯 N’en déplaisent aux manipulateurs de wish qui manifestement ont des problèmes de compréhension à l’audition…
👉 Les explications et les dates d’entrée en vigueur, c’est ici ! ⬇️
#PresidenceMR #fierdetreliberal #LAvenirSEclaire

[Sébastien @SebZeroUn]

Accessoirement, je l'ai déjà dit ici sur X, je suis aussi favorable à la suppression pure et simple de la réduction d’impôt pour libéralités.

Aujourd’hui encore, l’État paie 30% de chaque don (45% avant la réforme). Je ne vois pas pourquoi la collectivité devrait financer les choix de générosité de certains contribuables.

L’économie supplémentaire serait de l’ordre de +/-90 millions par an. C’est peu de chose mais en matière de cohérence, il n’y a pas de petites économies...

[Sébastien @SebZeroUn]

J’ai bien saisi l’objectif. Mais une réforme fiscale, c’est une enveloppe et des choix, et les choix posés ici me laissent plus que perplexe.

Tout est question de créativité fiscale. En Belgique, on n’est pas sans ressources j'ai l'impression...

L’enveloppe fait environ 4,4 milliards par an à plein régime pour la réforme de l’IPP (simulations transmises à la Chambre début 2026). L’argent est donc sur la table. Reste à savoir ce qu’on en fait.

Plutôt que des petits cadeaux ciblés à gauche ou à droite, j’aurais touché au barème lui-même. Aujourd’hui, on passe de 25 % à 40 % dès 16.720 € imposables. 15 points d’un coup, en plein dans les bas salaires.

Sauf erreur de ma part, il y avait d’ailleurs une tranche à 30 % avant le tax shift du gouvernement Michel. Je ne réinventerait donc rien.

Concrètement, pour les revenus du travail : 20 % au lieu de 25 % sur la première tranche, une tranche à 30 % entre 16.720 et 21.720 €, puis on reprend à 40 %. Le reste ne bouge pas.

Ça fait environ 760 € par an pour un travailleur au-delà de 21.720 € imposables, qu’il ait des enfants ou non, qu’il preste des heures sup ou non. Pour un coût que j’estime entre 2,5 et 3 milliards, donc dans l’enveloppe, quitte à renoncer à une partie de ce qui a été retenu.

Et ciblons donc uniquement les revenus du travail, j’y tiens. Si l’objectif est l’écart entre activité et inactivité, c’est là qu’il faut agir. Techniquement, c’est faisable : l’Arizona neutralise déjà la hausse de la quotité exemptée pour les revenus de remplacement. Il "suffit" d’appliquer la même logique au barème

Bref, quitte à être créatif, autant l’être dans le sens de la simplicité (ce que j'ai toujours prôné).

[Sébastien @SebZeroUn]

@Inconnu_work @sushimauve @GLBouchez https://t.co/a3xjQVcVC3

[Sébastien @SebZeroUn]

@Inconnu_work @sushimauve @GLBouchez Dans la vie, je suis comme Saint Thomas, je ne crois que ce que je vois.

J'espérais par contre une baisse de la pression fiscale, je me suis manifestement trompé, c'est tout l'inverse qui se produit dans un des pays déjà les plus taxés de l'OCDE...

[Sébastien @SebZeroUn]

@EglantineBollus Merci beaucoup pour le partage☺️

[Martien Visser @BM_Visser]

België en @ENGIE_energie zijn erin geslaagd de kerncentrales Doel IV en Tihange III in een half jaar volledig te reviseren, alle veiligheidsprocedures te doorlopen en weer op te starten. Terwijl sluiting gepland was.
Dat is een applausje waard, vindt u niet?
#grafiekvandedag

[Sébastien @SebZeroUn]

@wallonie @va20531 Ce gouvernement est mauvais, il ne fait que des mauvais choix. Qui en est satisfait ? Ni les gens relativement à gauche, ni les gens relativement à droite.
La majorité wallonne n'est pas mieux.