open source
20 published articles
IA de télédétection
Des tokens plus intelligents réduisent de trois fois les coûts de l'IA satellitaire sans perte de précision
OlmoEarth v1.1 d'Ai4earth réduit les coûts de calcul jusqu'à 3x par rapport à v1 pour l'analyse d'images satellitaires, en utilisant une technique de fusion de tokens plus intelligente qui maintient les performances. Les modèles mis à jour permettent des mises à jour de cartes à l'échelle planétaire moins coûteuses pour les organisations partenaires.
2026-07-13
Lean 4
Leanstral 1.5 prouve que les anciennes règles de tarification de l'IA ne s'appliquent pas aux mathématiques
Le Leanstral 1.5, un modèle à 6 milliards de paramètres actifs, sature miniF2F, résout 587 problèmes de PutnamBench et découvre 5 bugs non signalés auparavant dans des dépôts open-source. À environ 4 $ par problème, il sous-cote Seed-Prover de 75 fois et Aleph Prover de 15 fois, remettant en question l'hypothèse selon laquelle la vérification formelle nécessite des budgets de calcul massifs.
2026-07-12
Open Source
Ai2 a ouvert tous les tiroirs du cabinet de l'IA, voici ce qu'il y a dedans
Ai2 publie Olmo 3, une famille de modèles entièrement ouverts de 7B à 32B paramètres, incluant les données d'entraînement, le code et les outils. La publication met l'accent sur la transparence à travers l'ensemble du cycle de vie du modèle, depuis les données de pré-entraînement jusqu'aux pipelines de post-entraînement, établissant une nouvelle norme pour la recherche ouverte en IA.
2026-07-11
Infrastructure Open Source
Votre pipeline de recherche IA est cassé. Ce framework open-source répare la plomberie.
Les équipes construisant une infrastructure de recherche IA passent encore trop de temps sur la plomberie. Search Toolkit unifie l'ingestion, la récupération et l'évaluation dans un seul framework open-source, éliminant les semaines de travail d'intégration nécessaires pour assembler des outils séparés. Il est conçu pour des cas d'utilisation d'entreprise tels que la qualité RAG, la récupération spécifique à un domaine et la recherche agentique.
2026-07-11
Agents IA
OpenManus vient de tuer le mur d'invitation pour les agents IA. Voici comment l'exécuter en dix minutes.
OpenManus est un framework open source d'agents IA que tout le monde peut installer et exécuter immédiatement : pas de code d'invitation, pas de gadgets, juste un environnement Python et une clé API. Voici pourquoi vous en avez besoin.
2026-07-11
Robotique Open Source
LeRobot v0.6.0 imagine le futur pendant l’entraînement, puis rend l’inférence gratuite
LeRobot v0.6.0 introduit des politiques de modèle de monde qui imaginent le futur pendant l’entraînement et disparaissent à l’inférence, une nouvelle API de récompenses, six benchmarks de simulation et un chargement de données plus rapide. Le framework vise à démocratiser l’apprentissage robotique avec un code plus léger et des options d’entraînement dans le cloud.
2026-07-11
Rapport spécial
Le pari open source de Meta AI vient de briser le modèle économique de ses concurrents
Mark Zuckerberg dépense des milliards dans un pari : que la meilleure façon de construire l'IA est de la donner. Voici l'histoire du laboratoire qui mène la charge, les personnes, la philosophie et le débat qui ne s'éteint pas.
2026-07-10
Intelligence artificielle
Le nouveau modèle audio de Nvidia fait cinq choses à la fois et bat les spécialistes sur leur propre terrain
Audex de Nvidia unifie la compréhension audio, la génération et le raisonnement textuel en un seul modèle, égalant ou battant les systèmes spécialisés dans les benchmarks de parole et d'audio sans sacrifier les performances textuelles.
2026-07-09
Intelligence Artificielle
DeepSeek-OCR 2 : Le Flux Causal Visuel s'ouvre à la compréhension open-source des documents
DeepSeek-OCR 2 introduit le flux causal visuel pour un encodage visuel de type humain. Désormais open source sur GitHub, le modèle prend en charge vLLM et Transformers, une résolution dynamique (jusqu'à 1 216 tokens visuels) et la conversion document-vers-markdown.
2026-07-09
Intelligence Artificielle
Kimi K2.7 Code est plus rapide et moins cher. Mais le codage open-source vient de se heurter à un mur appelé GPT-5.5.
Le Kimi K2.7 Code de Moonshot AI réalise des gains importants sur les tâches de codage à long horizon avec 30 % de gaspillage de jetons en moins. Pourtant, GPT-5.5 et Claude Opus 4.8 restent en tête sur les principaux benchmarks, soulignant les compromis réels des décisions open-source.
2026-07-09
Évaluation de modèles
Olmo-eval d’Ai2 offre aux développeurs de LLM un microscope pour chaque point de contrôle
Olmo-eval d’Ai2 apporte des différences par question et des benchmarks modulaires au développement actif de LLM, aidant les chercheurs à distinguer les progrès réels du bruit statistique.
2026-07-06
Médecine génomique
Talos montre qu'une réanalyse automatisée du génome peut fournir de nouveaux diagnostics en semaines, pas en années
Talos redéfinit la réanalyse génomique comme un programme continu et automatisé plutôt qu'un événement manuel rare. Sur une cohorte prospective de 4 735 patients non diagnostiqués, il a produit 241 nouveaux diagnostics (5,1 % de rendement supplémentaire) en quelques semaines après la publication de nouvelles preuves, tout en exigeant des analystes qu'ils n'examinent qu'un seul nouveau variant pour 200 patients par mois.
2026-07-05