Découvrez des outils AI de qualité
Rassemblez les principaux outils d'intelligence artificielle du monde pour aider à améliorer l'efficacité du travail
Articles publiés par RogerLopez
Anthropic's Claude a fait progresser l'hypothèse de Riemann en vérifiant 67,25 % des zéros de la fonction zêta sur la droite critique. Le mathématicien Youness Lamzouri a affiné la preuve à l'aide d'inégalités dans les espaces de Hilbert, qu'AxiomProver a instantanément vérifiées dans Lean. Cette collaboration entre l'homme et l'intelligence artificielle a accéléré la vérification formelle, marquant un passage d'un examen manuel à des mathématiques vérifiées par machine et faisant progresser les travaux sur la conjecture des nombres premiers jumeaux.
Anthropic's Claude a fait progresser l'hypothèse de Riemann en vérifiant 67,25 % des zéros de la fonction zêta sur la droite critique. Le mathématicien Youness Lamzouri a affiné la preuve à l'aide d'inégalités dans les espaces de Hilbert, qu'AxiomProver a instantanément vérifiées dans Lean. Cette collaboration entre l'homme et l'intelligence artificielle a accéléré la vérification formelle, marquant un passage d'un examen manuel à des mathématiques vérifiées par machine et faisant progresser les travaux sur la conjecture des nombres premiers jumeaux.
Mistral AI a lancé Shieldstral, un modèle de modération de contenu à poids ouvert doté de 3 milliards de paramètres, sous licence Apache 2.0. Il fonctionne sur un seul GPU de 16 Go, prend en charge 12 langues et affiche des performances en matière de sécurité rivalisant avec celles de modèles sept fois plus volumineux, atteignant ainsi l'état de l'art (SOTA) dans le domaine de la modération multimodale. Sa conception unique intègre des règles de modération dans les données d'entrée, en utilisant des questions binaires pour générer un score de sécurité calibré.
Mistral AI a lancé Shieldstral, un modèle de modération de contenu à poids ouvert doté de 3 milliards de paramètres, sous licence Apache 2.0. Il fonctionne sur un seul GPU de 16 Go, prend en charge 12 langues et affiche des performances en matière de sécurité rivalisant avec celles de modèles sept fois plus volumineux, atteignant ainsi l'état de l'art (SOTA) dans le domaine de la modération multimodale. Sa conception unique intègre des règles de modération dans les données d'entrée, en utilisant des questions binaires pour générer un score de sécurité calibré.
Le compte officiel WeChat a lancé une fonctionnalité de mise en forme en un clic basée sur l'IA, destinée aux créateurs de contenu. Celle-ci optimise automatiquement la structure des paragraphes, génère des styles de sous-titres et ajuste la disposition des images, notamment en convertissant plusieurs images en carrousel. Deux styles et des couleurs personnalisables sont disponibles, ce qui permet de gagner du temps par rapport à l'édition manuelle.
Le compte officiel WeChat a lancé une fonctionnalité de mise en forme en un clic basée sur l'IA, destinée aux créateurs de contenu. Celle-ci optimise automatiquement la structure des paragraphes, génère des styles de sous-titres et ajuste la disposition des images, notamment en convertissant plusieurs images en carrousel. Deux styles et des couleurs personnalisables sont disponibles, ce qui permet de gagner du temps par rapport à l'édition manuelle.
Meta teste actuellement StoryKit, une application basée sur l'IA qui génère des histoires personnalisées pour les enfants avant le coucher à partir de photos de leurs jouets. Elle intègre des filtres de sécurité et ne comporte aucune fonctionnalité sociale, mais soulève des inquiétudes quant au risque de se substituer à l'interaction entre parents et enfants.
Meta teste actuellement StoryKit, une application basée sur l'IA qui génère des histoires personnalisées pour les enfants avant le coucher à partir de photos de leurs jouets. Elle intègre des filtres de sécurité et ne comporte aucune fonctionnalité sociale, mais soulève des inquiétudes quant au risque de se substituer à l'interaction entre parents et enfants.
La société Hub, soutenue par Hellman Friedman, prévoit une introduction en bourse visant à lever jusqu’à 3 milliards de dollars, ce qui en ferait l’une des plus importantes opérations sur le marché des capitaux ces derniers temps. Les préparatifs avancent rapidement, bien que les détails concernant le calendrier restent inconnus.
La société Hub, soutenue par Hellman Friedman, prévoit une introduction en bourse visant à lever jusqu’à 3 milliards de dollars, ce qui en ferait l’une des plus importantes opérations sur le marché des capitaux ces derniers temps. Les préparatifs avancent rapidement, bien que les détails concernant le calendrier restent inconnus.
Le gouvernement américain assouplit les restrictions imposées à la société d’IA Anthropic, lui permettant ainsi de rétablir l’accès à son modèle Fable 5 après une interdiction de deux semaines imposée le 12 juin par la réglementation en matière de contrôle des exportations. Anthropic a déjà obtenu l’autorisation de remettre le modèle Mythos 5 à la disposition d’organisations américaines de confiance. Fable 5, un modèle destiné à un public plus large, devrait faire son retour à mesure que les discussions se poursuivent, reflétant ainsi un équilibre politique entre le contrôle des technologies d’IA et la sécurité nationale.
Le gouvernement américain assouplit les restrictions imposées à la société d’IA Anthropic, lui permettant ainsi de rétablir l’accès à son modèle Fable 5 après une interdiction de deux semaines imposée le 12 juin par la réglementation en matière de contrôle des exportations. Anthropic a déjà obtenu l’autorisation de remettre le modèle Mythos 5 à la disposition d’organisations américaines de confiance. Fable 5, un modèle destiné à un public plus large, devrait faire son retour à mesure que les discussions se poursuivent, reflétant ainsi un équilibre politique entre le contrôle des technologies d’IA et la sécurité nationale.
L'outil d'IA NotebookLM de Google réduit les erreurs de l'IA en générant des réponses à partir exclusivement de documents fournis par l'utilisateur. Il fonctionne comme un système RAG avancé, structurant les connaissances pour permettre des mises à jour continues et simplifiant l'interaction avec l'utilisateur, qui se limite à télécharger des documents et à effectuer des requêtes.
L'outil d'IA NotebookLM de Google réduit les erreurs de l'IA en générant des réponses à partir exclusivement de documents fournis par l'utilisateur. Il fonctionne comme un système RAG avancé, structurant les connaissances pour permettre des mises à jour continues et simplifiant l'interaction avec l'utilisateur, qui se limite à télécharger des documents et à effectuer des requêtes.
Les autorités de régulation financières britanniques évaluent d'urgence les risques liés à la cybersécurité posés par le nouveau modèle d'IA d'Anthropic, « Claude Mythos Preview », qui contiendrait, selon certaines informations, des milliers de failles logicielles critiques. La Banque d'Angleterre et d'autres autorités informent actuellement les grandes banques et les assureurs. Des préoccupations similaires ont donné lieu à des discussions entre le Trésor américain et Wall Street. Anthropic précise que ce modèle est utilisé dans le cadre d'un projet contrôlé dédié à la recherche en matière de sécurité.
Les autorités de régulation financières britanniques évaluent d'urgence les risques liés à la cybersécurité posés par le nouveau modèle d'IA d'Anthropic, « Claude Mythos Preview », qui contiendrait, selon certaines informations, des milliers de failles logicielles critiques. La Banque d'Angleterre et d'autres autorités informent actuellement les grandes banques et les assureurs. Des préoccupations similaires ont donné lieu à des discussions entre le Trésor américain et Wall Street. Anthropic précise que ce modèle est utilisé dans le cadre d'un projet contrôlé dédié à la recherche en matière de sécurité.
MiniMax a mis à niveau son offre « Coding Plan » pour proposer une nouvelle offre « Token Plan » multimodale, offrant un accès unifié à plusieurs modèles d'IA, notamment pour la génération de contenu vidéo, vocal, musical et visuel. Cette offre propose des quotas d'utilisation distincts pour chaque modalité, ainsi que des forfaits de ressources dédiés aux besoins des développeurs en matière de forte concurrence, favorisant ainsi le passage de percées technologiques ponctuelles à des services d'IA intégrés.
MiniMax a mis à niveau son offre « Coding Plan » pour proposer une nouvelle offre « Token Plan » multimodale, offrant un accès unifié à plusieurs modèles d'IA, notamment pour la génération de contenu vidéo, vocal, musical et visuel. Cette offre propose des quotas d'utilisation distincts pour chaque modalité, ainsi que des forfaits de ressources dédiés aux besoins des développeurs en matière de forte concurrence, favorisant ainsi le passage de percées technologiques ponctuelles à des services d'IA intégrés.
Moonshot AI, soutenu par Alibaba et HongShan, a lancé son modèle multimodal open source Kimi K25. Entraîné sur 15 000 milliards de tokens, il excelle dans le codage et la compréhension vidéo, égalant voire surpassant des modèles tels que GPT 52 et Gemini 3 Pro dans les benchmarks. La société a également lancé l'outil de développement Kimi Code.
Moonshot AI, soutenu par Alibaba et HongShan, a lancé son modèle multimodal open source Kimi K25. Entraîné sur 15 000 milliards de tokens, il excelle dans le codage et la compréhension vidéo, égalant voire surpassant des modèles tels que GPT 52 et Gemini 3 Pro dans les benchmarks. La société a également lancé l'outil de développement Kimi Code.
