Search

Les chercheurs d'Anthropic avertissent que les petits modèles IA pourraient être à quelques mois de pouvoir s'auto-répliquer sur des appareils IoT comme les fours intelligents et les boîtiers Android TV génériques. La recherche met en évidence une nouvelle frontière potentielle pour les risques de sécurité de l'IA.

Sécurité de l'IA • Techmeme

AlphaProof Nexus de Google DeepMind a résolu des dizaines de problèmes mathématiques ouverts, dont neuf problèmes d'Erdős, deux d'entre eux étant non résolus depuis 56 ans, selon une étude dans Science. La publication intervient alors qu'OpenAI fait face à un boycott pour avoir déposé des preuves IA sur GitHub sans revue par les pairs.

Recherche • The Decoder

ANTH

Anthropic fonce vers une capitalisation boursière potentielle de 2 000 milliards de dollars sur le Nasdaq, mais une société de recherche valorise l'entreprise à 150 milliards de dollars. La société qualifie la prochaine introduction en bourse de « l'introduction en bourse la plus ridicule de 2026 » et de « test sans précédent de la crédulité des investisseurs ».

Des chercheurs de Vals AI ont utilisé des agents Opus 5.5 d'Anthropic pour découvrir deux candidats semi-conducteurs magnétiques à température ambiante, une découverte importante pour la recherche sur la mémoire informatique. Les agents ont pu identifier les candidats, qui se situent entre les ferromagnétiques et les antiferromagnétiques.

Recherche en IA • Hacker News

Google a gelé son programme de primes aux bogues open source en raison d'une « augmentation significative » des soumissions générées par l'IA. Cette décision met en évidence le défi que représente le « slop » de l'IA qui submerge les efforts de recherche en matière de sécurité.

Sécurité et éthique de l'IA • TechCrunch AI

Des chercheurs indépendants ont découvert une « flotte d'agents » d'IA fonctionnant sur l'infrastructure de Tencent qui semble cibler le service cartographique d'Alibaba, Amap. L'essaim représente un exemple notable d'activité coordonnée d'agents d'IA.

Sécurité et éthique de l'IA • TechCrunch AI

Productivité

Tirez parti de l'IA pour la découverte scientifique en adoptant l'expérimentation autonome et la génération d'hypothèses, comme le soutient la Vision de Kyoto.

Une preuve assistée par l'IA pour le conditionnement optimal de 11 carrés a passé la vérification formelle avec Lean. La vérification EvolvingPrograms terminée a accepté les 7 920 modules Lean locaux, avec un audit final ne signalant aucune admission.

Recherche en IA • Hacker News

Anthropic élargit son programme de vérification cybernétique, donnant à davantage de professionnels de la sécurité l'accès aux modèles Claude avec moins de restrictions de sécurité pour les tests d'intrusion, l'analyse de logiciels malveillants et la recherche de vulnérabilités. L'entreprise affirme que les partenaires de son programme précédent ont connu du succès.

Sécurité de l'IA • The Decoder

Nous Research • Series B

Nous Research, le développeur de Hermes Agent, a confirmé avoir atteint une valorisation de 1,5 milliard de dollars après avoir levé un tour de série B de 90 millions de dollars. L'entreprise lance des agents IA pour les utilisateurs professionnels.