卡玛拉·哈里斯和唐纳德·特朗普在Polymarket上就谁将成为下一任美国总统达成一致

币界网Publié le 2024-08-08Dernière mise à jour le 2024-08-08

币界网报道：
唐纳德·特朗普（Donald Trump）和卡玛拉·哈里斯（Kamala Harris）现在在Polymarket上并列，投注者给予他们入主白宫的同等几率。特朗普主题的模因币在过去一个月也大幅下跌。
前总统唐纳德·特朗普在白宫竞选中以明显领先于民主党人的优势开始了选举周期。现在，随着乔·拜登总统下台，卡玛拉·哈里斯成为该党候选人，这种领先地位已经不复存在。
（Polymarket）
在过去的一个月里，特朗普重新入主白宫的几率下降了13个百分点，而哈里斯的几率上升了34个百分点——首先是作为在竞选最后几天取代拜登的可能继任者，然后是特朗普的政治对手。

Lectures associées

Taux de succès du cache 99.93%, le meilleur Harness pour DeepSeek est arrivé, GitHub a attiré 86 000 étoiles

Le projet open-source « Pi », un harness d'agent de programmation, a atteint 8,6 étoiles sur GitHub. Il se distingue par une optimisation exceptionnelle du cache lorsqu'il est utilisé avec DeepSeek V4 Flash, atteignant un taux de réussite de 99,93% (seulement 0,07% de non-réussite). Cela réduit considérablement les coûts de traitement des tokens en évitant de recalculer des contextes répétés. Un test comparatif de Composio sur 8 harness d'agents montre que l'utilisation de Pi avec DeepSeek génère le coût moyen le plus bas par tâche réussie, environ 0,028 dollar, contre 0,195 dollar pour Claude Code (presque 7 fois plus cher). La simplicité de Pi, avec ses quatre outils de base (lire, écrire, modifier des fichiers, exécuter des commandes) et son architecture extensible, se marie parfaitement avec l'interface de DeepSeek, maximisant l'efficacité du cache. Bien que DeepSeek développe actuellement son propre harness officiel pour concurrencer Claude Code, Pi conserve son avantage en tant que plateforme ouverte et personnalisable, compatible avec plusieurs modèles (Claude, OpenAI, Gemini, etc.), offrant aux développeurs flexibilité et contrôle sur leur flux de travail.

marsbitIl y a 31 mins

Taux de succès du cache 99.93%, le meilleur Harness pour DeepSeek est arrivé, GitHub a attiré 86 000 étoiles

marsbitIl y a 31 mins

EthSystems et Undefined Labs signent un protocole d'accord pour soutenir l'adoption institutionnelle d'Ethereum en Corée du Sud

Le 11 août 2026, EthSystems, une entreprise spécialisée dans l'infrastructure institutionnelle Ethereum, a annoncé la signature d'un protocole d'accord stratégique (MOU) avec Undefined Labs, un cabinet de conseil Web3 sud-coréen de premier plan. Ce partenariat vise à accélérer l'adoption institutionnelle d'Ethereum en Corée du Sud en collaborant avec les institutions financières, les régulateurs et les entreprises. EthSystems, fondée par l'équipe à l'origine du Groupe de travail sur la confidentialité institutionnelle de la Fondation Ethereum (IPTF), se concentre sur la fourniture d'infrastructures Ethereum adaptées aux exigences de confidentialité, de conformité et de sécurité des institutions financières. Dans le cadre de cette collaboration, EthSystems apportera son expertise technique en matière de tokenisation, de stablecoins et d'infrastructure d'actifs numériques, tandis qu'Undefined Labs facilitera l'engagement commercial sur le marché sud-coréen, en mettant en relation EthSystems avec les principales institutions financières et décideurs politiques du pays. Ensemble, les deux sociétés soutiendront le secteur financier sud-coréen par le biais de formations, d'ateliers, de conseils stratégiques et de projets pilotes, alors que le pays établit son cadre réglementaire pour les actifs numériques. L'objectif est de faire d'Ethereum une pierre angulaire de la prochaine génération d'infrastructure financière institutionnelle en Corée du Sud.

cointelegraphIl y a 37 mins

EthSystems et Undefined Labs signent un protocole d'accord pour soutenir l'adoption institutionnelle d'Ethereum en Corée du Sud

cointelegraphIl y a 37 mins

Quand le trafic des Memes rencontre les RWA : Les ambitions financières d'Hyperliquid et Robinhood

