SevenTnewSL'actu IA & tech, expliquée

open source

74 published articles

IAFeatured2 min read

File over config

Vercel publie Eve 0.22, un framework basé sur le système de fichiers pour construire des agents IA

Eve 0.22.6 de Vercel apporte une structure basée sur le système de fichiers au développement d'agents IA : instructions, outils, compétences et intégrations vivent sous forme de fichiers inspectables, avec prise en charge multi-modèle, invites avec intervention humaine et orchestration de sous-agents.

2026-07-14

IA1 min read

Funding round

Ollama lève 88 millions de dollars pour promouvoir les modèles ouverts comme alternative aux API propriétaires

Ollama a levé 88 millions de dollars pour développer sa plateforme d'exécution locale de modèles à poids ouverts, citant 8,9 millions de développeurs et une utilisation par 85 % des entreprises du Fortune 500. Les investisseurs incluent Benchmark, Theory Ventures, 8VC et Y Combinator, avec le fondateur de Docker, Solomon Hykes, comme conseiller.

2026-07-14

LLM & Modèles4 min read

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

LLM & Modèles5 min read

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 Source4 min read

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

LLM & ModèlesFeatured4 min read

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 IA3 min read

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

Open Source5 min read

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

Meta AI8 min read

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

DeepSeek2 min read

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

LLM & Modèles3 min read

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

IA3 min read

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

← PreviousPage 5 / 7 · 74 articlesNext →