Investigadores del Instituto Tecnológico de Israel (Technion), usando inteligencia artificial y automatización, han desarrollado un generador de conjeturas capaz de crear problemas matemáticos que son la base de los teoremas. Dicho generador ha recibido el nombre de "Máquina de Ramanujan" en memoria del genio autodidacta hindú que había llegado a conclusiones matemáticas muy avanzadas sin apenas instrucción. El trabajo ha aparecido en la revista nature, y sus autores han creado también una página web (www.RamanujanMachine.com) para las personas que deseen permitir que la red utilice los ciclos de proceso de su computadora, sugiera una prueba o desarrolle un código hacia nuevas estructuras matemáticas. Visto en abc.es