Ordinateurs
Un différend de dix ans en mathématiques concernant la preuve de la conjecture ABC par Shinichi Mochizuki pourrait être résolu par une formalisation informatique. Mochizuki a suggéré de traduire son œuvre de 500 pages dans le langage de programmation Lean pour une vérification automatisée. Cette approche pourrait combler les divisions entre les camps rivaux de la communauté mathématique.
Rapporté par l'IA
Un article publié le 18 octobre 2025 suggère des utilisations innovantes pour les ordinateurs portables obsolètes afin d'étendre leur utilité et de réduire les déchets. De la sécurité domestique à l'éducation, ces idées visent à redonner vie à des appareils inactifs.