Historias de la IA: ¿estamos en peligro los matemáticos?

Presentamos en esta entrada una reflexión sobre el futuro de las matemáticas y la Inteligencia Artificial; algunos ven en peligro nuestra disciplina, pero mostraremos que no hay tal peligro, sino una nueva tierra de oportunidades..

Godfrey Harold Hardy

En 1928, David Hilbert planteó el siguiente problema: encontrar un procedimiento general que permita probar o refutar cualquier proposición matemática. Por tanto, si esto es posible, todas las matemáticas podrían ser mecanizadas. Esto es lo que Alan Turing intentó llevar a la práctica con su magnífico desarrollo mental de la llamada máquina de Turing.

A ese desafío respondió uno de los matemáticos más puristas de la historia, G.H. Hardy. En su artículo

H. Hardy: Mathematical Proof. Mind, New Series, Vol. 38, No. 149 (Jan., 1929), pp. 1-25. Published by: Oxford University Press on behalf of the Mind Association

escribía Hardy:

Supongamos, por ejemplo, que pudiéramos encontrar un sistema finito de reglas que nos permitiera determinar si una fórmula dada es demostrable o no. Este sistema encarnaría un teorema de la metamatemática. Por supuesto, no existe tal teorema, y eso es una gran suerte, ya que, si existiera, dispondríamos de un conjunto mecánico de reglas para resolver todos los problemas matemáticos, y nuestro trabajo como matemáticos llegaría a su fin.

Alan Mathison Turing

 Nos encontramos ahora ante un desafío todavía más complejo. Si lo que Turing hacía se correspondería con lo que hoy llamamos IA clásica basada en las leyes de la lógica, ahora nos enfrentamos a la IA generativa, basada en la optimización y en la probabilidad. Ya hay teoremas que han sido probados usando adecuadamente la IA, por ejemplo, leemos en OpenIA el artículo titulado Un modelo de OpenAI ha refutado una conjetura central de la geometría discreta.

 El problema, planteado por Paul Erdős en 1946, dice: si colocas n puntos en el plano, ¿cuántos pares pueden estar a una distancia de exactamente 1? Es un típico problema de Combinatoria, pero la IA lo ha llevado por un camino completamente inesperado, utilizando técnicas de geometría algebraica. ¿Quiere esto decir que la IA nos va a sustituir a los matemáticos? Al contrario, lo que esta prueba abre es una nueva manera de trabajar para los matemáticos. Em las próximas décadas, esta colaboración va a ser esencial, y seguramente las IAs (no es una sola) van a ayudarnos en gran manera. Y no olvidemos que estos problemas que pretendemos resolver via esta colaboración han sido planteados a lo largo de los años por los propios matemáticos, y, seguramente, esto es lo que seguirá ocurriendo en el futuro. Y también conviene recordar que las IAs son constructos basados en las mismas matemáticas; su avance necesitará nuevos desarrollos de la propia disciplina.

_________________

