Résultats de la recherche pour "TEST"
2026-03-23
05:46

Réglementation des jetons américains : audience cruciale en vue : la SEC et la CFTC s'unissent, les règles des titres on-chain pourraient remodeler le marché

La Commission des services financiers de la Chambre des représentants américaine tiendra une audience le 23 mars sur les titres tokenisés, couvrant des sujets tels que la coordination réglementaire entre la SEC et la CFTC, ainsi que les voies de conformité des titres en chaîne. Bien que les institutions financières traditionnelles se déploient activement, il existe toujours un décalage significatif entre les politiques et la technologie, les principales questions juridiques restent non résolues, et les risques de la blockchain ne sont pas suffisamment réglementés. Le développement futur dépendra de l'amélioration de la législation et des mécanismes de gestion des risques.
Plus
02:27

Le modèle de preuve de théorème open-source de Meituan avec 560 milliards de paramètres, atteignant un taux de réussite de 97,1 % après 72 inférences, établit un nouveau record open-source SOTA.

L'équipe LongCat de Meituan a open-sourcé LongCat-Flash-Prover le 21 mars, un modèle MoE avec 560 milliards de paramètres, dédié à la preuve formelle de théorèmes en Lean4. Le modèle dispose de trois capacités principales : formalisation automatique, génération d'esquisses et génération de preuves complètes, combinant des outils de raisonnement et le compilateur Lean4 pour une vérification en temps réel. L'entraînement utilise le Hybrid-Experts Iteration Framework et l'algorithme HisPO pour prévenir la triche aux récompenses. Les tests de référence montrent que ce modèle établit de nouveaux records parmi les modèles open-source pondérés en formalisation automatique et preuve de théorèmes.
Plus
07:37

Recherche : le fichier AGENTS.md permet de réduire de 29 % le temps d'exécution des Agents de programmation IA et de diminuer de 17 % la sortie de tokens

L'équipe de recherche a pour la première fois évalué quantitativement l'impact d'AGENTS.md sur l'efficacité des Agents de programmation IA, en découvrant que son utilisation peut réduire significativement le temps d'exécution et le nombre de tokens de sortie, recommandant de l'adopter comme pratique standard de développement. La recherche est limitée à un seul Agent et à un petit volume de PR.
Plus
02:49
1

Pi App Studio lance de nouvelles fonctionnalités pour 2026 : intégration des paiements et options de création d'applications plus conviviales

Pi Network a publié trois mises à jour majeures, notamment une intégration simplifiée de Pi Pay, la création d'applications gratuites supportées par la publicité, et la sollicitation de retours de la communauté pour les activités des créateurs. Les pionniers peuvent intégrer sans programmation Test-Pi Pay, et les utilisateurs peuvent déployer des applications en regardant des publicités. Les 1000 premiers retours recevront des récompenses en Pi.
Plus
PI0,11%
08:55

Fixora lance Pi App Studio, l'écosystème pratique de Pi Network fait un pas décisif supplémentaire

20 janvier, Pi Network écosystème accueille une nouvelle application pratique. La toute nouvelle plateforme de services Fixora a officiellement lancé Pi App Studio, en tant que marché de services local directement construit sur la plateforme Pi. Fixora permet aux utilisateurs d'effectuer des paiements avec Pi Coin, élargissant ainsi les scénarios d'utilisation réels et la capacité de concrétisation de Pi. Les informations publiques indiquent que Fixora a été développé par un des premiers supporters de Pi Network depuis 2019. Son objectif principal est de faire passer Pi d’un « actif de minage » à un « outil de paiement quotidien ». Cette mise en ligne est considérée comme une étape importante vers la praticité et l’application concrète de l’écosystème Pi, en accord avec la direction générale de Pi Network qui met actuellement l’accent sur des applications réelles et des besoins authentiques.
Plus
PI0,11%
06:45

Les co-fondateurs de Solana remettent en question la philosophie de Vitalik : si la blockchain cesse d’évoluer, sera-t-elle finalement éliminée ?

Le 19 janvier, des divergences évidentes sont apparues récemment entre les figures clés des deux principales écosystèmes, Solana et Ethereum, concernant la question de savoir si le protocole sous-jacent de la blockchain doit « continuer à évoluer » ou « devenir rigide ». Le co-fondateur de Solana, Anatoly Yakovenko, a publiquement remis en question la vision à long terme du développement de la blockchain proposée par le fondateur d’Ethereum, Vitalik Buterin, ce qui a suscité un large débat dans l’industrie. L’étincelle de cette controverse provient récemment de l’opinion de Vitalik Buterin sur le « test de sortie (exit test) » d’Ethereum. Il estime qu’un protocole blockchain mature devrait atteindre un stade où il peut cesser de se mettre à jour fréquemment tout en restant capable de fonctionner de manière stable à long terme, c’est-à-dire ce qu’on appelle une « protocolarisation ». Dans cet état, la valeur fondamentale du protocole ne dépend plus de fonctionnalités encore non réalisées, mais possède une fiabilité similaire à celle d’une infrastructure.
Plus
SOL-0,79%
ETH-1,21%