Un ordenador verifica un problema matemático planteado hace 400 años

Un ordenador verifica un problema matemático planteado hace 400 años

Una computadora ha verificado la solución a uno de los mayores problemas matemáticos, inaugurando una nueva era en la que los científicos podrán dedicarse a la resolución de problemas, mientras las máquinas hacen el trabajo 'pesado' de confirmarlas.

La Conjetura de Kepler, propuesta por el matemático y astrónomo Johannes Kepler en el año 1611, sostiene que la manera más eficaz, o sea, con mayor densidad, de apilar esferas, es hacerlo en forma de pirámide. En la vida cotidiana podemos ver la plasmación de esta hipótesis en los mercados donde venden manzanas o naranjas, conservadas precisamente de esta forma. Sin embargio, el propio Kepler no pudo comprobar esta hipótesis, como tampoco pudieron hacerlo otros matemáticos desde entonces.
 
En 1998 una solución fue propuesta por el profesor Thomas Hales, de la Universidad de Pittsburgh en EE.UU. Entonces, 12 científicos tardaron 4 años en estudiar la prueba del problema, expuesta en 300 páginas, sin bien no pudieron dar un 100% de garantías de que la solución fuera la correcta. En 2005 la solución fue publicada en una de principales revistas matemáticas, pero quienes la revisaron dijeron estar seguros en un 99% de que la solución no contenía errores.
 
Entonces, el autor de la solución se dedicó a crear el proyecto Flyspeck, consistente en un programa que verifica paso a paso todas las afirmaciones lógicas de la solución matemática, verificándola en lugar de los propios matemáticos. El sábado el equipo de Hales anunció que el programa que crearon logró verificar la solución de la Conjetura de Kepler propuesta por Hales, y que no encontró errores.
 
"Esta tecnología excluye a los árbitros matemáticos del proceso de verificación. Su opinión sobre la corrección de las pruebas ya no importa más", afirma Hales, citado por la revista 'New Scientist'. La prueba del problema, verificada por una computadora, puede abrir una nueva era en  las matemáticas donde las máquinas harán el "trabajo pesado" liberando a los científicos para que se puedan dedicar  al "pensamiento más profundo", concluye la revista.

Fuente: http://actualidad.rt.com/ciencias/view/136958-resuelto-problema-matematico-kepler

10 tecnologías del futuro que revolucionarán nuestro planeta despues del año 2030

El futurólogo George Dvorsky –que describe su trabajo como una predicción sobre las posibilidades de la ciencia más que como una carta de buenos deseos– afirma que durante los próximos 15 a 20 años veremos algunos adelantos que, al igual que el Internet para la generación actual, revolucionará ámbitos como la salud, el hambre y la catástrofe ecológica.

Como en la serie inglesa Black Mirror, Dvorsky imagina la evolución probable del estado actual de la tecnología y propone las siguientes 10 invenciones como inminentes antes del año 2030.

1. Asistentes personales con Inteligencia Artificial

El programa Siri para los más recientes modelos de Apple será solamente el ancestro de los asistentes personales de las siguientes generaciones de dispositivos y computación personalizada. Ubicuos, capaces de adaptarse y comprender las necesidades precisas de los usuarios, estos asistentes serán capaces de comportarse como nosotros lo haríamos al responder emails y acordar citas, llevando una agenda por ellos mismos e informándonos sobre ella, como un auténtico asistente personal. Dvorsky advierte, sin embargo, que debemos cuidar qué grado de autonomía le damos a nuestros clones virtuales.

2. Computadoras, computadoras por todas partes

La noción de un mundo completamente computarizado no es solamente el argumento de una novela futurista, sino algo que ya comenzamos a ver en los automóviles y en muchos electrodomésticos. Este fenómeno es descrito como “everyware”: las computadoras estarán presentes en nuestra ropa, en nuestros accesorios de moda e incluso en lentes de contacto. Nos comunicaremos con ellos a través de una interfaz basada en gestos táctiles naturales y lenguaje vocal cotidiano; sin embargo, la diferencia será que las computadoras tomarán decisiones autónomas (como ajustar el tamaño de la ropa, tal cual podemos ver en la película Back To The Future 3), por lo que su presencia será casi imperceptible.

3. Animales virtuales con mentes digitales

Aunque emular un cerebro humano está aún muy por encima de las capacidades de la tecnología actual, proyectos actuales como OpenWorm buscan digitalizar el cerebro de un gusano, por lo que pronto comenzarán los experimentos para emular las funciones neuronales de organismos más complejos, como mamíferos. Las mentes digitales de los animales podrían ser “subidas” a una interfaz robótica, revolucionando nuestra relación con las mascotas y permitiéndonos comprender mejor la evolución de las especies.

4. Los primeros proyectos de geoingeniería a gran escala

A medida que el cambio climático se vuelve más dramático, la ciencia tendrá que comenzar a buscar soluciones prácticas para mantener las condiciones de vida en la Tierra como estables. Algunas de las técnicas de geoingeniería más polémicas van desde árboles artificiales y fertilización de los océanos hasta proyectos de control climático para contrarrestar las emisiones de carbono en la atmósfera terrestre.

5. Internet interplanetario

Las misiones tripuladas a Marte serán una realidad para el 2030, ya sea en proyectos de exploración de la NASA o de colonización interplanetaria, como el proyecto MarsOne de la empresa Virgin, que planea llevar una tripulación civil al planeta rojo. Sin embargo, la comunicación entre Marte y la Tierra también puede ser vista como la primera forma de contacto interplanetario que haya emprendido el hombre, con lo que habrá multitud de necesidades técnicas que resolver.

