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

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

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

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

  4. Came here from another site and ended up exploring much further than I planned, and a look at softolive only encouraged more exploration, the kind of place where one click leads to another not through manipulative design but through genuinely interesting content is rare and worth highlighting when found like this somewhere on the open internet.

  5. Запоя вывод в клинике Сочи: лечение алкогольной зависимости, капельница, детоксикация, помощь нарколога на дому, кодирование и реабилитация анонимно
    Детальнее – вывод из запоя вызов на дом

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

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

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

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

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

  11. Доброго вечера. Близкий человек уже пятые сутки в запое. Родные не знают, за что хвататься. В бесплатную наркологию — стыд. Итог, единственные, кто приехал быстро — вывести из запоя на дому срочно. Приехали за 30 минут. В общем, вся инфа по ссылке — вывести из запоя вывести из запоя Каждый час на счету. Киньте ссылку тем, кто рядом с бедой.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Deja un comentario