Mickaël Ahouansou @optimikee

Je fais partie d'un groupe où nous sommes plus de 200 entrepreneurs qui essayons d'utiliser l'IA pour créer ou apporter des choses intéressantes à nos compatriotes. Nous y parlons d'intelligence artificielle tous les jours et je vous invite vivement à nous rejoindre si le cœur vous en dit pour constater la réalité du terrain avec ceux qui essayent de construire autour de ces technologies. Pardon mais quand vous œuvrez dans cet environnement, vous voyez bien qu’aucun des fournisseurs que vous êtes amené à utiliser n'est européen. J'ai l'impression que vous vivez dans un monde où les services numériques seraient servis par de grands acteurs auréolés, parce que ça n'a jamais existé. On est passé à côté de la révolution numérique. Et on suit exactement la même tendance avec l'intelligence artificielle. Je ne sais pas d'où vous tenez vos certitudes, parce que les chiffres ne vous donnent pas raison. Et il n'y a pas d'IA dans ma réponse.

Vous me demandez « quel retard ? » juste après que je vous en ai donné deux mesures précises. Allons au bout. En 2025, la sélection d’Epoch AI utilisée par Stanford comptait 59 modèles d’IA « notables » produits aux États-Unis, 35 en Chine et seulement 2 en Europe. Ce n’est pas un recensement de tous les modèles existants. Cette sélection retient ceux qui ont marqué l’état de l’art, l’histoire du domaine ou la recherche. En mars 2026, le groupe de tête du classement Arena cité par Stanford réunissait Anthropic, xAI, Google, OpenAI, Alibaba et DeepSeek. Aucun laboratoire européen. Mistral est un excellent acteur qu’il faut soutenir. Mais un seul champion, encore absent de ce groupe de tête, ne suffit pas à combler un retard continental. La Commission européenne parle elle-même, je cite, d’un « déficit critique » d’infrastructures de calcul à grande échelle, qui menace notre compétitivité et notre autonomie stratégique. Les milliards annoncés en France et en Europe, ainsi que les futures gigafactories, sont précisément des plans de rattrapage. Leur existence confirme le retard qu’ils cherchent à combler. Vous changez alors de sujet en évoquant un possible crash financier. Une bulle américaine et un retard européen peuvent parfaitement coexister. La première concerne la rentabilité future des investissements. Le second concerne ceux qui possèdent aujourd’hui les meilleurs modèles, le calcul, les infrastructures et les écosystèmes. Et si une partie de la bulle éclate, les GPU, les centres de données et les équipes de recherche ne seront pas magiquement transférés en Europe. Vous pouvez contester les indicateurs, les chiffres ou mon interprétation avec d’autres sources. Mais « faut pas dire nimp » n’est ni un chiffre ni une réfutation. Le sujet est assez simple : l’Europe doit réguler l’IA tout en construisant les capacités nécessaires pour la maîtriser. Jusqu’ici, elle est allée beaucoup plus vite sur les règles que sur les modèles, le calcul et les infrastructures. Voilà les choux et les carottes que vous mélangez allègrement depuis le début.

@lanoixdu24 Ah ouais... Il faut juste trouver le temps de dormir ensuite 😅

Chaque jour sans accès à Astra sur ton abonnement payant = un reset mis en banque pour plus tard. Le retard de déploiement devient littéralement un compteur de resets en ta faveur. C’est complètement fou 🤯

Tibo @thsottiaux

19 hours ago

We will give one banked reset for every day you don't have access to Astra on your paid ChatGPT plan, starting today. Team is moving mountains to give access as fast as we can. First one will land in ~ 3 hours. There is still time to create your account if you don't have one.

6K 3K 47K 7.6M 4K

@santoshskm Hé, hé, pareil. On aiguise les couteaux pour Astra...

Vous avez raison, réguler ne veut pas dire abandonner. Mais le message auquel je réponds appelle littéralement à désarmer l’IA. La Commission européenne proposait déjà l’AI Act en avril 2021, dix-neuf mois avant ChatGPT. Cette avance réglementaire ne s’est pas accompagnée de la même puissance industrielle. En 2025, l’investissement privé dans l’IA a atteint 285,9 milliards de dollars aux États-Unis, contre 4,36 milliards en France. En 2024, les États-Unis avaient produit 40 modèles d’IA notables, l’Europe seulement 3. Les 109 milliards d’euros d’infrastructures annoncés en France sur plusieurs années vont enfin dans le bon sens. Mais ils arrivent pour rattraper un retard grandissant que chaque nouveau modèle rend plus visible. Je défends donc la régulation, l’investissement et la capacité de construire. Désarmer alors que nous ne sommes déjà pas à la hauteur, c’est accepter de dépendre de ceux qui le sont, encore une fois.

@FegaPierre J’aime beaucoup l’idée d’équipage, des humains et des IA capables d’explorer, de formaliser et de se contredire. Perso, il me manque encore un membre à bord, c’est le major Astra 😅

Un mathématicien dit pouvoir se concentrer entièrement sur l’idéation et l’exploration pendant qu’Astra formalise et vérifie ses preuves dans Lean. Si cette boucle tient à l’échelle, elle peut accélérer notre capacité à résoudre des tonnes de problèmes difficiles. Ça donne le vertige.

Bartosz Naskręcki @nasqret

