Cours du SpecFlow

Top 10 des plus grands déblocages de tokens dans les 7 prochains jours 4 – 10 juillet 2025 Voici les plus grands déblocages à surveiller cette semaine : $ENA $JTO $MOVE $NEON $XTER $AI $HFT $SXT $SPEC et $GRND 🔍 Pourquoi c'est important : Les déblocages de tokens peuvent entraîner une pression de vente accrue, surtout si une grande partie des tokens devient liquide. Source des données 🔗 @CryptoRank_io

Un jour, mon ami m'a dit qu'il voulait démissionner, avec une raison particulièrement juste : « Le patron est trop fou, une personne fait le travail de trois, il y a des réunions tous les jours et il adore parler de 【capacité d'autonomisation】【cercle fermé】【créer des équipes agiles】. Je lui ai demandé ce qu'il comptait faire après avoir démissionné. Il a dit qu'il prévoyait de créer un site web d'automatisation, de laisser l'IA écrire du contenu, de faire du marketing d'affiliation et de créer un groupe Telegram pour des abonnements. L'ère où l'IA est un outil est sur le point de changer. Elle commence à devenir des agents capables de gérer des tâches, de générer des affaires et de signer des contrats. Si l'on considère que l'IA d'autrefois était un employé, l'IA d'aujourd'hui veut devenir le patron. Et @Mira_Network ressemble à ce vieux monsieur assis à l'ombre d'un arbre à l'entrée d'un hutong à Pékin, qui ne se fait pas remarquer, mais qui est incontournable lorsque les enfants se battent ou que les voisins se disputent. On ne le voit pas donner des ordres, mais on sent sa présence constante. Cette position est semblable à celle du « réseau de validation » que Mira met en place : que vous soyez un employé IA sur la chaîne ou un agent intelligent capable de réaliser des transactions automatisées, tant que vous parlez, travaillez ou signez à l'extérieur, vous ne pouvez pas échapper à la « validation » que Mira vous impose. Les collaborations récentes sur ces frameworks d'agents qu'elle a annoncées semblent toutes assez complexes : certaines concernent des jeux, d'autres des transactions, d'autres encore des DAO d'agents intelligents, mais leur point commun est simple : elles nécessitent une base fiable et vérifiable. Ce n'est pas que l'on ait peur que l'IA soit stupide, mais plutôt qu'on craint qu'elle raconte n'importe quoi. Ce que Mira propose, ce n'est pas un cerveau plus intelligent, mais un sens de l'ordre. Avant que chaque phrase ne soit prononcée, elle doit être décomposée en affirmations, envoyées dans le réseau de validation. D'autres modèles vérifient si ce que vous dites est vrai. Une fois validé, vous pouvez continuer, sinon, c'est comme si le vieux monsieur à l'entrée du hutong levait la main : « Hé, ne raconte pas n'importe quoi, ça ne va pas. Ce processus semble simple, mais en réalité, c'est un travail difficile sur le plan technique. Car la génération de langage est continue, mais la validation est discrète. Comment décomposer une phrase en morceaux vérifiables ? Comment s'assurer que le sens reste correct ? Ce n'est pas seulement un jeu entre modèles, mais cela teste aussi la compréhension du langage et l'ingéniosité technique. Le rôle de Mira est également intéressant. Elle n'a pas fait de grandes déclarations sur le fait de rendre l'IA plus intelligente ou plus polyvalente, mais elle aide discrètement chaque agent avant son apparition, en garantissant qu'il ne raconte pas de bêtises. Plus l'IA commence à travailler, à gérer des processus et à s'intégrer dans des organisations, plus elle a besoin d'un mécanisme qui prend la responsabilité en arrière-plan. Lorsque nous aurons vraiment un tas de DAO composés d'IA, des entités numériques avec leurs propres revenus, et une collaboration entre « employés » et « supérieurs », nous ne parlerons peut-être pas tous les jours de Mira, tout comme personne ne pense constamment au DNS. Mais vous savez au fond de vous que sans ce « réseau de validation » apparemment insignifiant, la révolution de l'IA ne pourrait tout simplement pas avancer. @MiraNetworkCN

Les projets de Mira sont ceux que je connaissais avant même que Mira n'existe. C'est plutôt optimiste, je ne vais pas mentir.

