Te gustan las matem\u00e1ticas? No te pierdas esto! Es que usando inteligencia artificial y automatizaci\u00f3n de computadoras, investigadores de Israel han desarrollado un \u201cgenerador de conjeturas\u201d.<\/p>\n
Este sistema crea conjeturas matem\u00e1ticas, que se consideran el punto de partida para desarrollar teoremas matem\u00e1ticos.<\/p>\n
F\u00f3rmulas previamente desconocidas.
\nEl estudio, se publico en la revista Nature, y lo realizaron por estudiantes de diferentes facultades bajo la tutela del profesor asistente Ido Kaminer.<\/p>\n
El proyecto trata sobre uno de los elementos m\u00e1s fundamentales de las matem\u00e1ticas: las constantes matem\u00e1ticas.<\/p>\n
Una constante matem\u00e1tica es un n\u00famero con un valor fijo que surge naturalmente de diferentes c\u00e1lculos matem\u00e1ticos y estructuras matem\u00e1ticas en diferentes campos.<\/p>\n
Muchas constantes matem\u00e1ticas son de gran importancia en las matem\u00e1ticas, pero tambi\u00e9n en disciplinas externas a las matem\u00e1ticas, como la biolog\u00eda, la f\u00edsica y hasta la ecolog\u00eda.<\/p>\n
La proporci\u00f3n \u00e1urea y el n\u00famero de Euler son ejemplos de tales constantes fundamentales.<\/p>\n
Pi, la constante m\u00e1s famosa.
\nQuiz\u00e1s la constante m\u00e1s famosa es pi, que se estudi\u00f3 en la antig\u00fcedad en el contexto de la circunferencia de un c\u00edrculo.<\/p>\n
Hoy, pi aparece en numerosas f\u00f3rmulas en todas las ramas de la ciencia. Muchos aficionados a las matem\u00e1ticas compiten por qui\u00e9n puede recordar m\u00e1s d\u00edgitos despu\u00e9s del punto decimal:<\/p>\n
3.141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128481117450284102253594081284811174502841022094859 \u2026<\/p>\n
Los investigadores propusieron y examinaron una nueva idea: el uso de algoritmos inform\u00e1ticos para generar autom\u00e1ticamente conjeturas matem\u00e1ticas que aparecen en forma de f\u00f3rmulas para constantes matem\u00e1ticas.<\/p>\n
Una conjetura es una conclusi\u00f3n o proposici\u00f3n matem\u00e1tica que no ha sido probada; una vez que se prueba la conjetura, se convierte en un teorema.<\/p>\n
El descubrimiento de una conjetura matem\u00e1tica sobre constantes fundamentales es relativamente raro, y su fuente a menudo se encuentra en el genio matem\u00e1tico y la intuici\u00f3n humana excepcional.<\/p>\n
Los grandes genios de las matem\u00e1ticas.
\nNewton, Riemann, Goldbach, Gauss, Euler y Ramanujan son ejemplos de tal genio, y el nuevo enfoque presentado en el art\u00edculo lleva el nombre de Srinivasa Ramanujan.<\/p>\n
Ramanujan, un matem\u00e1tico indio nacido en 1887, creci\u00f3 en una familia pobre, pero logr\u00f3 llegar a Cambridge a la edad de 26 a\u00f1os por iniciativa de los matem\u00e1ticos brit\u00e1nicos Godfrey Hardy y John Littlewood.<\/p>\n
A los pocos a\u00f1os enferm\u00f3 y regres\u00f3 a la India, donde muri\u00f3 a la edad de 32 a\u00f1os.<\/p>\n
Durante su breve vida logr\u00f3 grandes logros en el mundo de las matem\u00e1ticas.<\/p>\n
Una de las raras capacidades de Ramanujan fue la formulaci\u00f3n intuitiva de f\u00f3rmulas matem\u00e1ticas no probadas.<\/p>\n
Por lo tanto, el equipo de investigaci\u00f3n de Technion decidi\u00f3 llamar a su algoritmo \u201cla m\u00e1quina de Ramanujan\u201d, ya que genera conjeturas sin probarlas, al \u201cimitar\u201d la intuici\u00f3n utilizando IA y una considerable automatizaci\u00f3n inform\u00e1tica.<\/p>\n
A la computadora no le importa si es f\u00e1cil o dif\u00edcil.
\nSeg\u00fan el profesor Kaminer, \u201cnuestros resultados son impresionantes porque a la computadora no le importa si probar la f\u00f3rmula es f\u00e1cil o dif\u00edcil, y no basa los nuevos resultados en ning\u00fan conocimiento matem\u00e1tico previo, sino solo en los n\u00fameros de las constantes matem\u00e1ticas.<\/p>\n
En gran medida, nuestros algoritmos funcionan de la misma manera que el propio Ramanujan, que present\u00f3 resultados sin pruebas.<\/p>\n
Es importante se\u00f1alar que el algoritmo en s\u00ed mismo es incapaz de probar las conjeturas que encontr\u00f3; en este punto, la tarea debe ser resuelta por matem\u00e1ticos humanos\u201d.<\/p>\n
Las conjeturas generadas por la m\u00e1quina Ramanujan han proporcionado nuevas f\u00f3rmulas para constantes matem\u00e1ticas conocidas como pi, el n\u00famero de Euler (e), la constante de Ap\u00e9ry (que est\u00e1 relacionada con la funci\u00f3n zeta de Riemann) y la constante catalana.<\/p>\n
Conjeturas que hasta ahora eran desconocidas.
\nSorprendentemente, los algoritmos desarrollados por los investigadores del Technion lograron no solo crear f\u00f3rmulas conocidas para estas famosas constantes, sino tambi\u00e9n descubrir varias conjeturas que hasta ahora eran desconocidas.<\/p>\n
Los investigadores estiman que este algoritmo podr\u00e1 acelerar significativamente la generaci\u00f3n de conjeturas matem\u00e1ticas sobre constantes fundamentales y ayudar a identificar nuevas relaciones entre estas constantes.<\/p>\n
Como se mencion\u00f3, hasta ahora, estas conjeturas se basaban en un genio poco com\u00fan.<\/p>\n
Es por eso que en cientos de a\u00f1os de investigaci\u00f3n, solo se encontraron unas pocas docenas de f\u00f3rmulas. La m\u00e1quina Ramanujan del Technion tard\u00f3 solo unas horas en descubrir todas las f\u00f3rmulas para pi descubiertas por Gauss, el \u201cPr\u00edncipe de las Matem\u00e1ticas\u201d, durante toda una vida de trabajo, junto con docenas de f\u00f3rmulas nuevas que Gauss desconoc\u00eda.<\/p>\n
El futuro de las matem\u00e1ticas.
\nSeg\u00fan los investigadores, \u201cideas similares pueden conducir en el futuro al desarrollo de conjeturas matem\u00e1ticas en todas las \u00e1reas de las matem\u00e1ticas y, de esta manera, proporcionar una herramienta significativa para la investigaci\u00f3n matem\u00e1tica\u201d.<\/p>\n
El profesor Kaminer a\u00f1ade que el descubrimiento matem\u00e1tico m\u00e1s interesante realizado por los algoritmos de la m\u00e1quina de Ramanujan hasta la fecha se relaciona con una nueva estructura algebraica oculta dentro de una constante catalana.<\/p>\n
La estructura fue descubierta por el estudiante de secundaria Yahel Manor, quien particip\u00f3 en el proyecto como parte del Programa Alpha para j\u00f3venes orientados a la ciencia.<\/p>\n
Fuente: Latam Israel.<\/p>\n","protected":false},"excerpt":{"rendered":"
Te gustan las matem\u00e1ticas? No te pierdas esto! Es que usando inteligencia artificial y automatizaci\u00f3n de computadoras, investigadores de Israel han desarrollado un \u201cgenerador de conjeturas\u201d. Este sistema crea conjeturas matem\u00e1ticas, que se consideran el punto de partida para desarrollar teoremas matem\u00e1ticos. F\u00f3rmulas previamente desconocidas. El estudio, se publico en la revista Nature, y lo realizaron por estudiantes de diferentes facultades bajo la tutela del profesor asistente Ido Kaminer. El proyecto trata sobre uno de los elementos m\u00e1s fundamentales de las matem\u00e1ticas: las constantes matem\u00e1ticas. Una constante matem\u00e1tica es un n\u00famero con un valor fijo que surge naturalmente de diferentes c\u00e1lculos matem\u00e1ticos y estructuras matem\u00e1ticas en diferentes campos. Muchas constantes matem\u00e1ticas son de gran importancia en las matem\u00e1ticas, pero tambi\u00e9n en disciplinas externas a las matem\u00e1ticas, como la biolog\u00eda, la f\u00edsica y hasta la ecolog\u00eda. La proporci\u00f3n \u00e1urea y el n\u00famero de Euler son ejemplos de tales constantes fundamentales. Pi, la constante m\u00e1s famosa. Quiz\u00e1s la constante m\u00e1s famosa es pi, que se estudi\u00f3 en la antig\u00fcedad en el contexto de la circunferencia de un c\u00edrculo. Hoy, pi aparece en numerosas f\u00f3rmulas en todas las ramas de la ciencia. Muchos aficionados a las matem\u00e1ticas compiten por qui\u00e9n puede recordar m\u00e1s …<\/p>\n","protected":false},"author":3,"featured_media":91576,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[3],"tags":[],"class_list":["post-91575","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-ciencia-salud"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.radiojai.com\/index.php\/wp-json\/wp\/v2\/posts\/91575","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.radiojai.com\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.radiojai.com\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.radiojai.com\/index.php\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/www.radiojai.com\/index.php\/wp-json\/wp\/v2\/comments?post=91575"}],"version-history":[{"count":0,"href":"https:\/\/www.radiojai.com\/index.php\/wp-json\/wp\/v2\/posts\/91575\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.radiojai.com\/index.php\/wp-json\/wp\/v2\/media\/91576"}],"wp:attachment":[{"href":"https:\/\/www.radiojai.com\/index.php\/wp-json\/wp\/v2\/media?parent=91575"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.radiojai.com\/index.php\/wp-json\/wp\/v2\/categories?post=91575"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.radiojai.com\/index.php\/wp-json\/wp\/v2\/tags?post=91575"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}