21 hours ago

I tested GPT-Astra on mathematics. It's a quantum leap. You can talk with the model and prove the statements live in Lean. The feeling is absolutely stunning. You can verify your ideas, compile truth. For a mathematician it feels like finally we arrived in the era where we can

keyboard_arrow_left Previous keyboard_arrow_right Next

93 558 4K 453K 2K

@iamsupersocks Moi, je regarde la vidéo et je pète un câble. Puis je me dis que je devrais peut-être filmer ça. Depuis, je rafraîchis mon sélecteur de modèles toutes les 30 secondes. Hors de question de monter la vidéo moi-même 😂

Ben Davis regarde Astra bosser dans Final Cut, pète un câble… puis lui fait monter la vidéo de son pétage de câble

Ben Davis @davis7

13 hours ago

Just had a new holy shit moment with GPT-6 Astra... Asked it to setup the vid I just recorded in Final Cut (import clips, color grading, sync clips, etc.) to get ready to edit Hadn't actually watched it work like this live before, below is the live reaction from me + my editor

68 85 2K 191K 844

Pas tout à fait d’accord mon cher PEF. Prenons ARC AGI, je partage la réserve sur le 99,9 % : il mesure Astra + le Provider Adapter. Mais le score de 62,7 % obtenu avec le harnais standard reste difficile à écarter : il fait plus que doubler le précédent record vérifié. @GregKamradt : « Astra achieves high scores without a heavy client-side harness. » @fchollet : « Harness capabilities are increasingly shifting into the model itself. » Le Provider Adapter explique une grande partie du bond de 62,7 à 99,9 % en conservant l’état de raisonnement et en compactant le contexte. Les modèles symboliques, la notation et les plans observés dans les traces viennent, eux, d’Astra. On mesure donc bien un système complet mais un système dont le modèle semble désormais internaliser une partie du travail autrefois confié au harnais. Le plafond de l’attention reste une hypothèse. ARC-AGI-3 ne permet pas de la conclure. Analyse officielle : arcprize.org/blog/astra

For the record: I don't think any open model does this in the next 18 months. They won't even try. They can't. DeepSeek may know how, but won't have the compute.

FateOfMuffins @FateOfMuffins

19 hours ago

@RyanGreenblatt Ryan have you seen this? Astra (NONE) scores higher than 5.6 Sol Pro (Max) on FrontierMath T4

8 6 155 66K 38

@marcvallee13 mdrrr

@thsottiaux Me every morning Astra still isn’t available, watching my reset portfolio compound:

The mental model for Fable and Astra class models is that you are delegating to a good outside team, not an intern. Can you say what you want & how much leeway the AI has? Can you specify what you want tested & when to come to you for help? Can you describe what good looks like?

GPT-6 Astra vient de frôler le score parfait sur ARC-AGI-3 Semi-Private. Son meilleur run atteint 99,9 % avec l’adapter fourni par OpenAI, en mode High. À effort de raisonnement égal, en mode Max, Astra obtient 62,7 % avec le harness standard et 98,6 % avec l’adapter. 35,9 points d’écart. Dans cette configuration, Astra utilise aussi moins d’actions que la médiane humaine sur 96 % des niveaux. Dans les replays analysés par ARC Prize, Astra construit une représentation symbolique de travail. En clair, il convertit ce qu’il voit en éléments qu’il peut suivre et manipuler pour décider quoi tester ensuite. Il suit les objets, leurs positions, leur orientation et les règles du jeu. Il transforme les pixels en cellules logiques, garde les découvertes utiles, élimine les hypothèses qui échouent et révise son plan sans reprendre toute l’exploration. L’adapter lui permet de garder ce fil d’une requête à l’autre en préservant son état de raisonnement et en compactant le contexte. Le score porte donc sur le système complet, avec le modèle, la continuité entre les requêtes et la gestion du contexte. C’est juste énorme. ARC-AGI-3 reste composé de jeux courts, déterministes et fermés. François Chollet estime le coût à environ 360 $ par partie. Ce résultat ne démontre toutefois ni l’AGI ni une capacité générale dans le monde réel. Dans la recherche, il faut souvent représenter un système encore mal compris, formuler une hypothèse, la tester, puis corriger le modèle de départ. ARC-AGI-3 montre cette boucle dans un monde fermé. Le cap suivant sera de la retrouver face à un système où personne ne connaît encore la bonne représentation et où l’expérience elle-même doit être conçue.

ARC Prize @arcprize

23 hours ago

GPT-6 Astra by @OpenAI achieves SOTA on ARC-AGI: - Astra scores 63% on ARC-AGI-3, 99% via a new provider adapter harness - It surpasses human performance on 96% of ARC-AGI-3 levels - It builds the most precise symbolic model of novel environments we've seen Our analysis:

117 390 3K 1.0M 635

@BuildWithManu Sur ses formulations en Lean ? Je crois qu’on est deux 😂

@iamsupersocks Arc AGI 4 pas avant début d’année pro 😅 6 mois d’avance sur leur prévision de saturation Chez Arc AGI 🔥🔥

@DCaussinus

Ça y est, l’AGI : Artificial Global Incident 😂

Tibo @thsottiaux

a day ago

@scaling01 Rumor has it that when we go down, so much traffic has to be absorbed by the rest that they all go down.

239 121 6K 376K 202