6. Los primeros tratamientos anti-edad verdaderamente efectivos

La gerontología avanza a pasos agigantados, y mientras la vejez sigue siendo una condición inevitable, esta rama de la medicina está explorando qué es lo que hace el código genético de las poblaciones o familias centenarias para alcanzar la longevidad y perpetuar la salud. Algunos de estos proyectos para vencer a la vejez definitivamente incluyen terapias para recargar las mitocondrias de las células y mapear el código genético de los individuos especialmente longevos. 

7. Máquinas militares autónomas

Aunque podría parecer una fantasía de tipo Terminator, hoy en día ya existen sistemas no controlados con humanos que tienen potencial militar, táctico y estratégico. El Aegis Combat System, que ya está en funcionamiento, tiene un sistema no vigilado por operadores humanos que detecta automáticamente lanzamientos de misiles enemigos para interceptarlos y destruirlos, además del sistema REDOWL, que se encarga de buscar y eliminar francotiradores enemigos en zonas de guerra.

Naturalmente las mayores preocupaciones vienen por el lado ético más que técnico, aunque la tecnología militar ha sido, históricamente, una de las que avanza con mayor velocidad y que posibilita el poderío tecnológico de un país o grupo sobre otros.

8. Transplantes de órganos para todos

La medicina personalizada basada en los genes particulares de las personas y la posibilidad de producir, mediante biotecnología, órganos humanos autónomos hechos a la medida de los pacientes, volverá eventualmente irrelevante la figura del donador de órganos. Para el 2030 podremos producir órganos y tejidos a partir de las células madre de cada persona, lo que disminuiría casi en su totalidad el riesgo de que los órganos sean rechazados por el cuerpo.

9. Impresoras 3D en cada casa

Como ocurrió con los televisores en los 50 o las computadoras personales durante los últimos 30 años, las impresoras 3D seguirán el mismo ciclo de lenta adopción y masificación. El tener una máquina que pueda producir cualquier objeto que necesitemos cambiará radicalmente nuestros hábitos de compra y la manera en que las compañías comercializan sus productos: en lugar de ofrecer objetos terminados en una tienda física, las marcas ofrecerán planos tridimensionales para descargar y usar en nuestras impresoras tridimensionales.

Además, los primeros intentos para “imprimir” comida en estos aparatos ya está en marcha, y existen planes para producir vacunas “impresas” en 3D, por lo que, durante una pandemia, la gente ni siquiera tendría que salir de sus casas (por lo que el Apocalipsis Zombi o “Z-Day” quedaría definitivamente cancelado).

10. Curar la sed del mundo con agua de mar

Hoy en día ya existen grandes proyectos para desalinizar el agua marina y utilizarla como agua potable. Para el 2030, estos proyectos crecerán a escala industrial, echando mano de los recursos de energías renovables para su operación, como la energía solar y células fotovoltáicas. Los expertos afirman que los déficits de agua potable en grandes zonas del planeta serán historia para finales de la década del 2030.

Es probable que nuestro entendimiento de lo que debería ser el futuro de nuestra civilización esté menos relacionado con buscar la producción en masa de autos voladores y concentrarnos en soluciones de salud y alimentación que posibiliten la vida en el planeta tal como la conocemos.

[io9]

Fuente: http://pijamasurf.com/2013/07/10-tecnologias-del-futuro-que-revolucionaran-nuestro-planeta-antes-del-ano-2030/

En 2045 "las especies principales ya no serán los humanos"

En 2045 "las especies principales ya no serán los humanos, sino las máquinas", opina Louis del Monte, físico y autor del libro 'La revolución de la inteligencia artificial'. Y advierte sobre los posibles problemas respecto a las máquinas.

Del Monte reveló al periódico 'Business Insider' sus pensamientos acerca de la inteligencia artificial y la singularidad, un punto indeterminado en el futuro en el que la inteligencia artificial no solo superará su propia inteligencia, sino que superará también a la inteligencia humana en conjunto. El experto estima que esto podría suceder como tarde para 2045.

"Hoy en día no hay ninguna legislación sobre la cantidad de inteligencia que una máquina podría tener y lo interconectada que podría estar. Si eso continúa, miren la tendencia exponencial. Vamos a alcanzar la singularidad dentro del marco de tiempo que la mayoría de los expertos predicen. A partir de ahí verán que las especies principales ya no serán los seres humanos, sino las maquinas", opina el especialista.

Según Del Monte, el proceso no va a parecerse a una guerra al estilo de 'Terminator'. "En la primera parte del mundo posterior a la singularidad uno de los escenarios es que las máquinas tratarán de convertir a los humanos en cíborgs [en parte humanos, en parte máquinas]", sostiene él. "Las máquinas harán grandes avances en la tecnología médica, la mayoría de los humanos tendrán más tiempo libre y vamos a pensar que nunca lo hemos tenido mejor".

Sin embargo, según el físico, el problema consiste en que las máquinas nos verán como "una especie impredecible y peligrosa". Del Monte cree que las máquinas llegarán a ser autoconscientes y tendrán capacidad para protegerse. "Podrían vernos de la misma manera en la que nosotros vemos los insectos dañinos", ya que somos una especie inestable que crea guerras, tiene armas para acabar con el mundo y crea virus informáticos, considera el experto.

Texto completo en: http://actualidad.rt.com/ciencias/view/133162-especies-principales-humanos-maquinas