{"id":52268,"date":"2025-02-25T06:08:44","date_gmt":"2025-02-25T06:08:44","guid":{"rendered":"https:\/\/enfoquenoticioso.com\/tecnologia\/los-matematicos-necesitaron-300-anos-para-demostrar-el-ultimo-teorema-de-fermat-los-ordenadores-aun-no-lo-han-conseguido\/"},"modified":"2025-02-25T06:08:44","modified_gmt":"2025-02-25T06:08:44","slug":"los-matematicos-necesitaron-300-anos-para-demostrar-el-ultimo-teorema-de-fermat-los-ordenadores-aun-no-lo-han-conseguido","status":"publish","type":"post","link":"https:\/\/enfoquenoticioso.com\/?p=52268","title":{"rendered":"Los matem\u00e1ticos necesitaron 300 a\u00f1os para demostrar el \u00faltimo teorema de Fermat. Los ordenadores a\u00fan no lo han conseguido"},"content":{"rendered":"
\n

\u201cHe encontrado una demostraci\u00f3n realmente admirable, pero el margen del libro es muy peque\u00f1o para ponerla\u201d. Es lo que el matem\u00e1tico franc\u00e9s del siglo XVII Pierre de Fermat escribi\u00f3 al enunciar su su \u201c\u00faltimo teorema\u201d<\/a>. El \u00faltimo problema de Fermat tard\u00f3 tres d\u00e9cadas en ser hallado entre los papeles del matem\u00e1tico y otros tres siglos hasta que fuera descubierta esa admirable prueba.<\/p>\n

<\/p>\n

Y a\u00fan as\u00ed el caso no est\u00e1 del todo zanjado, solo que el reto es algo distinto.<\/p>\n

Ense\u00f1\u00e1rselo a un ordenador. <\/strong>El nuevo reto<\/a> es el de lograr hacer que un ordenador logre probar el esquivo teorema. Ese es el objetivo de un nuevo proyecto, Formalising Fermat<\/em>, liderado por el Imperial College London.<\/p>\n

<\/p>\n

El problema de Fermat. <\/strong>El \u201c\u00faltimo teorema\u201d de Fermat postula que, si a, b y c son n\u00fameros naturales y no iguales a cero, la ecuaci\u00f3n an+bn=cn no tiene soluci\u00f3n si n es mayor que dos. Demostrar formalmente algo no es tan sencillo como probarlo por ensayo y error, y esta demostraci\u00f3n, demasiado compleja para el \u201cexiguo margen\u201d del cuaderno de Fermat quedar\u00eda perdida durante siglos.<\/p>\n

<\/p>\n

El problema fue resuelto en 1994<\/a> por el brit\u00e1nico Andrew Wiles, quien hab\u00eda comenzado a resolver este rompecabezascon tan solo 10 a\u00f1os. En 2016 Wiles fue galardonado con el Premio Abel, el galard\u00f3n considerado \u201cel Nobel de las matem\u00e1ticas\u201d.<\/p>\n

<\/p>\n

\n
\n
\n
\n
\n \"Dos
\n <\/a>\n <\/div>\n<\/p><\/div>\n<\/p><\/div>\n<\/div>\n

Casi un mill\u00f3n de libras. <\/strong>Otros 30 a\u00f1os despu\u00e9s de la resoluci\u00f3n del enigma y m\u00e1s de tres siglos despu\u00e9s dela muerte de Fermat, un equipo de investigadores, liderado por Kevin Buzzard, del Imperial College London, se ha puesto manos a la obra para dar un paso distinto, ense\u00f1ar a un ordenador a resolver este problema.<\/p>\n

<\/p>\n

El nuevo proyecto<\/a> comenz\u00f3 a finales de 2024 y se prolongar\u00e1 hasta 2029. Cuenta con una financiaci\u00f3n de algo m\u00e1s de 934.000 libras y ya comienza a dar algunos resultados, en forma de fragmentos de c\u00f3digo que se a\u00f1aden a una base de datos en GitHub.<\/p>\n

<\/p>\n

Lo que queda por resolver.<\/strong>Puede resultar contraintuitivo, pero este tipo de razonamientos, los que nos conducen a poder demostrar formalmente los teoremas matem\u00e1ticos, son dif\u00edciles de ense\u00f1ar a las computadoras.<\/p>\n

<\/p>\n

\n
\n
\n
\n
\n \"Wallapop
\n <\/a>\n <\/div>\n<\/p><\/div>\n<\/p><\/div>\n<\/div>\n

Recientemente, Buzzard y otros expertos explicaban la complejidad<\/a> del asunto al diario franc\u00e9s Le Monde<\/em>. Para empezar, debemos tener en cuenta que la resoluci\u00f3n de este teorema es compleja, no es casualidad que varias generaciones de matem\u00e1ticos se devanaran los sesos intentando hallarla.<\/p>\n

<\/p>\n

Estos matem\u00e1ticos contaban, adem\u00e1s, con experiencia previa en el campo de la resoluci\u00f3n de este tipo de problemas. Seg\u00fan explicaba Buzzard al diario franc\u00e9s, los matem\u00e1ticos cuentan con una base que les permite \u201csaltar pasos\u201d a la hora de explicar la resoluci\u00f3n a este problema. Un ordenador, sin embargo, debe comenzar de cero a la hora de construir su propia explicaci\u00f3n para el asunto.<\/p>\n

<\/p>\n

Y todo esto, \u00bfpara qu\u00e9? <\/strong>\u201cEl \u00faltimo teorema de Fermat (\u2026) no tiene aplicaciones, ni te\u00f3ricas ni pr\u00e1cticas, en el mundo real\u201d, se\u00f1alaba Buzzard<\/a> hace unos meses a la revista New Scientist<\/em>. Entonces, \u00bfpor qu\u00e9 tanto esfuerzo en ense\u00f1ar a un ordenador a resolver algo que ya resolvimos? La clave aqu\u00ed no est\u00e1 en el pasado sino en el futuro.<\/p>\n

<\/p>\n

Seg\u00fan explica el equipo al frente del proyecto<\/a>, los ordenadores hoy en d\u00eda pueden ser utilizados para asistir a los matem\u00e1ticos tratando de resolver problemas como la demostraci\u00f3n de teoremas, pero existe un obst\u00e1culo para materializar algunas formas de ayuda.<\/p>\n

<\/p>\n

El problema, se\u00f1alan, es que pocos matem\u00e1ticos se han enfocado en trabajar con este software, por lo que no existen herramientas que cuenten con las \u201cdefiniciones\u201d empleadas por los matem\u00e1ticos para resolver estos problemas. Trabajar en este problema deber\u00eda servir para crear las bases de datos necesarias para la resoluci\u00f3n de problemas similares en el futuro.<\/p>\n

<\/p>\n

En Xataka | Llev\u00e1bamos m\u00e1s de un siglo intentando resolver algunos problemas matem\u00e1ticos. La IA los est\u00e1 empezando a desenmara\u00f1ar<\/a><\/p>\n

Imagen | La Aritm\u00e9tica de Diofanto<\/a> \/ Pierre de Fermat por Rolland Lefebvre<\/a><\/p>\n<\/p><\/div>\n

Ver fuente<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

\u201cHe encontrado una demostraci\u00f3n realmente admirable, pero el margen del libro es muy peque\u00f1o para ponerla\u201d. Es lo que el matem\u00e1tico franc\u00e9s del siglo XVII Pierre de Fermat escribi\u00f3 al enunciar su su \u201c\u00faltimo teorema\u201d. El \u00faltimo problema de Fermat tard\u00f3 tres d\u00e9cadas en ser hallado entre los papeles del matem\u00e1tico y otros tres siglos […]<\/p>\n","protected":false},"author":2,"featured_media":52269,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[9],"tags":[],"class_list":["post-52268","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-tecnologia"],"_links":{"self":[{"href":"https:\/\/enfoquenoticioso.com\/index.php?rest_route=\/wp\/v2\/posts\/52268","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/enfoquenoticioso.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/enfoquenoticioso.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/enfoquenoticioso.com\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/enfoquenoticioso.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=52268"}],"version-history":[{"count":0,"href":"https:\/\/enfoquenoticioso.com\/index.php?rest_route=\/wp\/v2\/posts\/52268\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/enfoquenoticioso.com\/index.php?rest_route=\/wp\/v2\/media\/52269"}],"wp:attachment":[{"href":"https:\/\/enfoquenoticioso.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=52268"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/enfoquenoticioso.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=52268"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/enfoquenoticioso.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=52268"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}