Manuel de León (CSIC, Fundador del ICMAT, Real Academia de Ciencias, Real Academia Canaria de Ciencias, Real Academia Galega de Ciencias, Presidente del ICM2006 Madrid y miembro del Comité Ejecutivo de IMU (2007-2024) y del Comité Ejecutivo del ISC (2014-2018). Web: https://www.manueldeleon.es/

 

Compartir:

Entradas relacionadas

2.347 comentarios

  1. Здорова, народ. Кошмар случился. Родные не знают, за что хвататься. Платная клиника — грабёж. Итог, единственные, кто приехал быстро — вывод из запоя дешево и без лишних трат. Сняли абстиненцию. В общем, сохраните — выведение из запоя на дому https://vyvod-iz-zapoya-na-domu-samara-qzf.ru Каждый час на счету. Киньте ссылку тем, кто рядом с бедой.

  2. Доброго вечера. Отец не выходит из штопора. Дети всего боятся. В бесплатную наркологию — стыд. Итог, спасла эта служба — вывод из запоя с выездом круглосуточно. Через пару часов человек пришёл в норму. В общем, вся инфа по ссылке — вывод из запоя на дому круглосуточно https://vyvod-iz-zapoya-na-domu-samara-qzf.ru Не тяните. Вдруг пригодится.

  3. Привет с Волги. Брат снова ушёл в завязку. Мать на грани срыва. Скорая не приедет на такой вызов. Итог, реально крутые специалисты — вывод из запоя на дому недорого в Самаре. Врач поставил капельницу. В общем, жмите, чтобы не потерять — снятие интоксикации на дому https://vyvod-iz-zapoya-na-domu-samara-qzf.ru Не тяните. Вдруг пригодится.

  4. Здорова, народ. Брат снова ушёл в завязку. Дети всего боятся. Скорая не приедет на такой вызов. Итог, спасла эта служба — вывести из запоя на дому срочно. Через пару часов человек пришёл в норму. В общем, вся инфа по ссылке — снятие интоксикации на дому https://vyvod-iz-zapoya-na-domu-samara-qzf.ru Не тяните. Вдруг пригодится.

  5. Всем привет с Волги. Беда пришла в семью. Мать в отчаянии. В наркологию тащить — стыд и страх. Короче, реально профессиональные врачи — вывод из запоя на дому недорого. Через пару часов человек пришёл в себя. В общем, не потеряйте — вывести из запоя https://vyvod-iz-zapoya-na-domu-samara-rtw.ru Не ждите. Вдруг это спасёт чью-то жизнь.

  6. Доброго вечера. Отец не выходит из штопора. Родные не знают, за что хвататься. В бесплатную наркологию — стыд. Итог, спасла эта служба — вывод из запоя на дому недорого в Самаре. Врач поставил капельницу. В общем, вся инфа по ссылке — вывод из запоя на дому круглосуточно [url=https://vyvod-iz-zapoya-na-domu-samara-qzf.ru]https://vyvod-iz-zapoya-na-domu-samara-qzf.ru[/url] Звоните прямо сейчас. Киньте ссылку тем, кто рядом с бедой.

  7. Самара, привет. Близкий человек снова сорвался. Соседи уже стучат в стену. В наркологию тащить — стыд и страх. Короче, реально профессиональные врачи — вывод из запоя на дому недорого. Через пару часов человек пришёл в себя. В общем, цены и телефон тут — вывод из запоя дешево вывод из запоя дешево Звоните прямо сейчас. Вдруг это спасёт чью-то жизнь.

  8. Здорова, народ. Отец не выходит из штопора. Родственники не знают, как помочь. Платная клиника — деньги выкачивает. Короче, спасла эта бригада — вывод из запоя с выездом в Самаре. Приехали через 35 минут. В общем, не потеряйте — вывод из запоя на дому самара круглосуточно https://vyvod-iz-zapoya-na-domu-samara-rtw.ru Не ждите. Вдруг это спасёт чью-то жизнь.

  9. Liked the natural conversational tone throughout, never stiff and never overly casual either, and a stop at bestbuytouch kept that comfortable middle ground going, finding a tone that respects the reader without becoming distant or overly familiar is harder than it sounds and this site nails that balance consistently across many different pieces.

  10. Здорова, народ Ситуация критическая Соседи стучат в стену В больницу тащить страшно Короче, единственное что вытащило из запоя — вывод из запоя в стационаре наркологии с палатой Врачи наблюдали 24/7 В общем, вся инфа по ссылке — выведение из запоя в стационаре решение https://vyvod-iz-zapoya-v-staczionare-nizhnij-novgorod-jkp.ru Стационар — это реальный выход Перешлите тем кто в такой же ситуации

  11. Всем привет из Самары. Мой отец уже четвёртые сутки в запое. Родственники не знают, что делать. В диспансер тащить — позор. Короче, реально крутые врачи — капельница от запоя на дому. Приехали через 40 минут. В общем, цены и телефон тут — выведение из запоя выведение из запоя Не ждите. Перешлите тем, кто рядом с бедой.

  12. Доброго дня, земляки Ситуация критическая Жена в истерике В больницу тащить страшно Короче, только стационар реально спас — быстрый вывод из запоя в стационаре за 3 дня Выписали через 5 дней без ломки В общем, вся инфа по ссылке — запой стационар цены https://vyvod-iz-zapoya-v-staczionare-nizhnij-novgorod-jkp.ru Стационар — это реальный выход Перешлите тем кто в такой же ситуации

  13. Здорова, народ Ситуация критическая Соседи стучат в стену В больницу тащить страшно Короче, врачи вытащили с того света — быстрый вывод из запоя в стационаре за 3 дня Капельницы и препараты подбирали индивидуально В общем, телефон и цены тут — вывод из запоя в наркологической клинике https://vyvod-iz-zapoya-v-staczionare-nizhnij-novgorod-jkp.ru Звоните прямо сейчас Перешлите тем кто в такой же ситуации

  14. Доброго дня, земляки Брат снова сорвался Соседи стучат в стену В больницу тащить страшно Короче, только стационар реально спас — стационарное выведение из запоя под наблюдением Выписали через 5 дней без ломки В общем, телефон и цены тут — вывести из запоя в больнице https://vyvod-iz-zapoya-v-staczionare-nizhnij-novgorod-jkp.ru Не ждите пока станет хуже Перешлите тем кто в такой же ситуации

  15. Доброго дня, земляки Близкий человек уже несколько дней в запое Соседи стучат в стену В больницу тащить страшно Короче, врачи вытащили с того света — вывод из запоя в стационаре круглосуточно Капельницы и препараты подбирали индивидуально В общем, вся инфа по ссылке — цена вывода из запоя в стационаре https://vyvod-iz-zapoya-v-staczionare-nizhnij-novgorod-jkp.ru Не ждите пока станет хуже Перешлите тем кто в такой же ситуации

  16. Здорова, народ Муж просто потерял себя Соседи стучат в стену Нужна профессиональная помощь Короче, только стационар реально спас — быстрый вывод из запоя в стационаре за 3 дня Врачи наблюдали 24/7 В общем, жмите чтобы сохранить — стационар капельница от алкоголя https://vyvod-iz-zapoya-v-staczionare-nizhnij-novgorod-jkp.ru Звоните прямо сейчас Перешлите тем кто в такой же ситуации

  17. Приветствую Близкий человек уже несколько дней в запое Жена в истерике В больницу тащить страшно Короче, только стационар реально спас — лечение запоя в стационаре полный курс Врачи наблюдали 24/7 В общем, жмите чтобы сохранить — вывод из запоя в стационаре вывод из запоя в стационаре Не ждите пока станет хуже Перешлите тем кто в такой же ситуации

  18. Доброго дня. Мой отец уже четвёртые сутки в запое. Соседи уже стучат в стену. Скорая не приедет на такой вызов. Короче, спасла эта бригада — вывод из запоя с выездом круглосуточно. Через пару часов человек пришёл в себя. В общем, цены и телефон тут — нарколог на дом вывод из запоя на дому нарколог на дом вывод из запоя на дому Не ждите. Перешлите тем, кто рядом с бедой.

  19. Здорова, народ. Брат не выходит из штопора. Родственники не знают, что делать. Платная клиника — бешеные цены. Короче, спасла эта бригада — выведение из запоя на дому анонимно. Врач поставил систему. В общем, цены и телефон тут — вывести из запоя на дому вывести из запоя на дому Не ждите. Перешлите тем, кто рядом с бедой.

  20. Приветствую Отец не выходит из штопора Родственники не знают что делать Таблетки не помогают Короче, единственное что вытащило из запоя — вывод из запоя в стационаре наркологии с палатой Положили в палату В общем, не потеряйте контакты — лечение запоя в стационаре https://vyvod-iz-zapoya-v-staczionare-nizhnij-novgorod-jkp.ru Звоните прямо сейчас Перешлите тем кто в такой же ситуации

  21. Всем привет из Самары. Брат не выходит из штопора. Мать в панике. Скорая не приедет на такой вызов. Короче, единственные, кто быстро приехал — выведение из запоя на дому анонимно. Врач поставил систему. В общем, не потеряйте — вывод из запоя на дому самара круглосуточно https://vyvod-iz-zapoya-na-domu-samara-nxc.ru Каждый час ухудшает состояние. Перешлите тем, кто рядом с бедой.

  22. Здорова, народ Ситуация критическая Родственники не знают что делать В больницу тащить страшно Короче, только стационар реально спас — вывод из запоя в стационаре наркологии с палатой Выписали через 5 дней без ломки В общем, жмите чтобы сохранить — быстрый вывод из запоя в стационаре быстрый вывод из запоя в стационаре Не ждите пока станет хуже Перешлите тем кто в такой же ситуации

  23. Доброго дня, земляки Отец не выходит из штопора Соседи стучат в стену В больницу тащить страшно Короче, врачи вытащили с того света — лечение запоя в стационаре полный курс Выписали через 5 дней без ломки В общем, не потеряйте контакты — вывести из запоя в больнице https://vyvod-iz-zapoya-v-staczionare-nizhnij-novgorod-jkp.ru Стационар — это реальный выход Перешлите тем кто в такой же ситуации

  24. Здорова, народ Муж просто потерял себя Соседи стучат в стену В больницу тащить страшно Короче, врачи вытащили с того света — стационарное выведение из запоя под наблюдением Капельницы и препараты подбирали индивидуально В общем, жмите чтобы сохранить — выведение из запоя в стационаре решение https://vyvod-iz-zapoya-v-staczionare-nizhnij-novgorod-jkp.ru Стационар — это реальный выход Перешлите тем кто в такой же ситуации

  25. Здорова, народ Брат снова сорвался Дети напуганы В больницу тащить страшно Короче, единственное что вытащило из запоя — быстрый вывод из запоя в стационаре за 3 дня Выписали через 5 дней без ломки В общем, не потеряйте контакты — вывести из запоя в больнице https://vyvod-iz-zapoya-v-staczionare-nizhnij-novgorod-jkp.ru Не ждите пока станет хуже Перешлите тем кто в такой же ситуации

  26. Приветствую Брат снова сорвался Родственники не знают что делать Нужна профессиональная помощь Короче, единственное что вытащило из запоя — вывод из запоя в стационаре круглосуточно Выписали через 5 дней без ломки В общем, жмите чтобы сохранить — капельница от запоя в стационаре [url=https://vyvod-iz-zapoya-v-staczionare-nizhnij-novgorod-jkp.ru]https://vyvod-iz-zapoya-v-staczionare-nizhnij-novgorod-jkp.ru[/url] Стационар — это реальный выход Перешлите тем кто в такой же ситуации

  27. Здорова, народ. Брат не выходит из штопора. Мать в панике. В диспансер тащить — позор. Короче, спасла эта бригада — выведение из запоя на дому анонимно. Через пару часов человек пришёл в себя. В общем, цены и телефон тут — вывести из запоя на дому вывести из запоя на дому Не ждите. Вдруг это спасёт чью-то жизнь.

  28. Всем привет из Самары. Брат не выходит из штопора. Соседи уже стучат в стену. Платная клиника — бешеные цены. Короче, спасла эта бригада — вывод из запоя с выездом круглосуточно. Врач поставил систему. В общем, не потеряйте — вывести из запоя на дому вывести из запоя на дому Каждый час ухудшает состояние. Перешлите тем, кто рядом с бедой.

  29. Доброго дня. Мой отец уже четвёртые сутки в запое. Мать в панике. Платная клиника — бешеные цены. Короче, спасла эта бригада — вывод из запоя с выездом круглосуточно. Приехали через 40 минут. В общем, вся информация по ссылке — снятие интоксикации на дому снятие интоксикации на дому Каждый час ухудшает состояние. Вдруг это спасёт чью-то жизнь.

  30. Всем привет из Самары. Брат не выходит из штопора. Родственники не знают, что делать. В диспансер тащить — позор. Короче, спасла эта бригада — вывести из запоя на дому срочно. Приехали через 40 минут. В общем, не потеряйте — снятие интоксикации на дому снятие интоксикации на дому Не ждите. Вдруг это спасёт чью-то жизнь.

  31. Здорова, народ. Близкий человек снова сорвался. Родственники не знают, что делать. Платная клиника — бешеные цены. Короче, единственные, кто быстро приехал — вывод из запоя с выездом круглосуточно. Через пару часов человек пришёл в себя. В общем, не потеряйте — цена вывод из запоя на дому https://vyvod-iz-zapoya-na-domu-samara-nxc.ru Звоните прямо сейчас. Вдруг это спасёт чью-то жизнь.

  32. In the middle of an otherwise scattered day this post landed as a moment of focus, and a stop at softelite extended that focused feeling across more pages, content that anchors a fragmented day rather than contributing to the fragmentation is content with real centring effect and this site is providing that anchoring function for me.

  34. Салют, Воронеж Жесть после вчерашнего Организм просто отказывается работать Короче, единственное что реально спасает — капельница от похмелья цена доступная Через час состояние нормализовалось В общем, не потеряйте контакты — сколько стоит капельница на дому https://kapelnicza-ot-pokhmelya-voronezh-mnb.ru Не мучайтесь рассолами Перешлите тем кто в такой же ситуации

  35. Привет из Черноземья Тошнит, трясёт, сил нет Организм просто отказывается работать Короче, врачи приехали и поставили систему — капельница от похмелья недорого и качественно Голова прошла и тошнота ушла В общем, не потеряйте контакты — капельница от алкоголя цена https://kapelnicza-ot-pokhmelya-voronezh-mnb.ru Капельница — это быстро и эффективно Перешлите тем кто в такой же ситуации

  36. Здорово, народ Голова раскалывается Организм просто отказывается работать Короче, нашел реально работающий способ — капельница от похмелья цена доступная Голова прошла и тошнота ушла В общем, не потеряйте контакты — прокапать от алкоголя https://kapelnicza-ot-pokhmelya-voronezh-mnb.ru Не мучайтесь рассолами Перешлите тем кто в такой же ситуации

  37. Доброго дня Тошнит, трясёт, сил нет Поилки и таблетки не помогают Короче, нашел реально работающий способ — капельница от похмелья быстрый результат Поставили капельницу с солевым раствором В общем, телефон и цены тут — сколько стоит капельница на дому https://kapelnicza-ot-pokhmelya-voronezh-mnb.ru Не мучайтесь рассолами Перешлите тем кто в такой же ситуации

  38. Привет из Черноземья Тошнит, трясёт, сил нет Поилки и таблетки не помогают Короче, врачи приехали и поставили систему — капельница от похмелья недорого и качественно Голова прошла и тошнота ушла В общем, вся инфа по ссылке — сколько стоит капельница на дому от запоя сколько стоит капельница на дому от запоя Капельница — это быстро и эффективно Перешлите тем кто в такой же ситуации

  39. Салют, Воронеж Жесть после вчерашнего Поилки и таблетки не помогают Короче, единственное что реально спасает — капельница от похмелья на дому срочно Поставили капельницу с солевым раствором В общем, вся инфа по ссылке — вывод из запоя капельница на дому вывод из запоя капельница на дому Не мучайтесь рассолами Перешлите тем кто в такой же ситуации

  40. Доброго дня Тошнит, трясёт, сил нет Поилки и таблетки не помогают Короче, единственное что реально спасает — капельница от похмелья быстрый результат Голова прошла и тошнота ушла В общем, вся инфа по ссылке — капельница от запоя на дому цена капельница от запоя на дому цена Капельница — это быстро и эффективно Перешлите тем кто в такой же ситуации

  41. Здорово, народ Тошнит, трясёт, сил нет Рассол уже не лезет Короче, нашел реально работающий способ — капельница от похмелья быстрый результат Голова прошла и тошнота ушла В общем, не потеряйте контакты — капельница на дому сколько стоит https://kapelnicza-ot-pokhmelya-voronezh-mnb.ru Звоните прямо сейчас Перешлите тем кто в такой же ситуации

  42. Доброго дня Жесть после вчерашнего Организм просто отказывается работать Короче, нашел реально работающий способ — капельница от похмелья цена доступная Приехали через 30 минут В общем, вся инфа по ссылке — капельница от алкоголизма https://kapelnicza-ot-pokhmelya-voronezh-mnb.ru Капельница — это быстро и эффективно Перешлите тем кто в такой же ситуации

  43. Здорово, народ Жесть после вчерашнего Поилки и таблетки не помогают Короче, единственное что реально спасает — капельница от похмелья цена доступная Приехали через 30 минут В общем, вся инфа по ссылке — поставить капельницу от запоя на дому цена поставить капельницу от запоя на дому цена Капельница — это быстро и эффективно Перешлите тем кто в такой же ситуации

  44. Привет из Черноземья Тошнит, трясёт, сил нет Поилки и таблетки не помогают Короче, врачи приехали и поставили систему — капельница от похмелья клиника на дому Вернулся к жизни В общем, не потеряйте контакты — сколько стоит прокапать от алкоголизма https://kapelnicza-ot-pokhmelya-voronezh-mnb.ru Не мучайтесь рассолами Перешлите тем кто в такой же ситуации

  45. Привет из Черноземья Голова раскалывается Рассол уже не лезет Короче, врачи приехали и поставили систему — капельница от похмелья на дому срочно Приехали через 30 минут В общем, вся инфа по ссылке — капельница от запоя на дому круглосуточно капельница от запоя на дому круглосуточно Капельница — это быстро и эффективно Перешлите тем кто в такой же ситуации

  46. Привет из Черноземья Жесть после вчерашнего Рассол уже не лезет Короче, нашел реально работающий способ — капельница от похмелья на дому срочно Приехали через 30 минут В общем, телефон и цены тут — прокапаться от запоя прокапаться от запоя Капельница — это быстро и эффективно Перешлите тем кто в такой же ситуации

  47. Привет из Черноземья А на работу через пару часов Организм просто отказывается работать Короче, нашел реально работающий способ — капельница от похмелья клиника на дому Через час состояние нормализовалось В общем, вся инфа по ссылке — прокапать от алкоголя https://kapelnicza-ot-pokhmelya-voronezh-mnb.ru Не мучайтесь рассолами Перешлите тем кто в такой же ситуации

Deja un comentario