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

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

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

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

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

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

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

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

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

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

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

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

  12. Now setting this aside as a model of how to write thoughtfully on the topic, and a stop at softelite extended that model status, content that becomes a reference for how a kind of writing should be done is content with influence beyond its own readership and this site is reaching that level for me clearly today.

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

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

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

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

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

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

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

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

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

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

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

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

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

  26. During the time spent here I noticed the absence of the usual distractions, and a stop at softsmith extended that distraction free experience, content that does not fight my attention with pop ups and modals and aggressive prompts is content that respects me and this site has clearly chosen the respectful approach throughout.

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

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

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

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

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

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

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

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

Deja un comentario