Vue lecture

Il y a de nouveaux articles disponibles, cliquez pour rafraîchir la page.

Preuves informatiques : vérifier sans révéler et de façon aléatoire est désormais possible

Les informaticiens savaient déjà comment prouver la véracité d’une affirmation sans révéler d’informations sur celle-ci, ou la vérifier en n’en examinant que de petits extraits pris au hasard. Ils ont désormais réussi à combiner ces deux approches en mettant au point une méthode de preuve « vérifiable de façon probabiliste et à divulgation nulle de connaissance ». Un tour de force en informatique théorique, qui ouvre de nouvelles perspectives pour la sécurité informatique.

Les côtes européennes s’affaissent

Grâce à la combinaison inédite de données satellitaires radar et GPS, des chercheurs ont établi une carte précise des mouvements verticaux des côtes européennes. Certaines s’enfoncent, un phénomène qui exacerbe les risques liés à la hausse du niveau de la mer.

[La semaine en bref] Manger bio est-il bon pour la santé ?

… oui, quand on étudie des perdrix, des souris, des lapins, des bovins… Pour les humains, les preuves sont moins évidentes à réunir, mais les faisceaux d’indices convergent ; le mont Fuji se recoiffe de plus en plus tard ; les chercheurs en alerte face aux faux résultats de recherche créés par lA. Et aussi : un temple nabatéen englouti…en Italie.

Un problème sur les facteurs premiers d’une somme progresse après des décennies de blocage

Comment se comportent les facteurs premiers d’une somme ? Cette question simple qui relie nombres premiers, addition et multiplication est au centre de plusieurs conjectures redoutables en théorie des nombres. Une nouvelle estimation de la croissance des facteurs premiers des nombres de la suite n2 + 1 a été établie, et laisse espérer des progrès dans la résolution de la célèbre conjecture abc.

La fée hydroélectricité

Si Raoul Dufy a peint « La Fée Électricité », Mucha, héraut de l’art nouveau, a fait sa fée hydroélectricité en rendant hommage, avec une allégorie de la « Houille blanche », à l’un des pionniers de cette source d’énergie, Aristide Bergès.

Un pas vers l’horloge nucléaire

Alors que les horloges atomiques exploitent les niveaux d’énergie des électrons d’un atome, une horloge nucléaire s’appuie sur les niveaux d’énergie du noyau lui-même. Mais la réalisation d’une telle horloge fait face à nombreux défis techniques. Une mesure très précise d’une propriété du thorium, cruciale pour cette entreprise, vient d’être réussie.

Lucy : histoire d’une découverte

La découverte de Lucy il y a cinquante ans n’est pas le simple produit de la chance. Elle a résulté des données collectées au cours des missions scientifiques qui étudiaient alors le passé de l’Afrique de l’Est, et surtout des initiatives prises par certains de leurs membres.

À la poursuite des supersolides

Rigide comme un cristal, mais fluide… et même superfluide ! Ce matériau impossible que les physiciens traquaient depuis longtemps a été observé dans un gaz d’atomes ultrafroids. Les chercheurs commencent à en comprendre les propriétés.

Cristaux : il ne leur manque que la vie

Le monde cristallin inspire un large éventail d’œuvres de fiction, mettant en scène d’étonnantes créatures. Leurs mœurs et leurs pouvoirs doivent tout à la fascinante physicochimie des cristaux, comme le montre cet extrait du livre Le Laboratoire de l’imaginaire (2024), du chimiste Fabrice Chemla.

Comment un « chatbot » diminue l’adhésion aux théories du complot

Une nouvelle étude montre qu’en personnalisant ses réponses et en puisant dans des ressources très vastes pour donner des arguments précis, un agent conversationnel (GPT-4 turbo) est capable de réduire sur la durée l’adhésion de son interlocuteur à une théorie du complot. Décryptage de Jean-François Bonnefon, spécialiste des interactions humains-intelligence artificielle.

❌