Sign in

Philippe Gaucher

@pg0042.eurosky.social
117 followers 58 following 454 posts

Amateur de science-fiction (hardSF, cyberpunk, space-opera) | Mathématicien CNRS | Pour toute autre question, la réponse est 42 #douglasadams

PostsRepliesMedia
Reposted by Philippe Gaucher
Philippe Gaucher @pg0042.eurosky.social · 7h
Si vous voulez une nouvelle amusante (vous avez l'air tous de déprimer) que je viens de découvrir, apparemment la formalisation en Lean d'une preuve en language naturelle ne se passe pas forcément très bien 🤔. Je n'ai pas eu le temps encore de lire l'article en détail. ⤵️ arxiv.org/pdf/2610.08144
arxiv.org
021
Philippe Gaucher @pg0042.eurosky.social · 16h
[ #LLM #AI #IA ] "Mathematicians did not ask for this work to be done." I don't remember giving AHM permission to speak for me 😡. Mathematics doesn't belong to AHM. Let them use a quill pen to write, a candle for light, and send their letters by stagecoach if they like. ⤵️ www.ahmath.org/statements
ahmath.org
Statements — AHM
100
Philippe Gaucher @pg0042.eurosky.social · 07/10/2026
Now that everyone knows that #LLM can solve math problems (even if the proofs aren't yet human-readable), I suggest that #OpenAI tackles other problems like: a cancer vaccine, deep-space travel à la *Star Trek*, nuclear fusion, high-temperature superconductivity. ⤵️ github.com/openai/math/...
github.com
math/overview.pdf at main · openai/math
Contribute to openai/math development by creating an account on GitHub.
020
Philippe Gaucher @pg0042.eurosky.social · 03/10/2026
www.zdnet.fr/actualites/c...
zdnet.fr
Ce que l'enquête de Mediapart sur Jordan Bardella nous apprend de l'OSINT - ZDNET
En s'appuyant sur l'extraction RGPD et l'OSINT, les journalistes ont déployé un arsenal technique redoutable. Une véritable leçon de cybersécurité appliquée à l'information.
000
Reposted by Philippe Gaucher
arXiv @arxiv.bsky.social · 01/10/2026
arXiv has updated our policy on rate limiting for all submitters. This update was made to fairly distribute moderator time & support the arXiv community of staff, volunteers, readers & authors. Please read our announcement to learn more: blog.arxiv.org/2026/10/01/updated-r…
216874
Reposted by Philippe Gaucher
Le Gorafi @legorafi.bsky.social · 29/09/2026
Révélation - Le président d'un parti fondé par des antisémites serait antisémite www.legorafi.fr/2026/09/29/revelati…
legorafi.fr
Révélation - Le président d'un parti fondé par des antisémites serait antisémite 
Toute l'information selon des sources contradictoires.
381515567
Philippe Gaucher @pg0042.eurosky.social · 26/09/2026
[ #AI #LLM ] Some people working in #AI seem to be completely off the mark—and that’s really putting it mildly. They think that the value of a theorem is measured by the simplicity of its statement and the complexity of its proof. Such mathematical ignorance astounds me. ⤵️ arxiv.org/abs/2609.28603
arxiv.org
Learning to Discover Interesting Mathematics
Recently, Large Language Models (LLMs) have been increasingly able to solve advanced mathematical problems, including many that have been open for decades. This opens the door to expansion of mathemat...
100
Philippe Gaucher @pg0042.eurosky.social · 22/09/2026
#OpenAI has decided to be more cautious about releasing its breakthroughs in mathematics. If anyone at #OpenAI reads this post, here are a few suggestions for what should come next. ⤵️ openai.com/index/adviso...
openai.com
Advisory Group on Mathematics and Artificial Intelligence
OpenAI is working with an independent Advisory Group on Mathematics and Artificial Intelligence to guide the review and communication of emerging AI results.
220
Philippe Gaucher @pg0042.eurosky.social · 21/09/2026
www.franceinfo.fr/economie/bud...
franceinfo.fr
Comment le gouvernement veut une nouvelle fois mettre à contribution les agents de la fonction publique pour réaliser des économies dans le budget 2027
Le Premier ministre a présenté, jeudi, ses pistes pour réaliser 54 milliards d'économies dans le cadre du budget 2027 en appelant à une nouvelle année blanche dans la fonction publique.
100
Reposted by Philippe Gaucher
Gro-Tsen @gro-tsen.bsky.social · 15/09/2026
“Relativity Park”: a very fun interactive JavaScript game/demo which lets you explore walking around a toy universe in a world where the speed of light is 5km/h and see the strange visual effects that come with going at relativistic speeds. rivendell.dmitrybrant.com/relativity/
Screenshot from the game, showing a very distorted view as we look sideways while going close to the speed of light.
1184
Philippe Gaucher @pg0042.eurosky.social · 13/09/2026
[ #AI #IA #LLM #mathematics #math ] The Platonist view ⤵️ proofsandprompts.com/2026/09/13/t...
proofsandprompts.com
The Platonist view
Uri Bader, Professor at Maryland University and Weizmann Institute Math exists. We explore it.We do not invent math. We invent ways of understanding and communicating it. We choose which parts of i…
010
Philippe Gaucher @pg0042.eurosky.social · 09/09/2026
[ #AI #IA #LLM ] www.implicator.ai/clay-navier-...
implicator.ai
Clay Won't Call Navier-Stokes Solved; Meta Ships Muse
OpenAI spent 130 billion output tokens on the proof. Google DeepMind mapped 9 billion possible DNA changes.
000
Philippe Gaucher @pg0042.eurosky.social · 09/09/2026
[ #AI #LLM #IA ] “If you don’t want me to be nice, then I don’t have to be nice” (sous-titre en français : ambiance western dans l'industrie de l'IA) ⤵️ siliconreckoner.substack.com/p/if-you-don...
siliconreckoner.substack.com
“If you don’t want me to be nice, then I don’t have to be nice”
Fluid dynamics and an industrial midnight drama
020
Reposted by Philippe Gaucher
Petra Schwer @petraschwer.bsky.social · 10/08/2026
Like many others I was feeling the lack of a platform where the full spectrum of opinions (in particular also lesser heard voices) on "math and AI" may get an audience. Now here it is! Think about contributing and share it widely! proofsandprompts.com #math #mathsky #llm #AI #mathandai
proofsandprompts.com
Proofs and Prompts
Notes from the common room
12714
Reposted by Philippe Gaucher
John C. Baez @johncarlosbaez.bsky.social · 09/08/2026
I hope you're enjoying the weather this summer. I expect it will be one of the coolest summers in the next two decades!
Graph of world temperatures from 0 AD to roughly 2025, showing a rapid rise -0.2 C to 1.2 C (compared to "pre-industrial") from 1880 to 2025.  From 

https://commons.wikimedia.org/wiki/File:Common_Era_Temperature.svg
24403153
Reposted by Philippe Gaucher
Albert Pinto @70sbachchan.bsky.social · 01/08/2026
OpenAI: "yes, nonsofic groups exist: this statement is one of many new beautiful results proved by Astra, our next major model We're releasing 10 such Astra proofs...results are wide-ranging, from von Neumann algebras to better bounds for high dimensional sphere packing" openai.com/index/ten-ad...
183
Reposted by Philippe Gaucher
Gro-Tsen @gro-tsen.bsky.social · 24/07/2026
I've heard that too. I admit I don't understand the economics and I'm a bit skeptical (but maybe the open weights models are actually obtained by distilling the proprietary models). But I think ❊publicly funded❊ open weight models are a necessity if academia is to survive in a world with AI.
211
Reposted by Philippe Gaucher
John C. Baez @johncarlosbaez.bsky.social · 20/07/2026
Mathematician Levent Alpöge found a counterexample to the Jacobi conjecture using Claude Fable! This conjecture claims that if F: ℂⁿ→ℂⁿ is a polynomial map whose Jacobian is invertible at each point, F has a polynomial inverse. Open since 1939. But no more! (1/n)
en.wikipedia.org
Jacobian conjecture - Wikipedia
48523
Reposted by Philippe Gaucher
Laurent Chemla ✅ @laurent.chemla.org · 19/07/2026
Les télés LG enregistrent vos voix pour leurs IA et si vous refusez vous n'aurez plus de mises-à-jour. J'adore trop. www.internationalcyberdigest.com/lg…
15134136
Philippe Gaucher @pg0042.eurosky.social · 13/07/2026
R.I.P. Sam Neill. C'est le moment de se souvenir d'un excellent film d'horreur à l'ambiance lovecraftienne : L'Antre de la folie (In the Mouth of Madness) par John Carpenter, sorti en 1994. ⤵️ fr.wikipedia.org/wiki/L%27Ant...
fr.wikipedia.org
L'Antre de la folie — Wikipédia
010
Philippe Gaucher @pg0042.eurosky.social · 06/07/2026
Mars Express est toujours disponible sur la plateforme France TV. Le meilleur dessin animé de #SF depuis Ghost in the Shell. ⤵️ www.ecranlarge.com/films/critiq...
ecranlarge.com
Mars Express : critique d’une vraie pépite SF
Voici notre critique du film Mars Express de Jérémie Périn.. Et si c’était lui, la véritable surprise du dernier Festival de Cannes ? Présenté au Cinéma de la Plage, Mars Express a pris tout le mon...
020
Philippe Gaucher @pg0042.eurosky.social · 20/06/2026
[ #science-fiction #sci-fi #streaming ] Mars Express en streaming sur France TV que j'ai découvert par hasard. ⤵️ www.france.tv/films/films-...
En l'an 2200, à Noctis, capitale de la planète Mars. Détective privée expérimentée, Aline Ruby, tout juste rentrée d'un voyage sur Terre où elle vient de remplir une mission confiée par un riche homme d'affaires, apprend qu'une étudiante en cybernétique est portée disparue depuis plusieurs jours. Accompagnée de Carlos Rivera, un robot humanoïde qui l'assiste dans ses enquêtes, la jeune femme part immédiatement à la recherche de cette dernière, convaincue de pouvoir rapidement retrouver sa trace dans une ville qu'elle pense parfaitement connaître. Aline découvre pourtant vite que l'enquête se révèle bien plus complexe que prévu...
000
Reposted by Philippe Gaucher
Raphaël Millière @raphaelmilliere.com · 11/06/2026
Now published in open access! Your one-stop shop for the philosophy of language models. It's the spiritual descendant of our two-part preprint from 2024, fully updated. This should be particularly useful for anyone looking for an entry point into this rapidly growing field.
compass.onlinelibrary.wiley.com
The Philosophy of Language Models
The success of large language models (LLMs) across many domains of AI research has generated intense debate. Some attribute their impressive performance on complex tasks to human-like linguistic and ...
210932
Philippe Gaucher @pg0042.eurosky.social · 30/05/2026
A new paper on the use of #AI to solve research-level mathematical problems: "We built AlphaProof Nexus with the belief that the future of mathematics lies in human-machine partnership, where interactive AI tools serve to expand a mathematician's creative capacity." ⤵️ arxiv.org/pdf/2605.22763
arxiv.org
020
Reposted by Philippe Gaucher
Philippe Gaucher @pg0042.eurosky.social · 25/05/2026
(1/3) OMHO this is by no means the end of mathematics. We need to stop with all the doomsday talk about #AI. AI is a new tool that finally seems to be reliable for helping us doing mathematics, following calculators, computers, formal proof softwares, proof assistants, and so on.
111
Reposted by Philippe Gaucher
ARTE Interactive - THE MERLIES OUT NOW!! @arteinteractive.bsky.social · 19/05/2026
This place smells like toxicity, I can tell 🧐
182
Philippe Gaucher @pg0042.eurosky.social · 01/05/2026
(1/4) J'ai installé InvokeAI par curiosité et pour voir ce que peut faire ma carte graphique. Il y a des installateurs pour Windows, MacOS et Linux. Ça installe tout ce qu'il faut automatiquement sans prise de tête (idéal pour les gens comme moi qui n'y connaissent rien 😀). ⤵️ invoke.ai
invoke.ai
AI Image Generation for Creatives
A leading creative engine built to empower professionals and enthusiasts alike.
100
Philippe Gaucher @pg0042.eurosky.social · 19/04/2026
Je viens de finir de regarder sur Arte TV une série islandaise fort divertissante : "Reykjavík Fusion". Elle donne faim. Ça parle aussi de blanchiment d'argent et je n'ai rien compris aux montages de Mary. Le cuisinier Jónas non plus d'ailleurs. ⤵️ www.arte.tv/fr/videos/RC...
arte.tv
Reykjavik Fusion - Séries et fictions | ARTE
En liberté conditionnelle, Jónas peine à se réinsérer. Chef talentueux, il accepte un deal avec un mafieux : diriger la cuisine d’un restaurant gastronomique en fermant les yeux sur le blanchiment d’a...
000
Philippe Gaucher @pg0042.eurosky.social · 20/03/2026
Il va falloir (peut-être) attendre 8 ou 9 ans avant la saison 2 de #Pluribus 😡... www.numerama.com/pop-culture/...
numerama.com
Pluribus saison 2 : Vince Gilligan donne quelques indices sur la suite de la série
Plus de dix ans après la fin de Breaking Bad, le showrunner Vince Gilligan a opéré un retour inespéré en 2025, avec l'énigmatique Pluribus, déjà renouvelée pour une saison 2, et sur laquelle il travai...
000
Reposted by Philippe Gaucher
Nicolas Allard @nicolasallard.bsky.social · 17/03/2026
Incroyable première bande annonce de #Dune : Troisième Partie ! Elle rend compte de la complexité et de la mélancolie de la suite du parcours de Paul Atréides. Villeneuve rend palpable la tension, l'intensité et la noirceur présentes dans le second roman. Hâte ! www.youtube.com/watch?v=EdwC...
youtube.com
Dune : Troisième Partie | Teaser officiel (VOST) | Timothée Chalamet, Zendaya, Jason Momoa
YouTube video by Warner Bros. France
174
Reposted by Philippe Gaucher
HG2G Scrapbook @hg2g-scrapbook.bsky.social · 11/03/2026
Happy birthday to #DouglasAdams He would have been 74 today.
163
Reposted by Philippe Gaucher
Actusf, le site ! @actusf.bsky.social · 10/03/2026
Confirmation : le jeu vidéo de science-fiction Life is Strange va bien devenir une série ! Et on connait le casting. On vous dit tout sur Actusf : buff.ly/Sr1lrw1 #sciencefiction #voyagedansletemps #timetravel
021
Reposted by Philippe Gaucher
The Spaceshipper 🚀 @thespaceshipper.com · 26/02/2026
First look at Star City, the spin-off/prequel of For All Mankind! Surprise: it starts on AppleTV on May 29, the day of the final episode of season 5 of For All Mankind! So we'll be staying in this alternate universe from March 27 to July 10 😍
Rhys Ifans stars in “Star City,” a new Apple Original from the creators of “For All Mankind,” premiering May 29, 2026 on Apple TV.Agnes O’Casey in "Star City" Alice Englert in "Star City"Rhys Ifans in "Star City"
515631
Philippe Gaucher @pg0042.eurosky.social · 23/02/2026
(1/3) En rangeant mes fichiers epub, j'ai retrouvé la trilogie #hardsf "Proxima Centauri" de Brandon Q. Morris que j'ai lue à sa sortie (2022-2023). ⤵️ fr.wikipedia.org/wiki/Brandon...
fr.wikipedia.org
Brandon Q. Morris — Wikipédia
100
Philippe Gaucher @pg0042.eurosky.social · 16/02/2026
Apparemment en ligne depuis le 31 mars 2016, je n'ai découvert que récemment 😱,que les éditions Belial proposaient une version intégrale numérique sans DRM de "La patrouille du temps" de Poul Anderson. De la #SF classique et un vrai régal de lecture. ⤵️ belial.fr/legacy/a/pou...
belial.fr
La Patrouille du temps, l'intégrale de Poul ANDERSON (numérique) | Le Bélial'
010
Philippe Gaucher @pg0042.eurosky.social · 16/02/2026
(1/6) J'ai enfin pu me procurer pour ma liseuse kobo et sans DRM les 3 tomes des aventures #cyberpunk de Takeshi Kovacs par Richard Morgan (librairie en ligne numilog pour ceux que ça intéresse). Le premier tome correspond peu ou prou au premier épisode de la série "Carbone Modifié" de Netflix.
100
Reposted by Philippe Gaucher
Case Dorsett @lcprod.net · 06/02/2026
[ 📚 #Littérature #scifi ] « Ce sont des projectiles à portée intrasystème équipés de multiples têtes à hypervélocité armées de bombes à fusion ou d'antimatière. En d'autres termes, leurs cibles sont déjà mortes mais ne le savent pas. » Peter F. Hamilton - Salvation
021
Reposted by Philippe Gaucher
Philippe Gaucher @pg0042.eurosky.social · 24/01/2026
Oui c'est un très bon film en effet. Je n'ai jamais compris pourquoi les critiques étaient aussi mauvaises. Par contre, si vous faites bien allusion à l'adaptation de "Fondation" sur Apple TV+, c'est une catastrophe totale quoi que fort bien réalisée.
101
Philippe Gaucher @pg0042.eurosky.social · 22/01/2026
#pluribus 🙂 ⤵️ www.reddit.com/r/GoogleEart...
reddit.com
From the GoogleEarthFinds community on Reddit: Le district de Carol à Albuquerque, créé pour la série Pluribus
Explore this post and more from the GoogleEarthFinds community
000
Philippe Gaucher @pg0042.eurosky.social · 22/01/2026
Un article en libre accès sur #AlitaBattleAngel #alitasequel #gunnm #cyberpunk #sciencefiction #film #movie ⤵️ www.telerama.fr/cinema/que-f...
telerama.fr
Que faut-il savoir sur “Alita : Battle Angel”?
Adapté du manga Gunnm, projet de James Cameron avant qu’il ne le confie à son confrère Robert Rodriguez, “Alita : Battle Angel” est un étrange blockbuster, qui mèle 3D, classicisme et nostalgie. Une s...
010
Reposted by Philippe Gaucher
Cédric Brun @cedricbrun.bsky.social · 29/12/2025
J'apprends le décès de Pierre Bordage, immense auteur de SF, mes pensées accompagnent les siens dans la douleur. Je conseille à toutes celles et ceux qui ne connaissent pas son oeuvre de se lancer dans les guerriers du silence. Une trilogie qui restera sans doute dans les annales comme un classique
1103
Philippe Gaucher @pg0042.eurosky.social · 24/12/2025
www.telerama.fr/series-tv/pl...
telerama.fr
“Pluribus” : fin de saison pour le thriller fantastico-existentiel de Vince Gilligan, passionnant jusqu’au bout
Rythme atypique, subtil mélange de comique et de tragique, héroïne génialement complexe, le tout sur fond de fin du monde : cette série est déjà un phénomène. Décryptage, alors que l’intégralité de la...
000
Reposted by Philippe Gaucher
Ecran Large @ecranlarge.bsky.social · 24/12/2025
La première saison de #Pluribus sur Apple TV est terminée. Notre critique !
ecranlarge.com
Pluribus : critique du nouveau chef-d'œuvre de Vince Gilligan sur Apple TV
Avec Pluribus, Vince Gilligan quitte les drames de Breaking Bad et Better Call Saul pour une fable de SF désespérée et géniale. Notre critique.
0142
Philippe Gaucher @pg0042.eurosky.social · 20/12/2025
Enfin une bonne nouvelle (j'espère car Disney+ a l'art de massacrer les franchises) côté super-héros. Le retour du personnage de Jessica Jones toujours jouée par Krysten Ritter pour mars 2026. #KrystenRitter #JessicaJones #Defenders
000
Philippe Gaucher @pg0042.eurosky.social · 19/12/2025
L'opus 1 d' #Avatar était intéressant car novateur. L'opus 2 m'a ennuyé. Trop, c'est trop. James Cameron ferait mieux de s'occuper de donner une suite à #AlitaBattleAngel qui a des ressorts narratifs bien plus intéressants. #alitasequel #gunnm #cyberpunk #sciencefiction #film #movie
000
Philippe Gaucher @pg0042.eurosky.social · 18/12/2025
R.I.P. Il n'y aura plus d'Edika. 😢 ⤵️ www.telerama.fr/livre/le-des...
telerama.fr
Le dessinateur de BD Édika, figure du magazine “Fluide Glacial”, est mort
Édouard Karali, pilier du magazine de bande dessinée cofondé par Gotlib et considéré comme le maître de l’humour absurde par ses pairs, est décédé mardi 16 décembre.
100
Reposted by Philippe Gaucher
Philippe Gaucher @pg0042.eurosky.social · 07/11/2025
Pas mon premier loin de là mais une référence. Toujours jouable avec ScummVM et toujours sur mon PC en 2025 !
131
Philippe Gaucher @pg0042.eurosky.social · 01/12/2025
(1/3) La série "Fondation" d'Apple TV+ est un navet intersidéral, quoi que -je l'admets- fort bien réalisé. Ou comment massacrer un grand classique de la #SF et un fantastique souvenir de lecture. C'est paraît-il une indispensable modernisation. Les romans d' #Asimov ne vieillissent pourtant pas.
120
Philippe Gaucher @pg0042.eurosky.social · 21/11/2025
(1/3) La trilogie "L'arche spatiale" de Peter Hamilton utilise un thème voisin de "Aurora" de Kim Stanley Robinson. Un long voyage sur plusieurs générations avec intrigues (je ne révélerai rien 😀) et description détaillée du vaisseau (le Daedalus). Plus #space-opera que #hardsf , écrit pour
100