DeepSeek a dévoilé Prover-V2, une IA open source qui fusionne raisonnement mathématique informel et démonstration de théorèmes. Avec ses 671 milliards de paramètres, elle atteint un taux de réussite impressionnant de 88,9 % sur le benchmark MiniF2F. Particularité : elle
LLMS
-
Alibaba Qwen Team Launches Qwen3 Series with MoE and Dense Models
By
–
L’équipe Qwen d’Alibaba a lancé la nouvelle série Qwen3, composée de 2 modèles MoE (Mixture of Experts) et 6 modèles denses. https://
youtu.be/GIQxA1610yE -
Amazon Unveils Nova Premier Its Most Powerful AI Model Yet
By
–
Amazon a levé le voile sur Nova Premier, son modèle d’IA le plus puissant à ce jour : — Il est capable de gérer des tâches complexes, mais aussi de jouer le rôle de “professeur” pour affiner des modèles plus petits.
— C’est un modèle multimodal avec une capacité de contexte -
Microsoft Unveils Phi-4 Reasoning AI Models Outperforming OpenAI o1-mini
By
–
Microsoft has struck hard by unveiling three new AI models focused on reasoning, named Phi-4: — The main model, Phi-4-reasoning (14B), outperforms OpenAI's o1-mini on benchmarks.
— The Phi-4-mini-reasoning (3.8B), despite its small size, rivals models twice as large on math -
OpenAI Rolls Back Sycophantic GPT-4o Update, Improves Search
By
–
OpenAI a annoncé deux mises à jour majeures cette semaine :
— VISION IA (@vision_ia) 5 mai 2025
— D’abord, une modification du "caractère" de GPT-4o, qui l’a rendu trop flatteur et complaisant… à tel point qu’ils ont finalement fait marche arrière.
— Ensuite, une série d’améliorations pour la recherche dans… pic.twitter.com/XY1PBjT22gOpenAI a annoncé deux mises à jour majeures cette semaine : — D’abord, une modification du "caractère" de GPT-4o, qui l’a rendu trop flatteur et complaisant… à tel point qu’ils ont finalement fait marche arrière.
— Ensuite, une série d’améliorations pour la recherche dans -
Weekly AI and Robotics Roundup: Meta, OpenAI, Google and More
By
–
Progrès majeurs en intelligence artificielle et en robotique cette semaine. Résumé de toutes les annonces de Meta, OpenAI, Microsoft, Amazon, Google, DeepSeek, Alibaba, Baidu, et bien d’autres. Voici tout ce que vous devez savoir, et comprendre tout ça :
-
Meta LlamaCon: Free API, AI App, and Safety Tools Announced
By
–
Meta a organisé sa toute première conférence LlamaCon dédiée aux développeurs et a fait une avalanche d'annonces, dont :
— VISION IA (@vision_ia) 5 mai 2025
— Un aperçu gratuit de l’API Llama
— Une application "Meta AI" façon ChatGPT avec un fil Discover
— Lama Guard 4 (12B), LlamaFirewall et Prompt Guard pour la… pic.twitter.com/K6KWpaBxqkMeta a organisé sa toute première conférence LlamaCon dédiée aux développeurs et a fait une avalanche d'annonces, dont : — Un aperçu gratuit de l’API Llama
— Une application "Meta AI" façon ChatGPT avec un fil Discover
— Lama Guard 4 (12B), LlamaFirewall et Prompt Guard pour la -
Cisco’s Foundation-Sec-8B Matches GPT-4o-mini on Security Tasks
By
–
Cisco's Foundation AI released Foundation-Sec-8B on HF Built on Llama 3.1, the LLM matches Llama 3.1-70B & GPT-4o-mini on multiple security tasks It will help with use cases like threat detection, vulnerability assessment, security automation, and more
-
Google’s Gemini 2.5 Pro Completes Pokémon Blue Game
By
–
Google's Gemini 2.5 Pro just completed Pokémon Blue!
— Rowan Cheung (@rowancheung) 5 mai 2025
An independent software engineer live-streamed the game after taking inspiration from the (still unsuccessful) Claude Plays Pokémonpic.twitter.com/PFvQAebyEvGoogle's Gemini 2.5 Pro just completed Pokémon Blue! An independent software engineer live-streamed the game after taking inspiration from the (still unsuccessful) Claude Plays Pokémon
-
Apple Partners with Anthropic for AI Vibe Coding Platform in Xcode
By
–
Apple is said to be partnering with Anthropic for an AI 'vibe coding' platform The offering, powered by a Claude Sonnet model, will automate writing, editing, and testing code within Apple’s Xcode software Launch timeline still remains unclear!