24H AI et tendances technologiques :
Modèle interne d'OpenAI surpasse des problèmes mathématiques : OpenAI a annoncé que son modèle IA interne (surnommé 'goblin') a résolu des conjectures mathématiques longtemps en suspens, comme le problème de distance unitaire en plan proposé par Paul Erdős en 1946, marquant une avancée significative de l'IA dans les preuves formelles et la recherche mathématique.
Nouvelles publications et projets open source émergent (soumissions arXiv du 21-22 mai) : MOSS : un système d'agent autonome qui évolue par réécriture au niveau du code source, avec le code disponible sur GitHub.
DeltaNet-2 Gated : découplage des opérations d'effacement et d'écriture dans l'attention linéaire, mise en œuvre open source par NVlabs.
Avancer la recherche mathématique grâce à la recherche de preuves formelles alimentée par l'IA : collaboration entre Google DeepMind et d'autres institutions pour faire progresser la recherche de preuves formelles en mathématiques avec l'IA.
D'autres points forts incluent DeepWeb-Bench (benchmark de recherche en profondeur), SOLAR (agents autonomes d'apprentissage tout au long de la vie), WorkstreamBench (évaluation des agents LLM pour les feuilles de calcul financières), avec un focus sur les agents, le raisonnement et le multimodal.
L'IA open source soutient le développement de robots : NVIDIA, Hugging Face et d'autres poussent des plateformes robotiques open source (comme Cosmos World Model, GR00T Model, LeRobot), réduisant les barrières à la création de robots intelligents incarnés, soutenant les tâches d'IA physique et de raisonnement.
Mises à jour produits et actualités d'entreprise :
Rapport financier Q1 de Zoom : augmentation des revenus, explosion de 184 % des utilisateurs payants d'AI Companion, révision à la hausse des prévisions annuelles.
Workday Q1 : stratégie IA propulse des revenus supérieurs aux attentes.
Adobe, Canva et CapCut intègrent Gemini pour permettre l'édition d'images/vidéos dans l'application.
ElevenLabs lance une application de voix IA, avec l'autorisation de 200 000 livres audio.
Trump retarde la signature d'un décret présidentiel sur l'IA, apparemment en raison d'une opposition à une régulation excessive, ayant discuté avec Zuckerberg, Musk et Sacks.
Autres :
Spotify s'associe à Universal Music pour soutenir les fans dans la génération d'interprétations/mélanges AI ; des projets communautaires actifs comme des pare-feux IA open source, des outils SDR, etc. ; AmpliTech présente une démonstration de technologie AI-RAN open source.
#AI动态 #科技新闻
Bienvenue à suivre le médecin Liao — créateur à 10 000 abonnés sur Binance Square.
Modèle interne d'OpenAI surpasse des problèmes mathématiques : OpenAI a annoncé que son modèle IA interne (surnommé 'goblin') a résolu des conjectures mathématiques longtemps en suspens, comme le problème de distance unitaire en plan proposé par Paul Erdős en 1946, marquant une avancée significative de l'IA dans les preuves formelles et la recherche mathématique.
Nouvelles publications et projets open source émergent (soumissions arXiv du 21-22 mai) : MOSS : un système d'agent autonome qui évolue par réécriture au niveau du code source, avec le code disponible sur GitHub.
DeltaNet-2 Gated : découplage des opérations d'effacement et d'écriture dans l'attention linéaire, mise en œuvre open source par NVlabs.
Avancer la recherche mathématique grâce à la recherche de preuves formelles alimentée par l'IA : collaboration entre Google DeepMind et d'autres institutions pour faire progresser la recherche de preuves formelles en mathématiques avec l'IA.
D'autres points forts incluent DeepWeb-Bench (benchmark de recherche en profondeur), SOLAR (agents autonomes d'apprentissage tout au long de la vie), WorkstreamBench (évaluation des agents LLM pour les feuilles de calcul financières), avec un focus sur les agents, le raisonnement et le multimodal.
L'IA open source soutient le développement de robots : NVIDIA, Hugging Face et d'autres poussent des plateformes robotiques open source (comme Cosmos World Model, GR00T Model, LeRobot), réduisant les barrières à la création de robots intelligents incarnés, soutenant les tâches d'IA physique et de raisonnement.
Mises à jour produits et actualités d'entreprise :
Rapport financier Q1 de Zoom : augmentation des revenus, explosion de 184 % des utilisateurs payants d'AI Companion, révision à la hausse des prévisions annuelles.
Workday Q1 : stratégie IA propulse des revenus supérieurs aux attentes.
Adobe, Canva et CapCut intègrent Gemini pour permettre l'édition d'images/vidéos dans l'application.
ElevenLabs lance une application de voix IA, avec l'autorisation de 200 000 livres audio.
Trump retarde la signature d'un décret présidentiel sur l'IA, apparemment en raison d'une opposition à une régulation excessive, ayant discuté avec Zuckerberg, Musk et Sacks.
Autres :
Spotify s'associe à Universal Music pour soutenir les fans dans la génération d'interprétations/mélanges AI ; des projets communautaires actifs comme des pare-feux IA open source, des outils SDR, etc. ; AmpliTech présente une démonstration de technologie AI-RAN open source.
#AI动态 #科技新闻
Bienvenue à suivre le médecin Liao — créateur à 10 000 abonnés sur Binance Square.