Mise en lumière de l'écosystème : Cadres d'agents (Partie 2) Des agents IA fiables nécessitent une intelligence vérifiée. Notre réseau de vérification alimente la prochaine génération d'agents autonomes en garantissant que leurs résultats sont précis, sans confiance et résistants aux erreurs. Nous fournissons l'infrastructure de vérification à laquelle les cadres d'agents accèdent pour éliminer les hallucinations et garantir que les opérations autonomes peuvent se développer en toute sécurité, sans nécessiter de supervision humaine. Nous alimentons les cadres d'agents provenant de 👇 1. KGeN @KGeN_IO apporte des ensembles de données de jeux propriétaires dans notre réseau de vérification, permettant une évaluation évolutive et sans confiance des agents et mécaniques IA spécifiques aux jeux. Ensemble, nous construisons les bases d'une intelligence prouvable dans les mondes de jeu. 2. Talus Network @TalusNetwork construit l'épine dorsale de l'économie IA autonome, utilisant notre vérification pour soutenir des agents IA générant des revenus sur la chaîne avec une fiabilité garantie. Notre travail prépare le terrain pour une main-d'œuvre décentralisée alimentée par des agents en qui vous pouvez avoir confiance. 3. AiCraft @aicraftfun, un projet parmi les 10 meilleurs sur Monad Radar et présenté par Bitcoin(.)com, est une plateforme de lancement pour les agents IA de nouvelle génération, désormais soutenue par notre pile de vérification. Nous permettons la prochaine vague d'applications natives IA qui prouvent ce qu'elles font. 4. Spectral Labs @Spectral_Labs permet aux utilisateurs de créer des entreprises et des réseaux d'agents autonomes qui collaborent vers des objectifs communs, le tout alimenté par nos mécanismes de consensus. C'est la première étape vers une coordination évolutive et vérifiable entre les agents IA. 5. Phala Network @PhalaNetwork intègre notre système en tant que fournisseur de modèles officiel, offrant une inférence sans confiance et des LLM vérifiables pour son écosystème d'agents IA sécurisé. Ensemble, nous faisons de l'IA privée et prouvable la norme dans le Web3. En intégrant des cadres divers allant des jeux aux réseaux sociaux, en passant par les blockchains natives et multi-modales, nous garantissons que la vérification accompagne l'agent, où qu'il opère. Restez à l'écoute pour d'autres plongées approfondies dans l'écosystème !

📢 Rapport quotidien Web3 AI (25 juin) 1️⃣ Titres du jour HeyAnon (@HeyAnonai) HeyAnon a introduit une fonctionnalité de déploiement automatique déclenchée par l'interaction, offrant aux participants des chances de gagner 1 % de l'offre ou de s'engager dans des récits culturels pour des gains potentiels de 100x. 2️⃣ Données du marché Capitalisation totale du marché : 15,88 milliards de dollars (+0,6 %) Volume des échanges : 804 millions de dollars (+1,06 %) 3️⃣ Top 5 par achats nets de Smart Money $SERV @openservai : 52,42 K $ $GIZA @gizatechxyz : 46,92 K $ $PUNDIAI @PundiAI : 45,42 K $ $SPEC @Spectral_Labs : 44,37 K $ $AION @aion5100 : 27,38 K $ 4️⃣ Top 5 par part de marché @cookiedotfun : 11,16 % @MagicNewton : 10,68 % @virtuals_io : 9,81 % @FartCoinOfSOL : 8,04 % @OpenledgerHQ : 7,57 % 5️⃣ Points forts du jour 1. Sahara AI (@SaharaLabsAI) Binance a listé $SAHARA pour le trading à partir du 26 juin sur plusieurs paires, y compris USDT, USDC, BNB, FDUSD et TRY. 2. OpenServ AI (@openservai) Un co-fondateur AI capable de gérer les opérations commerciales via Telegram a été créé en 24 heures lors du hackathon de Berlin, marquant l'essor des aApps. 3. Clanker (@clankeronbase) Clanker a mené le volume de trading sur 24 heures avec 2,17 millions de dollars, suivi de BNKR et NOICE, mettant en évidence un trading actif de tokens. 4. OpenLedger (@OpenledgerHQ) OpenLedger et Cookiedotfun ont lancé l'ère OctoSnaps avec 350 000 $ de récompenses pour promouvoir une communauté AI transparente. 5. Bankr (@bankrbot) Les ordres à cours limité sont actifs sur le mainnet Ethereum, permettant aux utilisateurs de définir des conditions d'achat/vente pour les tokens ERC-69 via des commandes de chat. 6. OrderlyNetwork (@KaitoAI) OrderlyNetwork a lancé le tableau de classement Yapper, distribuant 10 % des frais de trading aux meilleurs utilisateurs avec des paiements en $ORDER. 7. Virtuals Protocol (@virtuals_io) Les remboursements Genesis en $VIRTUAL sont désormais réclamables manuellement pour les projets échoués ou les engagements excessifs, sans expiration sur les remboursements. Pour plus de mises à jour :