# Science Articles associés

Le Centre d'actualités HTX fournit les derniers articles et analyses approfondies sur "Science", couvrant les tendances du marché, les mises à jour des projets, les développements technologiques et les politiques réglementaires dans l'industrie crypto.

Version open source de Claude Science, zéro dépendance, licence MIT, dotée de plus de 30 compétences de recherche

Une version open source de Claude Science, nommée OpenAI4S, a été lancée. Développée par le laboratoire conjoint de l'Université de Pékin et de Yuan Kong AI, elle est open source sous licence MIT, sans dépendances clés. Contrairement aux agents classiques, OpenAI4S adopte une approche « Code-as-Action ». L'agent génère et exécute du code Python/R dans un noyau persistant, permettant d'enchaîner des tâches complexes (recherche de littérature, téléchargement de données, analyse, visualisation) tout en conservant les résultats intermédiaires. Il fonctionne comme un poste de travail collaboratif où chaque produit de recherche est versionné. Le projet intègre plus de 30 « Skills » pour des scénarios de recherche courants (analyse de protéines, docking moléculaire, analyse unicellulaire, etc.), dont 14 nécessitant des GPU. Il peut distribuer les tâches de calcul lourd vers des environnements GPU distants. Une règle stricte de « non-fabrication » est appliquée : le système utilise uniquement des données et calculs réels, signalant les erreurs plutôt que de générer des résultats simulés. OpenAI4S vise à devenir une infrastructure de recherche fiable et extensible. La communauté est invitée à contribuer en développant de nouveaux Skills, en améliorant l'architecture ou en rapportant des cas d'usage.

marsbitIl y a 4 h

Version open source de Claude Science, zéro dépendance, licence MIT, dotée de plus de 30 compétences de recherche

marsbitIl y a 4 h

10 000 scientifiques utilisent gratuitement pendant 1 an, OpenAI déplace la chaîne de production de la recherche dans ChatGPT

OpenAI lance « ChatGPT for Academic Researchers », offrant un accès gratuit d'un an à ses modèles avancés pour 100 000 chercheurs universitaires. L'objectif est d'embarquer l'ensemble du flux de travail de la recherche scientifique dans un seul environnement, intégrant la lecture de littérature, le codage, l'analyse de données, la rédaction de manuscrits et la connexion à des outils comme Zotero et GitHub. Le programme, qui cible initialement 10 000 chercheurs cet été, fournit des modèles spécialisés comme GPT-5.6 Sol Pro pour les tâches complexes, ainsi que des compétences en sciences de la vie et une fenêtre de contexte étendue. OpenAI souligne que 1,3 million de personnes utilisent déjà ChatGPT chaque semaine pour des tâches scientifiques avancées. Cette initiative gratuite comporte des limites : quotas d'utilisation, absence d'accès à l'API et aucun accès aux poids des modèles. Elle vise principalement les chercheurs en sciences « dures », contournant ainsi les demandes de transparence de la communauté en IA. Anthropic propose une approche similaire avec des crédits API, mais les deux entreprises gardent leurs modèles fermés. L'objectif sous-jacent est clair : ancrer les habitudes des chercheurs dans l'écosystème OpenAI, rendant la transition coûteuse après la période gratuite.

marsbit07/30 11:54

10 000 scientifiques utilisent gratuitement pendant 1 an, OpenAI déplace la chaîne de production de la recherche dans ChatGPT

marsbit07/30 11:54

À quel point est-il difficile de fabriquer une puce ? Une erreur de division et 475 millions de dollars sont partis en fumée

Qu'est-ce qui rend la conception des puces si difficile ? Dans une conférence, Shi Kan, chercheur à l'Institut de technologie informatique de l'Académie chinoise des sciences et créateur de contenu scientifique, l'explique en prenant l'exemple du célèbre bogue de la division en virgule flottante du processeur Pentium d'Intel dans les années 1990. Une simple erreur de calcul a contraint la société à dépenser 475 millions de dollars pour rappeler les puces défectueuses. Contrairement aux logiciels, les puces électroniques ne peuvent pas être corrigées après leur fabrication. Leur développement exige donc une parfaite fiabilité dès le premier essai, ce qui est rare : seulement 24 % des projets de puces réussissent du premier coup. La phase de vérification, cruciale pour détecter les erreurs de conception avant la production, est devenue le goulet d'étranglement. Elle peut représenter jusqu'à 70 % du cycle de conception, d'autant plus que la complexité des puces ne cesse de croître. Vérifier exhaustivement un cœur de processeur avec les technologies actuelles prendrait des millénaires. Face à ce défi, Shi Kan et son équipe se consacrent à la recherche sur la vérification des puces, un domaine exigeant et souvent négligé. Ils ont développé une plateforme de vérification agile nommée ENCORE, basée sur des FPGA (Field-Programmable Gate Arrays), pour améliorer radicalement l'efficacité et la capacité de débogage. Parallèlement à ses travaux académiques, Shi Kan s'engage dans la vulgarisation scientifique sur les puces via sa chaîne "老石谈芯". Il considère à la fois la recherche pointue sur la vérification et la diffusion des connaissances au grand public comme des tâches difficiles mais essentielles, qui méritent un engagement à long terme. Pour lui, la difficulté et la persévérance requises sont souvent le signe de la justesse d'une voie.

marsbit06/15 10:36

À quel point est-il difficile de fabriquer une puce ? Une erreur de division et 475 millions de dollars sont partis en fumée

marsbit06/15 10:36

Hoskinson met en garde : Cardano pourrait perdre son avantage de « monnaie scientifique »

Charles Hoskinson a averti que Cardano risque de perdre son avantage de "monnaie scientifique" si les DReps (délégués des porteurs de stake) rejettent une proposition de financement pour la recherche. Lors d'un livestream le 21 mai, il a souligné que l'écosystème, confronté à un environnement de financement plus difficile cette année, demande 52 millions de dollars, contre 98 millions l'an dernier, après des coupes ayant déjà touché des ingénieurs et des équipes communautaires. Hoskinson a défendu le programme de recherche comme étant la "colonne vertébrale" de Cardano, essentiel à sa différenciation. Il a cité les travaux sur la preuve d'enjeu, l'UTXO étendu, Plutus et les sidechains, ainsi que les liens académiques avec Stanford et d'autres universités. Il a rejeté l'idée de scinder le financement, arguant que cela forcerait l'écosystème à choisir quels scientifiques ou institutions licencier, une décision qu'il n'est pas qualifié pour prendre. Un de ses principaux avertissements concerne l'exode des talents : si les chercheurs de Cardano ne se sentent plus valorisés, ils pourraient être recrutés par des écosystèmes rivaux mieux financés, une perte qui serait irréversible. Hoskinson a également lié cette question à la perception du marché, se demandant quel serait l'argument d'investissement pour Cardano sans son socle scientifique. Il a conclu par un appel pressant aux DReps pour qu'ils votent en faveur de cette proposition "fondamentale", cruciale pour la position concurrentielle à long terme de Cardano.

bitcoinist05/21 16:06

Hoskinson met en garde : Cardano pourrait perdre son avantage de « monnaie scientifique »

bitcoinist05/21 16:06

活动图片