Head of get shit done.
Toulouse, France
Joined June 2009
- Tweets1.2K
- Following701
- Followers341
- Likes12.2K
L’audace. C’est publier un repo nommé « Math » contenant des centaines de réponses à des problèmes mathématiques ouverts, certains depuis des décennies, cela simplement sur X. Puis observer la communauté scientifique en extase devant tant de data, de preuves scientifiques qu’il va falloir désormais vérifier, décortiquer, comprendre.
On ne se rend pas compte du bon en avant que les IA nous permettent de faire, dans tous les domaines. La science, la médecine, la robotique, et tous les autres domaines auxquels vous pouvez penser.
Chapeau à l’équipe d’@OpenAI mais aussi à l’ensemble des entreprises tels que @MistralAI @Aleph__Alpha qui contribuent à ces avancées
We’re releasing a broad range of new mathematical results produced by an internal frontier model.
We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results.
github.com/openai/math
🥖🥖🥖
Meet Mistral Large 4, aka Le Chonk.
• 1T parameters, natively multimodal. 49B active.
It is the best open weights model from US or Europe on aggregated benchmarks.
• State-of-the-art on critical workloads, including cyber defense, manufacturing and finance and it surpasses closed frontier models on visual grounding.
• Forged in Europe end-to-end and is deployable from Europe via our own Mistral Cloud infrastructure.
• Available to all via API today. Working with cybersecurity partners privately.
Open weights release end of October.
Ok, perfs are really solid, pricing is crazy good, for 80% of your daily tasks it should be more than enough in combination with frontier models. Can't wait to see what's next with other open weights' providers
I wonder how much 88h of compute time, with 10K agents, fueled with the upmost frontier ai model cost to solve this? Anyway this is a massive achievement and congratulations to the team and persons who worked on this. 👏
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.
Update SaaS #4987
Ça fait une semaine que je le teste en conditions réelles.
Pas des dummy pages.
Des vrais assets de mon job de PMM : messaging, emails, features, deliverables.
Même avec un corpus limité (5 000 profils), les retours sont déjà incroyables et super utiles.
Je m’en sers vraiment pour améliorer et optimiser mes livrables.
Depuis une semaine, j’ai un micro-site + une console web.
Les utilisateurs peuvent créer un compte et récupérer une clé API.
Aujourd’hui :
→ fix sur l’install MCP, pour simplifier l’onboarding
→ décision de passer de 5k à 100k profils
Ça va changer la qualité des cohortes.
Et donc la qualité des simulations.
Quelques collègues l’utilisent déjà.
Les retours sont hyper encourageants.
Avec les changements d’aujourd’hui, je pense en onboarder 5 de plus la semaine pro.
Toujours pas d’UI fancy.
Toujours build avec des modèles IA OSS.
Qui veut tester et lancer quelques simulations sur des assets en cours de build ? 👀
🍀
#buildinpublic
```
Qui a une landing, une page web en cours de refinement que je peux utiliser pour faire tourner une simulation sur votre ICP et vous faire un feedback constructif ?
Update SaaS #4987
Ces derniers jours j’ai beaucoup avancé sur le cœur du système. Surtout sur les templates de prompts fourni via le MCP, pour que les simulations soient vraiment exploitables par mes futurs, hypothétique users.
Objectif initial : +15 % d’actionnabilité vs un simple prompt d'un ICP à un LLM x ou y.
Résultat du benchmark : +42 %.
3 tâches testées (pricing, feature, email).
3/3 gagnées.
Concrètement : ce n’est plus juste “des avis d’IA”.
C’est un rapport dont tu peux te servir pour décider.
Frictions classées, preuves, priorisation, next steps.
Toujours aucune UI.
Toujours focus sur le réacteur.
Toujours build avec des modèles oss, et toujours en mode 0 budget.
Le cœur du système commence à faire vraiment la différence. les feedbacks de l'agent sont incroyables sur l'ensemble des tests que j'ai fait.
Qui d’autre en a marre des feedbacks flous qui ne changent rien, et ne font pas avancer vos produits/feature ? 👀
🍀
#buildinpublic #aisimulation
Can you tell me what’s wrong with my post, for the boost not to work? Is your system broken?
Update SaaS #4987
Aujourd’hui j’ai shippé mon premier test end-to-end.
Dummy header.
5 personas SaaS founders européens ultra-réalistes, sélectionnés précisément selon la description de mon ICP fictif.
5 minutes plus tard :
→ 4/5 positifs
→ 3 frictions majeures sorties noir sur blanc
→ des suggestions de rewrite que je peux appliquer direct
Et non, ce ne sont pas de simples agents IA génériques.
Chaque persona a une personnalité complexe + des caractéristiques très précises.
C’est ça qui change tout.
On peut enfin simuler la vraie réaction de son audience AVANT de parler à de vrais users.
Tu explores une idée, un messaging, un design…
Tu corriges 90 % des conneries en amont.
Tu arrives aux premiers tests réels avec quelque chose de déjà super propre.
Résultat :
• Itérations beaucoup plus rapides
• Deliverables de bien meilleure qualité
• Time-to-value qui s’écrase
Pour l’instant aucune UI.
On focus 100 % sur le réacteur, le cœur du système.
Le repo s’étoffe et le projet avance.
Le moteur commence à répondre.
Toujours build avec des modèles OSS (j’ai poncé Ox Alpha sur @opencode ce matin), toujours en mode low-budget.
Qui d’autre en a marre de découvrir les vraies objections seulement après avoir shippé ? 👀
🍀
Update SaaS #4987
Aujourd’hui j’ai shippé mon premier test end-to-end.
Dummy header.
5 personas SaaS founders européens ultra-réalistes, sélectionnés précisément selon la description de mon ICP fictif.
5 minutes plus tard :
→ 4/5 positifs
→ 3 frictions majeures sorties noir sur blanc
→ des suggestions de rewrite que je peux appliquer direct
Et non, ce ne sont pas de simples agents IA génériques.
Chaque persona a une personnalité complexe + des caractéristiques très précises.
C’est ça qui change tout.
On peut enfin simuler la vraie réaction de son audience AVANT de parler à de vrais users.
Tu explores une idée, un messaging, un design…
Tu corriges 90 % des conneries en amont.
Tu arrives aux premiers tests réels avec quelque chose de déjà super propre.
Résultat :
• Itérations beaucoup plus rapides
• Deliverables de bien meilleure qualité
• Time-to-value qui s’écrase
Pour l’instant aucune UI.
On focus 100 % sur le réacteur, le cœur du système.
Le repo s’étoffe et le projet avance.
Le moteur commence à répondre.
Toujours build avec des modèles OSS (j’ai poncé Ox Alpha sur @opencode ce matin), toujours en mode low-budget.
Qui d’autre en a marre de découvrir les vraies objections seulement après avoir shippé ? 👀
🍀
hello @thdxr i think i encounter a bug. i subscribed to Go less than 2 hours ago, pushed a few prompts mostly leveraging free models yet I hit my limits... which is a bit of a bummer. Can you have a look at the situation please ?
i was using a lot free models this morning with my Zen account, before I reached the limit and then upgrade to a Go plan to continue. Did limits are mixed between services @thdxr ?
Les problèmes commencent… bon j’ai atteint la free limit de @convex en ajoutant par erreur 10K lignes de data dans 2 tables, oups. Bien sûr j’ai corrigé mon erreur mais sachez que le calcul de la limite n’est pas dynamique… bref j’ai upgrade vers un compte starter histoire d’avancer un peu. Mais la team @convex si vous avez un code promo à partager je suis preneur 😉 ou juste reset mon usage.
Idée de SaaS #4987 ! J’ai passé un bon moment à la peaufiner dans ma tête, à imaginer des solutions potentielles et à en discuter avec mes amis pendant les vacances. Maintenant que je suis de retour chez moi, près de mon mac, je suis impatient de donner vie à cette nouvelle idée.
J’aimerais beaucoup partager mon parcours avec vous, comme le fait @totoche, même si je n’ai pas encore son audience (qui sait, peut-être un jour !). Je vais vous parler de mes difficultés (mais aussi m’efforcer d’être plus régulier sur mes projets perso). Oui, j’en aurai plusieurs, et je vais essayer de tout faire avec des modèles oss, car malheureusement, je n’ai pas un budget illimité.
J’ai créé le repo ce matin et push mon mon 1er PR. première étape d’une longue série.
Concernant mon idée. Ça mêle IA et simulation. Le tout fait pour aider les équipes produits et les builders. C’est encore un peu brouillon, mais je suis entrain de tout défricher avec l’aide des skills de @mattpocockuk et notamment de /grill-me
Wish me luck 🍀