Science & Space · Page 2
AI accelerating research, exploring space and decoding the natural world
An AI Just Verified the Hardest Prime-Number Proof Mathematicians Have Ever Checked
Axiom Math's AxiomProver confirmed a result that sits at the very edge of what we know about primes. The real prize, though, is what this means for the safety of AI-written code.
Fifty Eyes in the Sky: How AI Satellites Are Catching Wildfires Before They Spread
A new network of space-based sensors, paired with AI, aims to spot a wildfire while it is still small enough to stamp out. The first three satellites launched in July. Forty-seven more are planned.
Défi de Reproductibilité : Ce que nous avons appris en testant 2 200 articles sur l'IA
Une expérience massive a testé les affirmations de plus de 2 200 articles de recherche en IA. Voici ce que les résultats révèlent sur la reproductibilité.
Un modèle d'IA satellite que vous pouvez vraiment utiliser : l'Institut Allen ouvre OlmoEarth Embeddings
OlmoEarth Studio de Allen AI peut désormais exporter des « empreintes digitales » numériques de n'importe quelle zone terrestre, permettant aux chercheurs de cartographier les forêts, de détecter les feux de forêt et de suivre les changements terrestres avec presque aucune donnée d'entraînement étiquetée.
L'IA d'OpenAI a résolu 10 problèmes mathématiques difficiles. Maintenant, les mathématiciens se demandent ce que valent leurs emplois.
Un nouveau modèle d'OpenAI a craqué des énigmes mathématiques vieilles d'une décennie qui ont déconcerté les chercheurs humains pendant des années. Les résultats sont impressionnants. Le différend sur le crédit autour de l'une d'elles est un avertissement sur la façon dont les laboratoires d'IA parlent des personnes dont ils s'appuient sur le travail.
Oubliez le silicium : les scientifiques construisent la prochaine génération d'informatique à partir de cellules cérébrales vivantes
Des masses de neurones humains cultivées en laboratoire jouent à des jeux vidéo, guident des robots dans des labyrinthes et laissent entrevoir un avenir où l'intelligence « artificielle » est faite de chair, pas de puces.
Les chercheurs en IA des universités sont marginalisés dans leur propre domaine
La pointe de l'IA s'est déplacée des campus aux laboratoires privés. Des universitaires réunis récemment par Schmidt Sciences ont décrit un domaine plus difficile à financer, plus difficile à étudier et plus difficile à justifier que jamais.
Cette startup utilise l'IA pour rechercher des matériaux de puces qui dégagent moins de chaleur
Discovered Materials a levé 9 millions de dollars pour déployer des agents IA qui testent des milliers de matériaux potentiels pour puces par jour, visant à réduire la chaleur qui rend les centres de données si coûteux à exploiter.
Un relecteur a mal compris une étude sur un vaccin. L'IA pourrait aggraver les choses.
Quand un économiste de la santé a découvert que les mandats scolaires imposant le vaccin contre le VPH ont très peu d'effet sur les taux de cancer du col utérin, son relecteur a cru qu'il attaquait le vaccin lui-même. Ce genre de malentendu est courant. Les revues générées par l'IA pourraient le rendre systématique.
Le prochain saut de l'IA scientifique viendra des agents de raisonnement, pas des modèles gourmands en données comme AlphaFold
AlphaFold a marqué les esprits, mais les conditions qui l'ont rendu possible ont nécessité 53 ans et 21 milliards de dollars pour être réunies. Pour la majorité de la science, une autre forme d'IA, capable de raisonner et d'expérimenter étape par étape, montre déjà ce qui vient ensuite.
GeoAI, soutenu par la NASA, permet aux chercheurs d'analyser des images satellites en quelques lignes de Python
Un outil gratuit et open-source vise à rendre l'analyse géospatiale alimentée par l'IA et l'analyse d'images satellites accessible aux scientifiques sans formation en apprentissage automatique, grâce au financement de la NASA et de l'U.S. Geological Survey.
L'IA de Google DeepMind a donné à la Jamaïque un jour supplémentaire pour se préparer à un ouragan de catégorie 5
Un nouveau modèle de prévision des tempêtes a prédit que l'ouragan Melissa frapperait la Jamaïque cinq jours à l'avance, un jour complet avant ce que les anciens outils auraient pu prévoir. Un article paru dans Nature indique que l'IA fonctionne de manières que même ses propres créateurs ne peuvent pas entièrement expliquer.
L'IA a conçu des virus fonctionnels à partir de zéro. Voici ce que cela signifie réellement
Des chercheurs de Stanford ont utilisé un grand modèle génomique pour générer des virus bactériophages fonctionnels. Les virus fonctionnent. Ce ne sont pas des armes. Mais les mêmes chercheurs se demandent si nous devrions nous préparer avant que quelqu'un en construise une version qui cible les humains.
WeatherNext de Google DeepMind offre aux prévisionnistes un jour supplémentaire complet pour avertir les populations des cyclones
Le laboratoire publie le code et les poids du modèle d'un système qui a prédit l'intensification rapide de l'ouragan Melissa et son arrivée à la Jamaïque en 2025.
37 chercheurs affirment que la science devrait cesser d'écrire des articles pour les humains et commencer à les écrire pour l'IA
Une nouvelle proposition vise à remplacer l'article scientifique traditionnel par un format conçu pour les agents IA. Les chercheurs à l'origine de cette initiative affirment que le PDF vieux de 350 ans freine la science.