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

848 comentarios

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

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

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

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

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

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

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

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

  9. Доброго времени суток. Близкий человек полностью потерял контроль. Дети боятся оставаться дома. Государственные клиники — только учёт и очереди. В общем, единственные, кто взялся без нервотрёпки — частная наркологическая помощь с выездом. К вечеру состояние стабилизировалось. В общем, не потеряйте — наркологическая помощь наркологическая помощь Не тяните с решением. Вдруг это поможет кому-то.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  50. Всем привет!
    Редко пишу на форумах. Тема близкая, промолчать не получилось. Из своего опыта скажу: внутренние перелёты почти всегда выгоднее чем кажутся если брать заранее. Главное что понял за много поездок: бронь жилья на месте — это лотерея, особенно в сезон.
    Пиши что интересует, попробую помочь.
    Если вы знаете что такое Белокуриха – вы крутой!

Deja un comentario