Percées de l'IA en mathématiques, le cap des 3 milliards de dollars de Cursor et l'expansion de l'IA chez Spotify

Google DeepMind résout neuf problèmes mathématiques ouverts, Cursor atteint 3 milliards de dollars de revenus avec une possible acquisition par SpaceX, et Spotify lance de nouveaux outils audio basés sur l'IA.

Percées de l'IA en mathématiques, le cap des 3 milliards de dollars de Cursor et l'expansion de l'IA chez Spotify

Recherche et percées

AlphaProof Nexus de Google DeepMind résout neuf problèmes d'Erdős

Google DeepMind a présenté AlphaProof Nexus, un système d'IA capable de générer des preuves mathématiques vérifiées par machine. Le système a résolu avec succès neuf problèmes ouverts d'Erdős—parmi les questions non résolues les plus difficiles en mathématiques—dont deux qui étaient restés sans solution pendant 56 ans. Le processus impliquait de coupler un LLM avec Lean, un assistant de preuve, pour générer et vérifier itérativement des preuves. Chaque problème a été résolu pour un coût de quelques centaines de dollars, et le système a également prouvé 44 conjectures ouvertes de l'Encyclopédie en ligne des suites d'entiers.

Ce développement fait suite aux progrès récents d'autres laboratoires dans l'application de l'IA à des défis scientifiques complexes. En automatisant le processus de vérification, l'approche de Google démontre comment l'IA peut aller au-delà de la simple reconnaissance de formes pour contribuer à la découverte mathématique originale. La capacité de générer et de vérifier des preuves à la vitesse d'une machine suggère un changement dans la manière dont les chercheurs pourraient aborder à l'avenir des problèmes théoriques de longue date.

Claude Mythos d'Anthropic identifie plus de 10 000 vulnérabilités

Anthropic a publié les premiers résultats du Projet Glasswing, révélant que son modèle de cybersécurité restreint, Claude Mythos, a identifié plus de 10 000 vulnérabilités de gravité élevée ou critique dans des projets logiciels en un mois. Des partenaires, dont Cloudflare et Mozilla, ont utilisé le modèle pour détecter et corriger des bogues, Cloudflare rapportant un taux de faux positifs supérieur à celui des testeurs humains. De plus, le modèle a été utilisé par une banque partenaire pour détecter et bloquer un virement frauduleux de 1,5 million de dollars.

Anthropic continue de restreindre l'accès à Mythos, invoquant l'absence de garanties suffisantes pour prévenir une éventuelle utilisation abusive. Cependant, le succès du modèle met en évidence la capacité croissante de l'IA dans l'audit de sécurité automatisé. Alors que les modèles de pointe deviennent de plus en plus aptes à identifier des défauts logiciels complexes, l'industrie est confrontée à une course entre la défense pilotée par l'IA et le potentiel d'exploitation automatisée.

Entreprises et industrie

Cursor atteint 3 milliards de dollars de revenus annuels au milieu des discussions d'acquisition par SpaceX

L'éditeur de code alimenté par l'IA Cursor a annoncé 3 milliards de dollars de revenus annualisés, marquant une trajectoire de croissance significative par rapport aux 2 milliards de dollars de février. La société prévoit que ses revenus dépasseront les 6 milliards de dollars d'ici la fin 2026. Cette croissance rapide a suscité l'intérêt de SpaceX, qui aurait obtenu une option pour acquérir la startup pour 60 milliards de dollars, ou payer des frais de retrait de 10 milliards de dollars. L'accord fait suite à une période de collaboration étroite, notamment l'utilisation par Cursor du supercalculateur Colossus de SpaceX pour l'entraînement des modèles.

Le succès de Cursor souligne la valeur croissante de la « couche applicative » dans la pile IA—des outils qui intègrent des modèles de pointe dans des flux de travail spécifiques à haute valeur ajoutée comme le développement logiciel. L'acquisition potentielle par SpaceX suggère une décision stratégique visant à sécuriser une infrastructure de codage propriétaire, reflétant une tendance plus large où les grands acteurs technologiques intègrent des outils de développement IA spécialisés pour maintenir des avantages concurrentiels.

DeepSeek obtient un financement de 10 milliards de dollars et réduit ses prix

DeepSeek a annoncé un tour de financement de 10 milliards de dollars tout en réduisant simultanément les prix de son modèle V4-Pro de 75 %. La nouvelle tarification ramène les coûts à 0,435 $ par million de tokens d'entrée et 0,87 $ par million de tokens de sortie, sous-cotant significativement de nombreux concurrents propriétaires. Le fondateur du laboratoire, Liang Wenfeng, a déclaré que l'objectif principal de l'organisation est la réalisation de l'AGI, et la société prévoit de poursuivre sa stratégie de publication de modèles open source malgré cette levée de fonds massive.

Cette stratégie de prix agressive exerce une pression supplémentaire sur le marché de l'IA, obligeant les concurrents à justifier les coûts premium de leurs modèles propriétaires. En combinant un financement de haut niveau avec un engagement envers les versions open source et un accès à faible coût, DeepSeek se positionne comme un perturbateur majeur dans la course au développement et au déploiement d'une IA de pointe.

Spotify lance des outils de remix et audio basés sur l'IA

Spotify a annoncé une série de nouvelles fonctionnalités basées sur l'IA suite à sa journée annuelle des investisseurs. Un accord historique avec Universal Music Group (UMG) permettra aux fans de créer des reprises et des remix générés par l'IA des chansons des artistes d'UMG, avec un cadre pour le consentement des artistes, le crédit et le partage des revenus. De plus, l'entreprise a présenté « Studio by Spotify Labs », une application de bureau qui convertit des notes et des e-mails en briefings audio personnalisés, ainsi qu'un outil alimenté par ElevenLabs qui permet aux auteurs de créer des livres audio sans équipement d'enregistrement professionnel.

Ces mouvements représentent la stratégie de Spotify pour s'étendre au-delà du streaming musical vers une création et une consommation audio plus larges. En formalisant un cadre de licence pour le contenu généré par l'IA par les fans, Spotify tente de résoudre la tension entre l'innovation en IA et les droits des artistes, établissant potentiellement une norme pour l'approche de l'industrie musicale en matière d'IA générative.

Politique et vente au détail

Starbucks abandonne son outil d'inventaire basé sur l'IA

Starbucks a officiellement retiré son outil de gestion des stocks basé sur l'IA dans ses plus de 11 000 établissements nord-américains après neuf mois d'exploitation. Le système, qui était destiné à automatiser le comptage des stocks, aurait rencontré des problèmes de précision, notamment des difficultés à distinguer différents types de lait. L'entreprise est revenue à des méthodes de comptage manuelles.

Cet incident constitue un exemple notable des défis liés au déploiement de l'IA dans des environnements de vente au détail physiques. Bien que l'IA soit prometteuse pour l'efficacité opérationnelle, l'échec de l'outil met en évidence l'écart entre les performances théoriques des modèles et les complexités des opérations de vente au détail réelles à grand volume.