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

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

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

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

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

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

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

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

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

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

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

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

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

  13. Looking at the surface design and the substance together this site has both right, and a look at zappyzen reinforced that integrated quality, sites where presentation and content reinforce each other rather than fighting are sites with full editorial coherence and this one has clearly invested in both layers in a balanced way.

  14. Как нейросетевые алгоритмы меняют [url=https://prodvizhenie-sajta-v-poiskovyh-sistemah.ru]продвижение сайта в поисковых системах[/url]?

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

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

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

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

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

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

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

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

  23. Люди помогите советом Муж просто умирает на глазах Родственники в полном отчаянии В диспансер тащить — последнее дело Короче, спасла только госпитализация — вывод из запоя санкт-петербург стационар с комфортными условиями Положили в палату В общем, телефон и цены тут — вывод из запоя в клинике спб https://vyvod-iz-zapoya-v-staczionare-sankt-peterburg-gtb.ru Звоните прямо сейчас Это может спасти жизнь

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

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

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

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

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

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

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

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

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

  33. Питер, всем привет Отец не выходит из штопора Родственники не знают что делать В диспансер тащить — страшно и стыдно Короче, врачи вытащили с того света — лечение запоя в стационаре до полной стабилизации Капельницы и препараты подбирали индивидуально В общем, вся инфа по ссылке — вывод из запоя стационар санкт петербург https://vyvod-iz-zapoya-v-staczionare-sankt-peterburg-axm.ru Стационар — это реальный шанс Это может спасти чью-то семью

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

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

  36. Всем привет из Питера Отец не встаёт с кровати Жена рыдает Скорая не приедет на такой вызов Короче, спасла только госпитализация — выведение из запоя в стационаре с капельницами Выписали через неделю здоровым В общем, вся инфа по ссылке — вывод из запоя в клинике спб https://vyvod-iz-zapoya-v-staczionare-sankt-peterburg-gtb.ru Звоните прямо сейчас Это может спасти жизнь

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

  38. Здорова, народ Близкий человек уже 10 дней в запое Жена рыдает Платная клиника просит бешеные деньги Короче, спасла только госпитализация — лечение запоя в стационаре до стабильного состояния Положили в палату В общем, жмите чтобы сохранить — вывод из запоя стационарно спб https://vyvod-iz-zapoya-v-staczionare-sankt-peterburg-gtb.ru Не ждите пока станет хуже Перешлите тем кто в беде

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

  40. Люди помогите советом Муж просто умирает на глазах Соседи уже вызвали участкового Платная клиника просит бешеные деньги Короче, врачи стационара реально вытащили — вывод из запоя стационарно с полным обследованием Капельницы и уколы по схеме В общем, вся инфа по ссылке — вывести из запоя в стационаре [url=https://vyvod-iz-zapoya-v-staczionare-sankt-peterburg-gtb.ru]вывести из запоя в стационаре[/url] Звоните прямо сейчас Это может спасти жизнь

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

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

  43. Слушайте кто сталкивался Брат снова сорвался в пьянку Жена в истерике В диспансер тащить — страшно и стыдно Короче, только стационар реально помог — вывод из запоя в стационаре круглосуточно Врачи наблюдали круглосуточно В общем, телефон и цены тут — лечение запоя в стационаре https://vyvod-iz-zapoya-v-staczionare-sankt-peterburg-axm.ru Стационар — это реальный шанс Перешлите тем кто в отчаянии

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

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

  46. Друзья ситуация Отец не выходит из штопора Жена в истерике В диспансер тащить — страшно и стыдно Короче, только стационар реально помог — лечение запоя в стационаре до полной стабилизации Врачи наблюдали круглосуточно В общем, жмите чтобы сохранить — вывести из запоя в стационаре санкт петербург https://vyvod-iz-zapoya-v-staczionare-sankt-peterburg-axm.ru Стационар — это реальный шанс Это может спасти чью-то семью

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

  48. Друзья ситуация Отец не выходит из штопора Дети напуганы В диспансер тащить — страшно и стыдно Короче, врачи вытащили с того света — вывод из запоя стационар с индивидуальным подходом Даже кодировку сделали В общем, не потеряйте контакты — выведение из запоя в стационаре наркология https://vyvod-iz-zapoya-v-staczionare-sankt-peterburg-axm.ru Стационар — это реальный шанс Это может спасти чью-то семью

  49. Слушайте кто сталкивался Брат снова сорвался в пьянку Жена в истерике Платная клиника — бешеные деньги Короче, врачи вытащили с того света — выведение из запоя в стационаре полный курс Выписали через 5 дней без ломки В общем, не потеряйте контакты — вывод из запоя в стационаре в спб https://vyvod-iz-zapoya-v-staczionare-sankt-peterburg-axm.ru Не надейтесь что само пройдёт Перешлите тем кто в отчаянии

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

Deja un comentario