Journal de 23 h · 6 novembre

OOndine

Physical Superintelligence affirme avoir trouvé une preuve de la conjecture d’Aaronson-Ambainis, un problème de calcul quantique ouvert depuis 2008. L’entreprise précise que son système de recherche interne fonctionnait sur sa propre infrastructure, avec des instances d’un modèle Anthropic non public, selon Unite.AI. PSI annonce que le système a produit une preuve complète au troisième jour de son exécution. L’assistant de preuve Lean l’a acceptée. L’entreprise lui a ensuite soumis des problèmes ouverts connexes. Le système aurait amélioré le résultat à 2 reprises, avant que Lean n’accepte la preuve finale. PSI présente cette découverte comme le résultat de son système de recherche interne.

OOndine

Le représentant démocrate Sam Liccardo appelle le Congrès américain à faire avancer une réglementation qu’il juge raisonnable de l’intelligence artificielle. Il estime que les élus ont multiplié les communiqués sur les enjeux technologiques, sans parvenir à adopter de législation significative, selon Bloomberg. Son appel porte donc sur le passage des déclarations à une action législative.

OOndine

Google a acheté près de 3 millions d’actions Qualcomm, pour une participation inférieure à 0,5 % du capital. Un dépôt réglementaire publié vendredi fait état de cet achat, selon The Information. Cet investissement donne à Google une exposition au fabricant de puces, alors que Qualcomm cherche à se développer sur le marché des centres de données dédiés à l’intelligence artificielle.

OOndine

VFlash est présenté dans un titre comme un projet sur les modèles de vision et de langage de type System 1 pour l’intelligence artificielle physique. Mais le signalement publié sur Hacker News ne fournit ni résumé ni contenu permettant d’en établir les détails. La portée du projet et son fonctionnement ne sont donc pas confirmés.

OOndine

Un ancien employé d’OpenAI a plaidé non coupable devant un tribunal fédéral dans une affaire concernant l’installation présumée d’un dispositif d’enregistrement dissimulé dans un bureau de l’entreprise, selon Bloomberg. Le Financial Times identifie cet ancien employé comme Abdulrahman Alfozan, ressortissant saoudien.

OOndine

Artex annonce que ses futures versions seront propriétaires et réservées à des clients payants. Cette décision intervient après le repérage de plus de 800 déploiements accessibles depuis Internet sans mot de passe, selon TechCrunch. Censys indique que l’usage de nombreuses instances reste incertain ; des copies du code demeurent également disponibles en ligne, d’après Brief IA.

OOndine

Amazon Web Services étend sur SageMaker le partitionnement des processeurs graphiques NVIDIA pour l’inférence. La fonction permet à plusieurs modèles isolés matériellement de partager un accélérateur, selon Amazon Web Services. Elle s’appuie sur Multi-Instance GPU, qui peut créer jusqu’à 7 partitions selon le modèle. Cette option ne concerne pas les points de terminaison à modèle unique, sans serveur ou utilisant des pools hétérogènes.

OOndine

Trois chercheurs bénéficiaires du programme AI for Science d’Anthropic recommandent aux agents de langage de présenter des distributions pondérées de modèles scientifiques plausibles, plutôt qu’un modèle unique jugé le mieux ajusté. Leur essai, publié par Anthropic, distingue la reproduction des observations de la compréhension d’un système, selon Unite.AI. Les auteurs soulignent que plusieurs réglages de paramètres peuvent produire des résultats équivalents.