NearAI revendique la résolution de 672 problèmes mathématiques pour 111 dollars
NearAI a affirmé avoir résolu 672 problèmes du benchmark de preuve formelle en mathématiques, PutnamBench, pour un total de 111 dollars. Ce cas pourrait démontrer l'efficacité économique des agents d'IA. L'agent Lean de NearAI a résolu toutes les questions du PutnamBench, enregistrant un coût 250 fois inférieur à celui des systèmes concurrents. Cependant, cette comparaison n'a pas clairement établi si les conditions du modèle, du budget d'exécution, de la méthode de recherche et de la structure de réessai étaient identiques. Le fait confirmé est que NearAI a complété les 672 problèmes et a présenté un coût total de 111 dollars. Il n'y a pas encore de confirmation indépendante de ces résultats sur le tableau de classement public de PutnamBench. Le dépôt officiel de PutnamBench indique que le nombre de problèmes selon les critères Lean 4 est de 672, et la preuve formelle évalue si l'IA fournit des procédures de preuve vérifiables. La revendication de NearAI a du sens dans l'écosystème NEAR, qui met l'accent sur l'"IA vérifiable". L'environnement d'exécution de confiance est une technologie qui traite les données dans un environnement matériel isolé, limitant l'accès externe. NearAI a mis en avant l'infrastructure sur laquelle l'agent effectue des calculs et des transactions en février, et cette revendication ajoute un exemple de chiffres d'efficacité économique. La concurrence dans le domaine de la preuve formelle est également en cours, avec MistralAI annonçant que LeanStral 1.5 a atteint 587/672 au PutnamBench. MistralAI a proposé un coût d'environ 4 dollars par problème. Le tableau de classement de PutnamBench discute d'une meilleure manière de représenter le budget de calcul par accès. L'impact des performances de NearAI sur le prix de NEAR ou la demande de l'écosystème reste incertain.
Prix de --
Ce contenu est fourni à titre informatif uniquement et ne constitue pas un conseil financier, d'investissement, juridique ou fiscal. Les événements, récompenses, promotions en ligne ou informations mentionnées ici ne doivent pas être considérés comme une recommandation, une sollicitation ou une invitation à acheter, vendre, trader ou effectuer toute autre opération sur des actifs crypto. Les actifs crypto sont très volatils et peuvent entraîner des pertes. La disponibilité des services, produits et événements liés à WEEX peut varier selon les régions. Veuillez vous assurer que votre participation respecte les lois et réglementations locales applicables.
Vous pourriez aussi aimer

Modification fixCleanup3_3_0 du XRP Ledger, activation prévue le 11 septembre

Prévisions d'une hausse de 0,3 % des prix mondiaux, choc des prix de l'énergie et des denrées alimentaires

Destruction de 9 730 HYPE de Hyperliquid, total cumulé de 48,42 millions

La Banque de Corée avertit d'une possible dépréciation du won face à l'augmentation de la demande de stablecoins en dollars

La prime des stablecoins diminue de 0,38 %p, augmentation des échanges liés aux taux de change

Augmentation de l'importance de la prévisibilité du traitement des transactions sur la blockchain

2360 millions de francs pour Cardano, vérification de l'audit en chaîne

Les entreprises de Wall Street adoptent l'IA, mais peu d'impact sur les bénéfices

La Fondation Polygon lance une campagne de dons en cryptomonnaie pour le fonds d'aide aux sinistrés du Népal

Hassett déclare que Trump n'a pas donné de conseils à la Réserve fédérale

L'Ukraine modifie les règles écologiques pour les entreprises

Ce soir, les États-Unis publieront le rapport sur l'emploi non agricole d'août, avec une augmentation prévue de 56 000 emplois

Waller soutient conditionnellement le gel des taux lors du FOMC de septembre

Pocket Bitcoin signale une fuite de données clients touchant plus de 5000 personnes

La Suède vise quatre réacteurs BWRX-300 d'une capacité de 1,2 GW

Sam Price analyse l'impact des détenteurs de Bitcoin à long terme sur le marché

La SEC publie de nouvelles directives de reporting pour les entreprises de garde d'actifs numériques

Hyperliquid HIP-3 prend en charge la configuration de marché sous licence optionnelle

Le cycle du Bitcoin pourrait passer de 4 à 6-8 ans

Pénurie de lait en poudre en Ukraine en raison de la hausse des prix

Term Labs termine la restauration des positions de prêt à taux fixe, aucun impact sur les contrats V1/V2

Analyse de l'impact des participations des entreprises et des étrangers sur le marché des cryptomonnaies sur le taux de change

Kalshi pousse à l'approbation des États-Unis pour le lancement de contrats à terme sur le pétrole sans échéance

L'Arabie Saoudite confirme la mort de deux marins philippins dans une attaque iranienne contre un pétrolier

La Chine et l'Égypte élargissent leurs investissements dans la Zone Économique du Canal de Suez

Un drone russe a détruit une station-service 'Ukrnafta' dans la région d'Odessa

Le ralentissement de la croissance du crédit en Chine pose un risque pour le Bitcoin

Le Bitcoin reste résilient face à la hausse des prix du pétrole et des rendements du Trésor

95 BTC transférés vers l'adresse de Galaxy Digital









