Computadoras
Una disputa de una década en matemáticas sobre la prueba de la conjetura ABC de Shinichi Mochizuki podría resolverse mediante formalización computacional. Mochizuki ha sugerido traducir su obra de 500 páginas al lenguaje de programación Lean para verificación automatizada. Este enfoque podría tender puentes entre los bandos en conflicto en la comunidad matemática.
Reportado por IA
Un artículo publicado el 18 de octubre de 2025 sugiere usos innovadores para laptops obsoletas con el fin de extender su utilidad y reducir los desechos. Desde seguridad doméstica hasta educación, estas ideas buscan dar nueva vida a dispositivos inactivos.