Le marché est un désordre, les piratages se succèdent, et l’équipe @Lighter_xyz continue simplement d’ajouter des fonctionnalités. 23 jetons d’actions sont désormais disponibles comme garantie, et la gamme d’actifs tokenisés continue de s’élargir. C’est assez impressionnant de voir à quel point ils construisent de manière constante, tandis que tout le monde est collé aux graphiques et aux derniers scandales. Les vrais constructeurs gagnent inévitablement, et je n’en doute pas une seconde.
OpenAI vient de lancer lifeval, car les benchmarks académiques ne vous disent qu’une partie de la vérité sur la capacité de l’IA à faciliter réellement votre vie. Il affirme qu’une année de travail a rendu ses modèles plus rapides et plus performants pour utiliser des navigateurs, des ordinateurs et des applications connectées, avec Gpt-6 astra obtenant les meilleurs scores enregistrés à 100 % sur des tâches sélectionnées comme réserver des inspections automobiles ou commander des courses dans un budget donné. Ces données sont assez intéressantes, car les gens feront confiance à l’IA pour gérer davantage de aspects de leur vie si elle parvient de manière fiable à accomplir ces tâches. Des benchmarks comme celui-ci orientent le développement vers les tâches quotidiennes, complexes et réelles qui méritent véritablement cette confiance.
Une autre semaine, un autre exploit crypto ? Les hot wallets de @BtcpayServer sont vidés
Devcon Pyongyang 2027
gpt-6.2 astra 👀
La demande pour MegaETH est très proche de zéro, comme pour de nombreux autres L2 toutefois
Un agent IA pilote désormais... un télescope SETI. Nvidia affirme que des agents IA aident désormais à gérer l'Allen Telescope Array en Californie, en contrôlant ses antennes et en traitant jusqu'à 2,4 térabits de données radio par seconde, tout cela via des commandes en anglais simple. En gros, le télescope capte chaque seconde une avalanche de bruit radio, et un filtre détermine ce qui mérite un second regard et ce qui est éliminé. Désormais, un chercheur saisit une seule demande et l'agent réécrit ce filtre : un humain donne l'ordre, mais le code de l'IA décide ce qui pourrait même constituer un signal extraterrestre (!) (Jusqu'à présent, son plus grand succès a été la détection en temps réel du pulsar de la nébuleuse du Crabe, une étoile morte déjà connue des astronomes.)
En 2022, lorsque tout le monde s’est précipité vers l’IA, la moitié des startups étaient de simples wrappers GPT glorifiés. Mais comparer l’IA d’alors à ce que nous avons aujourd’hui est presque ridicule. Le crypto est en train de devenir une partie intégrante de la pile IA elle-même, des wallets d’agents aux paiements en stablecoin. Ce ne sont pas deux secteurs concurrents (même si les cycles d’investissement diffèrent).
Les agents IA transforment les preuves de sécurité de la fabrication artisanale à la production de masse. V12 et Zellic affirment qu'il s'agit de la première preuve publiée couvrant l'exécution complète d'un programme x86, vérifiée sur le code machine brut exécuté par le CPU, comme inspecter le pont construit au lieu du plan, et un second programme similaire n'a requis que 739 nouvelles lignes. Ce serait idéal d'obtenir une garantie de sécurité vérifiable sur le programme compilé lui-même, avec moins de couches prises pour acquises. Réutiliser les parties les plus complexes signifie que le prochain programme similaire nécessitera beaucoup moins d'efforts pour être vérifié, ce qui pourrait rendre les preuves de sécurité rigoureuses pratiques à grande échelle ! Il est important de noter que ces résultats sont les leurs, et ils reconnaissent que leur modèle x86 est encore en développement et n'a pas encore été audité par un humain, mais ce serait assez impressionnant si cela pouvait être étendu. https://t.co/CS5gv6j3uz