iiinova — where your digital self keeps evolving

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 14/10/2026

Quantum Scientists for Disarmament disarmquantum.com

111 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 14/10/2026

yes de toute façon c'est moins de 100k par semaine pour y arriver

110 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 14/10/2026

ce weekend, mais c'est un petit trail, ça va se finir en 7h je pense

110 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 13/10/2026

ANR - AAPG 2027 Pour permettre aux déposants et déposantes de finaliser leurs dossiers, la date de clôture de l’étape 1 est décalée du 13/10/2026 au 14/10/2026 - 17h (heure de Paris).

000 0

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 13/10/2026

c'est le profil firefox que j'utilise quand tout va bien

000 0

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 13/10/2026

Les dockers du port du Havre sont en train de décharger la cargaison de 3 000 profs promis par E. Geffray ✨

161 6

Reposted by Pтiт Poиeч de Fiиdцs

Laurent Chemla ✅ @laurent.chemla.org · 10/10/2026

J'ai reçu un coup de fil d'Édouard Geffray il m'a demandé si je parlais anglais j'ai dit oui un peu il m'a dit « Ok, prof d'histoire à Douai. »

1621135 211

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 10/10/2026

Btw, this isn't really related to the topic, but I really want to thank you for introducing me to Dykstra's algorithm with Bregman projections through your articles; it's been a big help in my work.

010 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 10/10/2026

Avec 3 models open weight (Kimi K3, GLM-5.3, ML4) sortis cette année, proches de GPT-5.5 en termes de performance, lui aussi sorti cette année, on peut supposer que d'autres acteurs entraînent aussi des IA, même sans intention de les release (je pense à : Amazon, Apple, NSA)

020 2

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 08/10/2026

