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

  1. Всем привет из Нижнего. Мой брат окончательно ушёл в запой. Соседи шепчутся за спиной. Частные центры ломят космические суммы. Итог, выручила только эта клиника — плановая наркологическая помощь без очередей. К вечеру состояние стабилизировалось. В общем, телефон и цены тут — анонимная наркологическая частная клиника https://narkologicheskaya-pomoshh-nizhnij-novgorod-ksc.ru Не тяните с решением. Вдруг это поможет кому-то.

  2. Приветствую. Близкий человек полностью потерял контроль. Жена места не находит. Скорая не считается с такой проблемой. В общем, выручила только эта клиника — наркологическая помощь недорого в Нижнем Новгороде. Врач осмотрел и начал капельницу. В общем, телефон и цены тут — наркологическая клиника цены на услуги https://narkologicheskaya-pomoshh-nizhnij-novgorod-ksc.ru Звоните прямо сейчас. Перешлите тем, кто в отчаянии.

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

  4. Всем привет из Нижнего. Близкий человек полностью потерял контроль. Жена места не находит. Государственные клиники — только учёт и очереди. Итог, выручила только эта клиника — платная наркологическая помощь с гарантией. Врач осмотрел и начал капельницу. В общем, все контакты по ссылке — частная наркологическая помощь https://narkologicheskaya-pomoshh-nizhnij-novgorod-ksc.ru Звоните прямо сейчас. Вдруг это поможет кому-то.

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

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

  7. Всем привет из Нижнего. Близкий человек полностью потерял контроль. Соседи шепчутся за спиной. Государственные клиники — только учёт и очереди. В общем, выручила только эта клиника — наркологическая помощь на дому. Врач осмотрел и начал капельницу. В общем, все контакты по ссылке — частная наркологическая помощь https://narkologicheskaya-pomoshh-nizhnij-novgorod-ksc.ru Звоните прямо сейчас. Перешлите тем, кто в отчаянии.

  8. Доброго времени. Ситуация жёсткая. Жена в отчаянии. Платная клиника — деньги на ветер. Короче, единственные, кто быстро приехал и поставил систему — прокапаться на дому от алкоголя цена фиксированная. К утру человек пришёл в себя. В общем, не потеряйте — прокапаться в нижнем новгороде https://kapelnica-ot-zapoya-nizhnij-novgorod-icy.ru Не ждите чуда. Вдруг это поможет.

  9. Вывод из запоя в Казани требуется, когда человек не может самостоятельно остановиться, а употребление алкоголя продолжается несколько дней, неделю или дольше. Запой опасен интоксикацией, потерей сил, нарушением работы сердца, печени, нервной системы, развитием белой горячки, судорог, инфаркта, инсульта и тяжелых осложнений.
    Разобраться лучше – [url=https://vyvod-iz-zapoya-kazan22.ru/]нарколог на дом вывод из запоя казань[/url]

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

  11. Всем привет из НН. Близкий человек уже неделю в запое. Дети испуганы. В бесплатную наркологию — страшно идти. Короче, спасла только эта капельница — капельница от запоя на дому. К утру человек пришёл в себя. В общем, не потеряйте — стоимость капельницы в нижнем новгороде https://kapelnica-ot-zapoya-nizhnij-novgorod-icy.ru Звоните прямо сейчас. Вдруг это поможет.

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

  13. Здорова, ребята. Брат не выходит из штопора. Соседи уже начали звонить в полицию. Скорая не считается с запоями. Короче, реально помогли эти врачи — прокапаться от алкоголя недорого. Приехали через 45 минут. В общем, жмите, чтобы сохранить — прокапаться в нижнем новгороде https://kapelnica-ot-zapoya-nizhnij-novgorod-icy.ru Звоните прямо сейчас. Киньте ссылку тем, кто в беде.

  14. Приветствую всех. Отец снова сорвался в пьянку. Дети испуганы. Скорая не считается с запоями. Короче, единственные, кто быстро приехал и поставил систему — капельница от запоя цена доступная. Приехали через 45 минут. В общем, не потеряйте — стоимость капельницы в нижнем новгороде https://kapelnica-ot-zapoya-nizhnij-novgorod-icy.ru Звоните прямо сейчас. Киньте ссылку тем, кто в беде.

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

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

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

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

  19. Приветствую всех. Брат не выходит из штопора. Дети испуганы. Скорая не считается с запоями. Короче, спасла только эта капельница — капельница от запоя цена доступная. Приехали через 45 минут. В общем, все контакты по ссылке — капельница в нижнем новгороде цена https://kapelnica-ot-zapoya-nizhnij-novgorod-icy.ru Не ждите чуда. Киньте ссылку тем, кто в беде.

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

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

  22. Приветствую всех. Ситуация жёсткая. Соседи уже начали звонить в полицию. Платная клиника — деньги на ветер. Короче, реально помогли эти врачи — капельница от запоя цена доступная. Врач сразу начал детокс. В общем, жмите, чтобы сохранить — капельница на дому нижний новгород от алкоголя https://kapelnica-ot-zapoya-nizhnij-novgorod-icy.ru Не ждите чуда. Вдруг это поможет.

  23. Доброго времени. Отец снова сорвался в пьянку. Соседи уже начали звонить в полицию. Скорая не считается с запоями. Короче, реально помогли эти врачи — поставить капельницу от запоя на дому цена адекватная. Сняли острую интоксикацию. В общем, цены и телефон тут — прокапаться от алкоголя [url=https://kapelnica-ot-zapoya-nizhnij-novgorod-icy.ru]прокапаться от алкоголя[/url] Не ждите чуда. Киньте ссылку тем, кто в беде.

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

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

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

  27. Доброго дня. Близкий человек сорвался в запой. Дети напуганы до смерти. Скорая не считает это проблемой. Итог, реально профессиональные врачи — частная наркологическая помощь анонимно. Приехали через 35 минут. В общем, не потеряйте — наркологическая клиника недорого наркологическая клиника недорого Не медлите. Отправьте тем, кто рядом с бедой.

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

  29. Привет из Нижнего. Близкий человек сорвался в запой. Соседи уже стучат в стену. В диспансер тащить — позор на район. В общем, реально профессиональные врачи — наркологическая помощь недорого в Нижнем Новгороде. Приехали через 35 минут. В общем, не потеряйте — наркологическая помощь недорого наркологическая помощь недорого Не медлите. Отправьте тем, кто рядом с бедой.

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

  31. Здорова, народ. Беда случилась. Соседи уже стучат в стену. Платная клиника — огромные счета. В общем, выручила только эта клиника — платная наркологическая помощь с выездом. К вечеру состояние нормализовалось. В общем, не потеряйте — анонимная наркологическая помощь нарколог https://narkologicheskaya-pomoshh-nizhnij-novgorod-fql.ru Не медлите. Вдруг это спасёт жизнь.

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

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

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

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

  36. Здорова, народ. Отец снова ушёл в штопор. Дети напуганы до смерти. В диспансер тащить — позор на район. Итог, единственные, кто быстро отреагировал — анонимная наркологическая частная клиника. Приехали через 35 минут. В общем, жмите, чтобы сохранить — анонимная наркологическая помощь нарколог https://narkologicheskaya-pomoshh-nizhnij-novgorod-fql.ru Звоните прямо сейчас. Вдруг это спасёт жизнь.

  37. Всем здравствуйте. Беда случилась. Мать рыдает. В диспансер тащить — позор на район. Итог, единственные, кто быстро отреагировал — анонимная наркологическая частная клиника. К вечеру состояние нормализовалось. В общем, не потеряйте — наркологическая клиника цены на услуги https://narkologicheskaya-pomoshh-nizhnij-novgorod-fql.ru Каждый час усугубляет ситуацию. Вдруг это спасёт жизнь.

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

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

  40. Доброго дня. Близкий человек сорвался в запой. Дети напуганы до смерти. Платная клиника — огромные счета. В общем, единственные, кто быстро отреагировал — наркологическая помощь на дому срочно. Сняли абстинентный синдром. В общем, все контакты по ссылке — наркологическая клиника клиника помощь наркологическая клиника клиника помощь Звоните прямо сейчас. Вдруг это спасёт жизнь.

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

  42. Всем здравствуйте. Брат уже пятые сутки не просыхает. Мать рыдает. Платная клиника — огромные счета. Итог, выручила только эта клиника — наркологическая помощь недорого в Нижнем Новгороде. К вечеру состояние нормализовалось. В общем, цены и телефон тут — анонимная наркологическая частная клиника [url=https://narkologicheskaya-pomoshh-nizhnij-novgorod-fql.ru]анонимная наркологическая частная клиника[/url] Звоните прямо сейчас. Вдруг это спасёт жизнь.

  43. Доброго времени суток. Близкий человек полностью потерял контроль. Родственники не знают, что предпринять. Частные центры ломят космические суммы. Итог, реально профессиональная бригада врачей — частная наркологическая помощь с выездом. Приехали в течение часа. В общем, жмите, чтобы сохранить — наркологическая клиника недорого https://narkologicheskaya-pomoshh-nizhnij-novgorod-ksc.ru Каждый день усугубляет ситуацию. Вдруг это поможет кому-то.

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

  45. Здорова, ребята. Близкий человек полностью потерял контроль. Дети боятся оставаться дома. Государственные клиники — только учёт и очереди. Итог, выручила только эта клиника — наркологическая помощь на дому. Врач осмотрел и начал капельницу. В общем, телефон и цены тут — частная наркологическая помощь https://narkologicheskaya-pomoshh-nizhnij-novgorod-ksc.ru Звоните прямо сейчас. Перешлите тем, кто в отчаянии.

  46. Здорова, ребята. Отец уже вторую неделю не просыхает. Соседи шепчутся за спиной. Государственные клиники — только учёт и очереди. В общем, выручила только эта клиника — плановая наркологическая помощь без очередей. Сняли острую интоксикацию. В общем, все контакты по ссылке — наркологическая помощь недорого https://narkologicheskaya-pomoshh-nizhnij-novgorod-ksc.ru Звоните прямо сейчас. Перешлите тем, кто в отчаянии.

  47. Приветствую. Случилась беда. Дети боятся оставаться дома. Частные центры ломят космические суммы. В общем, реально профессиональная бригада врачей — наркологическая помощь недорого в Нижнем Новгороде. Приехали в течение часа. В общем, жмите, чтобы сохранить — наркологическая клиника стоимость https://narkologicheskaya-pomoshh-nizhnij-novgorod-ksc.ru Не тяните с решением. Вдруг это поможет кому-то.

  48. Приветствую. Случилась беда. Дети боятся оставаться дома. Государственные клиники — только учёт и очереди. Итог, реально профессиональная бригада врачей — частная наркологическая помощь с выездом. Приехали в течение часа. В общем, телефон и цены тут — наркологическая помощь цена https://narkologicheskaya-pomoshh-nizhnij-novgorod-ksc.ru Звоните прямо сейчас. Перешлите тем, кто в отчаянии.

  49. Приветствую. Случилась беда. Дети боятся оставаться дома. Скорая не считается с такой проблемой. Итог, выручила только эта клиника — частная наркологическая помощь с выездом. К вечеру состояние стабилизировалось. В общем, телефон и цены тут — наркологическая клиника анонимная помощь нарколога https://narkologicheskaya-pomoshh-nizhnij-novgorod-ksc.ru Звоните прямо сейчас. Перешлите тем, кто в отчаянии.

  50. Здорова, ребята. Мой брат окончательно ушёл в запой. Дети боятся оставаться дома. Частные центры ломят космические суммы. В общем, реально профессиональная бригада врачей — платная наркологическая помощь с гарантией. К вечеру состояние стабилизировалось. В общем, все контакты по ссылке — анонимная наркологическая частная клиника https://narkologicheskaya-pomoshh-nizhnij-novgorod-ksc.ru Не тяните с решением. Вдруг это поможет кому-то.

Deja un comentario