Maison
Outils
Modèles
Appliquer
Prompts
Nouvelles
Thèmes
Soumettre pour inclusion
Français
English 日本語 한국어 Português español Deutsch Русский Français 繁體中文 简体中文
option
Maison Fermer
Maison
Outils
Catégorie Classement Générer la couverture Générer une image Skill
Modèles
Grand modèle de langage Modèle multimodal
Appliquer
Prompts
Prompts Prompts d’image
Nouvelles
Nouvelles Flash info
Thèmes
Soumettre pour inclusion
Soumettre une App Soumettre un outil
Créer un compte Se connecter
Changer la langue Français Changer la langue
Paramètres
English EN 日本語 JA 한국어 KO Português PT español ES Deutsch DE Русский RU Français FR 繁體中文 ZH-TW 简体中文 ZH-CN
Maison
Flash info
Contenu
RogerLopez
RogerLopez
7 septembre 2026

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.
0
0
Partager Cliquez pour copier le lien
commentaires (0)
0/300
Soumettre
Auteur BruceAllen BruceAllen 18 septembre 2026
Les données d’Anthropic montrent que 80 % de son code est désormais écrit par Claude, ce qui a multiplié par huit la productivité des ingénieurs. Cependant, l’habitude de l’IA de soumettre constamment des PR très détaillées a entraîné une multiplication par dix des cas de test et provoqué la panne du système d’intégration continue (CI), qui a vu ses tâches se multiplier par 25 en six mois. Les correctifs standard se sont avérés inefficaces, mais la refonte du service avec une nouvelle architecture distribuée et sans état, basée sur les recommandations de Claude, a permis de résoudre cette surcharge. Cela met en évidence le fait que, à mesure que l’IA libère les développeurs des contraintes de rythme liées à la codage, les pipelines d’ingénierie logicielle conçus pour les humains deviennent le principal goulot d’étranglement.
0
0
Auteur IsabellaDavis IsabellaDavis 18 septembre 2026
Le juge américain Mark Pittman a rejeté la requête d’OpenAI visant à contraindre Apple à divulguer son accord confidentiel en matière d’antitrust conclu avec SpaceXAI. La décision a établi que cet accord n'avait aucun rapport avec les litiges en cours entre SpaceXAI et OpenAI. Cette décision fait suite au retrait volontaire, récemment opéré par X et SpaceXAI, de leurs plaintes antitrust à l'encontre d'Apple, tandis que leur procédure contre OpenAI se poursuit. OpenAI avait demandé cette divulgation afin d'évaluer les répercussions potentielles sur son propre litige, mais le tribunal n'a pas jugé nécessaire de rendre ces informations publiques.
0
0
Auteur EricRoberts EricRoberts 18 septembre 2026
Qwen3.8-Omni-Flash a été lancé avec une capacité contextuelle de 1 Mo prenant en charge le texte, les images, l’audio et la vidéo. Il optimise les flux de travail « Agentic » pour le montage et la production. Les scores ont augmenté de plus de 26 % par rapport à Qwen3.5-Omni-Plus, avec des gains significatifs dans les tâches audiovisuelles et de codage. Les coûts liés aux API audio-vidéo ont chuté de plus de 93 %. Le modèle égale Gemini3.8Flash en matière d’audio-vidéo tout en le surpassant sur l’ensemble des performances audio. La consommation de jetons a été réduite de 45,7 % grâce au mode « Agentic Understanding ». L’équipe a utilisé le modèle pour ses propres travaux de R&D, réalisant quatre itérations en 12 heures. Une version en temps réel prend en charge la localisation sonore et a amélioré la précision de la reconnaissance du dialecte du Sichuan de 40,7 %.
0
0
/fr/live/7431
Auteur RichardGonzález RichardGonzález 18 septembre 2026
Le 14e Plan quinquennal de la Chine pour l’industrie pharmaceutique met l’accent sur l’intelligence artificielle et l’informatique quantique afin d’accélérer le développement des médicaments. Il promeut la fabrication aux limites extrêmes, la pharmacie spatiale et la biomanufacture, tout en faisant progresser l’édition génique, la thérapie cellulaire et les organoïdes. Les avancées clés incluent les systèmes de vie artificielle, les radiopharmaceutiques et les organes de xénotransplantation, afin de favoriser de nouveaux points de croissance industrielle grâce à l’intégration interdisciplinaire des entreprises et des institutions de recherche.
0
0
Auteur DavidGonzález DavidGonzález 18 septembre 2026
Figure a lancé le 17 septembre le réseau neuronal du robot humanoïde Helix2.5. Pré-entraîné sur son ensemble de données « Index », ce modèle a fait passer le taux de réussite en mode « zero-shot » de 9 % à 56 % dans 30 foyers de la région de la Baie de San Francisco, par rapport à des modèles entraînés à partir de zéro. Helix2.5 prend en charge des actions impliquant l’ensemble du corps, telles que le rangement d’un salon ou le pliage de serviettes, et atteint un taux de réussite comparable avec deux fois moins de données d’adaptation que Helix02. Il fait preuve de capacités d’autocorrection et suit les lois d’échelle observées lorsque l’on double le volume de données Index. Index a accumulé 16 millions de vidéos et compte 44 000 utilisateurs actifs par semaine, Figure ayant investi 3,5 milliards de dollars dans les ressources informatiques dédiées à la série Helix.
0
0
/fr/live/7429
OR