L'article explore le rôle de la spéculation comme moteur d'évolution dans l'industrie de la cryptographie, en la présentant non comme une fin en soi mais comme un fondement potentiel pour des infrastructures financières durables. Il établit un parallèle historique avec le marché à terme des céréales de Chicago au 19ème siècle, où la liquidité créée par les spéculateurs a finalement permis l'émergence d'un système mondial de découverte des prix. L'analyse se concentre sur deux cas contemporains : Hyperliquid et Robinhood Chain. Hyperliquid, initialement une plateforme de trading à effet de levier sur crypto, a étendu son modèle aux actifs traditionnels (actions, matières premières, indices), créant une couche de prix fonctionnant 24h/24. En juillet, le volume de ses contrats perpétuels sur actifs réels a dépassé celui des cryptomonnaies. Robinhood Chain, conçue à l'origine pour le trading d'actions tokenisées, a vu son adoption exploser grâce au lancement de Pools (par Uniswap), une plateforme de meme coins. L'afflux d'utilisateurs et de liquidités généré par cette spéculation sert désormais de capital de départ pour développer son infrastructure de trading d'actifs traditionnels. L'article souligne que la spéculation n'est ni bonne ni mauvaise en essence. Sa capacité à se transformer en une activité économique durable dépend de la valeur de l'actif sous-jacent auquel elle s'ancre. Ainsi, lorsque la spéculation s'appuie sur des actifs ayant une valeur intrinsèque (comme les matières premières ou les actions), elle peut catalyser la construction d'infrastructures de marché solides, suivant une trajectoire observée tout au long de l'histoire financière.

marsbitIl y a 55 mins

Quand le trafic des Memes rencontre les RWA : Les ambitions financières d'Hyperliquid et Robinhood

marsbitIl y a 55 mins

La pénurie de HBM de NVIDIA limite la prochaine génération de GPU, mais ce disque dur vole la vedette

**Résumé** À l'ère des agents IA, le rôle du stockage évolue fondamentalement. Il ne s'agit plus seulement de persister des données passives, mais de participer activement au cycle de perception, de mémoire et de décision des agents intelligents. Cela conduit à l'émergence de « SSD fonctionnels » intégrant des capacités de chiffrement, compression, indexation et gestion du cycle de vie des données directement au niveau du contrôleur, pour servir les besoins spécifiques en mémoire contextuelle, mémoire à long terme et traçabilité des agents. Le marché se structure en trois axes principaux : la **fonctionnalisation des SSD** (avec des capacités dédiées découvertes dynamiquement), la **nodalisation du stockage** (des nœuds dédiés aux agents, en local ou dans le cloud, garantissant des SLO) et la **recomposition hiérarchique de la mémoire** (HBM, HBF, DRAM/CXL, SSD fonctionnels et stockage partagé collaborant en fonction de la criticité, de la chaleur et de la persistance des données). Des acteurs comme Phison (aiDAPTIV), Longsys (SPU+iSA) et la collaboration Yinpu-Maxio illustrent cette transition, où l'innovation ne réside pas dans une simple accélération, mais dans une redéfinition de l'interface sémantique entre l'exécutif des modèles IA et la couche de persistance. L'enjeu final est de réduire le coût par token, d'améliorer la continuité des agents et de garantir un cycle de vie des données sécurisé et efficace.

marsbitIl y a 1 h

La pénurie de HBM de NVIDIA limite la prochaine génération de GPU, mais ce disque dur vole la vedette

marsbitIl y a 1 h

Mise à jour : Claude échoue à prouver l'hypothèse de Riemann, mais bat un record vieux de 37 ans en mathématiques

Une version de recherche avancée de l'IA Claude d'Anthropic a apporté une contribution inattendue à l'étude de l'hypothèse de Riemann, non résolue depuis 167 ans. Bien que Claude n'ait pas réussi à prouver ou à réfuter la célèbre conjecture, il a significativement amélioré une borne inférieure clé liée à la fonction zêta de Riemann. Après avoir exploré des centaines d'idées infructueuses, Claude, organisé en une soixantaine d'agents subalternes, a effectué des milliers de vérifications numériques et exécuté des scripts sur une période d'un jour et demi. Ce travail a conduit à un résultat concret : il a réussi à démontrer qu'**au moins 67,2 % des zéros non triviaux pertinents se trouvent sur la ligne critique**, contre 41,6 % auparavant. Cette amélioration de 25,6 points de pourcentage est considérée par certains experts comme la plus importante avancée en théorie analytique des nombres depuis des années, étant donné que le chiffre précédent n'avait progressé que de 0,8 point sur les 37 dernières années. La méthode de Claude a combiné et étendu des travaux antérieurs de Montgomery et Bombieri, en utilisant une analyse novatrice des formes quadratiques dans un espace de fonctions. Le résultat, vérifié par des mathématiciens d'Anthropic et des experts externes, a également été formalisé dans un code vérifiable par l'assistant Lean. Anthropic souligne que cette approche ne mène probablement pas à une preuve complète de l'hypothèse, mais démontre la capacité croissante des modèles d'IA à aborder des problèmes de recherche fondamentale sans réponse préétablie.

marsbitIl y a 1 h

Mise à jour : Claude échoue à prouver l'hypothèse de Riemann, mais bat un record vieux de 37 ans en mathématiques

marsbitIl y a 1 h

Trading

Spot
活动图片

Catégories populairesright-arrow

Tags tendancesright-arrow