La take est intéressante et véridique (NL <-> code ce n'est pas direct et pas toujours faithful) Je pense que le passage que tu as mis en évidence fait pas très sérieux oui

110 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 08/10/2026

Quoi que cela change pour la preuve d’OpenAI, une chose est sûre : un énoncé en langage naturel doit parfois être reformulé de manière équivalente pour pouvoir être traité par Lean ou par une machine.

010 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 08/10/2026

yes ça a probablement été écrit avec une IA pour terminer les grandes inspirations

100 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 08/10/2026

j'ai rarement autant rigolé devant une réponse de ChatGPT

100 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 08/10/2026

Parmi ceux-ci figure la démonstration des équations de Navier-Stokes annoncée par OpenAI. Nous montrons notamment que la démonstration formalisée en Lean ne correspond pas à la démonstration en NL de l’explosion des solutions des équations de Navier-Stokes." https:// arxiv.org/abs/2610.08144v1

arxiv.org

Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs

Autoformalisation is increasingly used to verify mathematical texts, including those generated by AI, as in OpenAI's announced proof of blow-up of solutions to the Navier-Stokes equations. In this pro...

011 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 08/10/2026

"Pour illustrer les implications de ce résultat, nous présentons des exemples d’erreurs de traduction commises par l’IA lors de la conversion d’énoncés et de démonstrations en langage naturel (NL) vers Lean, entraînant des divergences entre les démonstrations en NL et leurs 'vérifications' en Lean..

322 3

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 08/10/2026

Difficile de faire des prévisions, mais en parallèle des modèles de pointe, il y a un développement très actif de modèles plus légers, moins chers à entraîner et à faire tourner, qui fonctionnent assez bien (modèles chinois, Mistral). Et ils rattrapent les modèles de pointe en quelques mois

000 0

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 08/10/2026

Nous allons nous retrouver avec peu ou pas de réglementation malgré des risques sérieux (cybercrime, désinformation, biais algorithmiques) et une surdépendance IA dangereuse dans des domaines critiques. Notre seule issue pourrait être la protestation/le boycott de la GenIA. 3/3

100 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 08/10/2026

Les GAFAM/OpenAI/Anthropic surévaluent les LLM comme étant des IA générales, malgré des problèmes persistants. Les gouvernements ont cru à ce battage médiatique et vont devenir trop dépendants de ces entreprises. 2/3

110 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 08/10/2026

Ce que beaucoup refusent d'accepter, c'est qu'il n'y aura pas de retour à l'ère pré-GenAI. Les choses ne feront qu'empirer à mesure que l'IA deviendra plus omniprésente. 1/3

100 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 08/10/2026

Vous n'en vouliez pas ? On vous le donne quand même ☺️

010 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 08/10/2026

HAL Discovery MCP : explorez les métadonnées de HAL en langage naturel depuis votre LLM préféré www.ccsd.cnrs.fr/2026/10/hal-...

ccsd.cnrs.fr

HAL Discovery MCP : explorez les métadonnées de HAL en langage naturel depuis votre LLM préféré

100 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 07/10/2026

Certes je ne suis pas devenu pilote d’avion comme souhaité, mais je suis quand même devenu pilote d’agent et c’est pas rien

020 2

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 07/10/2026

Tu cherches la capitale des États-Unis et DuckDuckGo te montre l'état de Washington: inattendu mais utile à savoir!

000 0

Reposted by Pтiт Poиeч de Fiиdцs

mantraktor 🌸🌱🐝 @nbuchon.me · 07/10/2026

L'important ce n'est pas le résultat, ce sont les découvertes que l'on fait en chemin 🧠

111 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 07/10/2026

Arrêtez d'utiliser Google et utilisez plutôt DuckDuckGo ou Qwant pour ne pas trouver ce que vous cherchez initialement mais autre chose

110 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 07/10/2026

OpenAI a publié un repo github contenant 722 manuscrits mathématiques, regroupés en 372 familles de résultats associés, tous générés par un modèle interne non encore rendu public. github.com/openai/math le fichier overview: github.com/openai/math/...

le fichier overview: https://github.com/openai/math/blob/main/overview.pdf

301 3

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 06/10/2026

c'est pas impossible que Trump envoie un porte avion dans le golfe de Gascogne pour sauver les élèves de Macron

110 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 05/10/2026

On ignore encore comment elle est tombée malade. Les États-Unis suivent de près le cas de cette employé de laboratoire qui serait « peut-être » décédé de la peste en Sibérie, selon M. Rubio

theguardian.com

US closely monitoring case of lab worker who ‘possibly’ died of plague in Siberia, says Rubio

Quarantine measures in place in several hospitals in eastern Russia amid uncertainty over death of Darya Shipilova

000 0

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 05/10/2026

Darya Shipilova, une employée de 28 ans de l’institut de lutte contre la peste de la ville d’Irkoutsk, est tombée malade au travail. Elle est décédée deux jours plus tard, dans la nuit du 2 octobre, dans un hôpital régional de la ville voisine de Shelekhov. www.theguardian.com/world/2026/o...

theguardian.com

US closely monitoring case of lab worker who ‘possibly’ died of plague in Siberia, says Rubio

Quarantine measures in place in several hospitals in eastern Russia amid uncertainty over death of Darya Shipilova

100 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 04/10/2026

j'ai bien aimé la remarque de Cassio de Campos "read more, write less"

010 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 04/10/2026

un jour les chercheurs en machine learning vont découvrir qu'on peut publier en journal et faire des séminaires en visio

210 2

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 04/10/2026

@pierremarion.bsky.social D'ailleurs le total est erroné. Les vols de 2025 totalisent exactement 3366 kg, soit le chiffre indiqué comme « total depuis 2020 ». 2023 (2380 kg) n'a pas été pris en compte ; le total réel s'élève donc à ~5746 kg. La page sous-estime sa propre empreinte carbone de ~40 %.

100 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 04/10/2026

@pierremarion.bsky.social peut on avoir une mise à jour de pierremarion23.github.io/carbon.html ? Nous ne disposons pas d'une vue d'ensemble des transports aériens pour 2026 ; nous ne savons donc pas dans quelle mesure les restrictions de déplacement sont efficaces cette année.

300 3

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 04/10/2026

Wikipédia a une page sur les signes indiquant qu'un texte a été rédigé par une IA en.wikipedia.org/wiki/Wikiped...

en.wikipedia.org

Wikipedia:Signs of AI writing - Wikipedia

000 0

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 03/10/2026

En avril 2025, Amélie Mougey a succédé au fondateur Hervé Kempf à la direction de la rédaction de Reporterre. En mai 2025, le journaliste de Reporterre Vincent Lucchese a reçu le prix du journalisme scientifique de l’année décerné par l’AJSPI, qui a notamment salué sa «grande rigueur»

000 0

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 30/09/2026

Yes je pense son institution doit faire quelque chose ( publier n’importe quoi : ça va être dur de stopper ça)

011 1

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 29/09/2026

Tous ces vieux, comme mon grand-père, qui a pris sa retraite à 55 ans, qui font la leçon aux autres sur ce qu'est le travail et qui vont voter pour Édouard Philippe, qui propose de repousser l’âge de la retraite à 65 ans

000 0

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 28/09/2026

s'il y a trop de données alors ça devient du machine learning

110 1

Reposted by Pтiт Poиeч de Fiиdцs

Alejandra Caraballo @esqueer.net · 27/09/2026

The before and after it's even more haunting.

3529131648 2.9K

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 27/09/2026

Si OpenAI et Anthropic n'ont pas rencontré trop de problèmes juridiques en piratant des millions de livres, ils en auront encore moins en matière de plagiat de travaux de recherche.

030 3

Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 27/09/2026

Le temps prédit de l’athlète est donc d’environ 1 h 24 min 13 s sur semi-marathon.

010 1