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.979 comentarios

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  15. Honestly this was the highlight of my reading queue today, and a look at zappyzen extended that across more pages I will return to, ranking what I read against what else I read each day is something I do informally and this site keeps moving up in those rankings the more I explore it.

  17. Liked the natural conversational tone throughout, never stiff and never overly casual either, and a stop at blog44field 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.

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

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

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

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

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

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

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

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

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

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

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

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

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

  31. Приветствую После вчерашнего вообще никак Рассол уже не лезет Короче, единственное что реально спасает — капельница от похмелья быстрый результат Поставили капельницу с солевым раствором В общем, не потеряйте контакты — капельница от похмелья цена [url=https://kapelnicza-ot-pokhmelya-voronezh-ges.ru]капельница от похмелья цена[/url] Капельница — это быстро и эффективно Перешлите тем кто в такой же ситуации

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Deja un comentario