Le jalon mathématique d'OpenAI, 'Le Chonk' de Mistral et le financement de 15 milliards de dollars de DeepSeek
OpenAI publie 722 manuscrits mathématiques générés par un modèle non dévoilé, Mistral dévoile son modèle 'Le Chonk' de 1 000 milliards de paramètres, et DeepSeek vise un tour de financement de 15 milliards de dollars. Pendant ce temps, Anthropic étend son programme de vérification cybernétique et publie les détails de son introduction en bourse, tandis que les leaders de l'industrie soutiennent un nouveau protocole d'agent personnel.
Podcast В· 2 min
OpenAI publie 722 manuscrits mathématiques d'un modèle non dévoilé
OpenAI a publié 722 manuscrits de recherche mathématique générés par un modèle de pointe non dévoilé. La collection couvre 372 familles de résultats dans des domaines comme la théorie des nombres, l'informatique et la physique. Chaque résultat a nécessité environ trois heures de temps de calcul ChatGPT Pro. Notamment, de nombreuses preuves incluent des formalisations Lean, permettant une vérification mécanique des étapes logiques, ce qui répond au défi crucial de garantir que les preuves générées par l'IA sont mathématiquement valides. OpenAI a consulté le groupe consultatif mathématiques-et-IA de l'Institute for Advanced Study pour cette publication et prévoit de financer d'autres ateliers pour valider ces résultats.
Mistral AI lance 'Le Chonk' (Large 4)
Le laboratoire d'IA français Mistral AI a présenté Large 4, un modèle ouvert de 1 000 milliards de paramètres surnommé 'Le Chonk'. L'entreprise affirme que le modèle devance largement les systèmes ouverts non chinois, en particulier dans les benchmarks de cybersécurité et juridiques. Mistral rapporte que le modèle a obtenu un score de 82 % à un test de bogues avec lequel d'autres modèles de pointe ont eu du mal. Bien que les poids soient prévus pour une publication publique le 27 octobre, les experts en cybersécurité et les agences gouvernementales bénéficient d'une période d'aperçu de trois semaines.
Le tour de financement de DeepSeek pourrait atteindre 15 milliards de dollars
CNBC rapporte que le laboratoire d'IA chinois DeepSeek lève actuellement un nouveau tour de financement qui pourrait valoriser l'entreprise jusqu'à 15 milliards de dollars. Cette injection de capitaux significative souligne le rythme rapide du développement dans le secteur chinois de l'IA et la concurrence mondiale intense pour les ressources et les parts de marché parmi les laboratoires de modèles de pointe.
Le prospectus d'introduction en bourse d'Anthropic révèle la rémunération des dirigeants
Le prospectus d'introduction en bourse d'Anthropic a été rendu public, détaillant la rémunération des dirigeants pour 2025. Le PDG Dario Amodei a gagné 18 millions de dollars et la présidente Daniela Amodei a gagné 16,4 millions de dollars, la majorité de ces packages étant constituée d'actions et d'options. Les deux dirigeants ont vu leurs salaires de base augmenter à 1,4 million de dollars à compter de juillet 2026, offrant un rare aperçu de la structure financière d'un laboratoire d'IA de premier plan se préparant aux marchés publics.
Données a16z : Les 1 % des utilisateurs d'IA dépensent 903 $ par mois
De nouvelles données d'a16z révèlent que les 1 % des utilisateurs d'IA payants dépensent en moyenne 903 $ par mois pour les services d'IA. Cette cohorte représente 19,5 % des dépenses totales des consommateurs en IA, dépassant les dépenses combinées des 50 % d'utilisateurs les plus bas. Cela met en évidence une disparité significative dans l'intensité d'utilisation et la volonté de payer parmi les adopteurs d'IA les plus actifs.
Les leaders de l'industrie soutiennent le protocole d'agent personnel
Un consortium comprenant Meta, Sierra, Stripe, Shopify et Walmart a annoncé son soutien à un 'Protocole d'agent personnel' ouvert. L'initiative vise à créer un cadre standardisé pour autoriser les agents d'IA, permettant aux individus d'accorder des permissions tandis que les entreprises définissent les limites opérationnelles de ces agents. Cet effort collaboratif cherche à répondre au besoin croissant de gouvernance à mesure que les agents autonomes s'intègrent davantage dans les flux de travail des entreprises et des consommateurs.
Hark lance un assistant IA proactif
Hark, une startup d'IA fondée par Brett Adcock de Figure AI, a publié 'Hark Pro'. L'assistant est conçu pour être proactif, capable de faire des recherches, des achats, des réservations et de gérer des tâches sur les plateformes web et mobiles. Le système utilise 'Handoff', un environnement informatique basé sur le cloud qui peut gérer jusqu'à 36 navigateurs simultanément. L'entreprise a également annoncé son intention de publier une famille d'appareils matériels en 2027, soutenue par un partenariat de connectivité avec AT&T.
Anthropic étend le programme de vérification cybernétique
Anthropic a étendu son programme de vérification cybernétique, accordant aux défenseurs de la cybersécurité vérifiés un accès plus large à ses modèles les plus performants. Cette extension fait suite à des rapports indiquant que les partenaires ont réussi à identifier au moins 129 000 vulnérabilités logicielles vérifiées à l'aide des modèles, démontrant l'utilité de l'IA de pointe dans la détection proactive des menaces et la défense.