Blog & Actualités

Insights & Actualités Tech

Découvrez nos derniers articles sur le développement web, le design et les technologies digitales qui façonnent l'avenir

Recherche pour : "maths"
Effacer les filtres
Un amateur résout un problème d'Erdős vieux de 60 ans avec un seul prompt GPT-5.4

Un amateur résout un problème d'Erdős vieux de 60 ans avec un seul prompt GPT-5.4

Liam Price, 23 ans, mathématicien amateur sans formation avancée, a résolu un problème d'Erdős resté ouvert depuis 60 ans en posant la question à GPT-5.4 Pro un lundi après-midi en avril. Le modèle a tourné 80 minutes pour produire une preuve qui passe la validation du médaillé Fields Terence Tao....

GNU TeXmacs - Écrivez vos équations comme dans Word

GNU TeXmacs - Écrivez vos équations comme dans Word

Ah, LaTeX... Si vous avez un jour essayé de poser 3 équations dans un document sérieux, vous voyez le genre de galère que c'est. Le rendu est magnifique, les maths sont propres, mais faut d'abord digérer son langage de markup avant de réussir à imprimer la moindre intégrale. Heureusement, c'est là...

Apfel - Le LLM caché de votre Mac enfin libéré

Apfel - Le LLM caché de votre Mac enfin libéré

J'sais pas si vous saviez mais Apple a planqué un LLM dans votre Mac et ne veut pas que vous y touchiez... enfin, pas directement. En effet, leur modèle est là, intégré au système via le framework FoundationModels, il tourne sur le Neural Engine sans connexion internet mais Apple l'a verrouillé...

Momentous, l'app qui transforme chaque minute en cours de maths

Momentous, l'app qui transforme chaque minute en cours de maths

Un développeur indépendant a créé une horloge qui affiche des anecdotes mathématiques pour chaque minute de la journée, de 00h00 à 23h59. Nombres premiers, suite de Fibonacci, décimales de Pi ou de e... Momentous est gratuite, disponible sur le Web et sur iPhone . Un projet passion assumé, puisque...

Dire à une IA qu'elle est experte la rend moins performante

Dire à une IA qu'elle est experte la rend moins performante

Des chercheurs de l'université de Californie du Sud viennent de publier une étude improbable : demander à un modèle d'IA de jouer les experts dégrade ses performances sur les tâches factuelles. Commencer un prompt par "Tu es un expert en programmation" produit de moins bons résultats que...

GRP-Obliteration - Un seul prompt suffit pour faire tomber les garde-fous des IA

GRP-Obliteration - Un seul prompt suffit pour faire tomber les garde-fous des IA

Les garde-fous de votre IA locale, ils tiennent à quoi ? Hé bien, ils tiennent à UN seul prompt mes amis. Oui, UN SEUL ! Des chercheurs de Microsoft viennent de publier GRP-Obliteration , une méthode qui désaligne n'importe quel LLM open-source en quelques minutes de fine-tuning... et le mieux,...

C'est prouvé : Le vibe coding va tuer l'open source

C'est prouvé : Le vibe coding va tuer l'open source

Une équipe de chercheurs en économie vient de poser des maths sur un truc que pas mal de devs sentaient venir... Le vibe coding serait en train de tuer l'open source. Pas au sens figuré, hein. Au sens "les mainteneurs ne pourront bientôt plus payer leurs factures". J'ai parcouru le papier...

Helix 02 - Le robot qui vide votre lave-vaisselle pour de vrai

Helix 02 - Le robot qui vide votre lave-vaisselle pour de vrai

Vous vous souvenez peut-être de Figure 01 qui nous avait tous bluffés l'année dernière en se faisant couler un petit café (qui a dit "dans sa couche ??) ? Hé bien, la startup Figure AI ne chôme pas (contrairement à nous le vendredi matin) puisqu'elle vient de dévoiler son Helix 02, la nouvelle...

Les contrôles parentaux sont-ils une arnaque conçue pour vous épuiser ?

Les contrôles parentaux sont-ils une arnaque conçue pour vous épuiser ?

Vous voulez protéger vos enfants sur internet ? Cool. Préparez-vous à configurer 17 paramètres sur la Nintendo Switch, 29 réglages différents pour Minecraft (sur un site web séparé, évidemment), et à lire 572 articles de blog pour comprendre comment fonctionne le téléphone "sécurisé" que...

Quand l’IA pollue les forums de maths

Quand l’IA pollue les forums de maths

Les sites spécialisés sont confrontés à un afflux de « contributions » nourries par des intelligences artificielles.

The Download: introducing the AI Hype Correction package

The Download: introducing the AI Hype Correction package

This is today’s edition of The Download, our weekday newsletter that provides a daily dose of what’s going on in the world of technology. Introducing: the AI Hype Correction package AI is going to reproduce human intelligence. AI will eliminate disease. AI is the single biggest, most...