Computadores
Uma disputa de uma década em matemática sobre a prova da conjectura ABC de Shinichi Mochizuki pode ser resolvida usando formalização computacional. Mochizuki sugeriu traduzir seu trabalho de 500 páginas para a linguagem de programação Lean para verificação automatizada. Essa abordagem poderia unir divisões entre campos conflitantes na comunidade matemática.
Reportado por IA
Um artigo publicado em 18 de outubro de 2025 sugere usos inovadores para laptops desatualizados para estender sua utilidade e reduzir o desperdício. De segurança doméstica a educação, essas ideias visam dar nova vida a dispositivos inativos.