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

822 comentarios

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

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

  3. Привет из Екатеринбурга. Муж пьёт без остановки. Жена плачет. Платная наркология — как счёт за квартиру. Короче, только эти ребята реально помогли — недорогой вывод из запоя в Екатеринбурге. Сняли ломку и нормализовали давление. В общем, сохраните себе в закладки — вывод из запоя капельница екатеринбург https://vyvod-iz-zapoya-na-domu-ekaterinburg-dyz.ru Звоните прямо сейчас. Может, кому-то она спасёт близкого.

  4. Всем салют. Человек в запое уже неделю. Жена плачет. Скорая не реагирует на пьянку. Короче, профессиональные врачи с горячими руками — вывод из запоя цены фиксированные. Врач осмотрел и начал детокс. В общем, жмите, чтобы не потерять — вывод из запоя круглосуточно [url=https://vyvod-iz-zapoya-na-domu-ekaterinburg-dyz.ru]https://vyvod-iz-zapoya-na-domu-ekaterinburg-dyz.ru[/url] Не откладывайте. Киньте ссылку нуждающимся.

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

  6. A piece that read as if the writer was thinking carefully rather than just typing fluently, and a look at edenstack continued that considered quality, the difference between fluent typing and careful thinking shows up in writing and this site reads as the product of thought rather than just the product of language fluency apparently.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  22. This Aviator-style slot is a widely noticed casino-style games among players in Turkey. Its fast gameplay makes it appealing for users who enjoy quick rounds. Compared with standard casino slots, Aviator focuses on timing and decision-making. Fans often appreciate the feeling of suspense as the multiplier rises. It is important to play carefully when trying any online casino game.

    In Turkey, https://aviator-oyna-oyunu.sbs/ Aviator is often seen as a dynamic choice to classic slot games. The biggest attraction is the chance to cash out before the round ends. Each session can move quickly, so players need to stay focused. The concept is clear, but the outcome is still unpredictable. That mix of speed and suspense helps explain why the game gets attention.

    This Aviator-style game is often chosen by players who prefer mobile-friendly entertainment. Many platforms present the game with a clean interface and fast loading. It allows players to follow the multiplier and make quick decisions. At the same time, players should remember that no strategy can guarantee a win. Setting limits is always a smart approach.

    Overall, Aviator provides an energetic gaming format for users in Turkey. Its growing interest comes from simple rules, quick rounds, and a strong sense of suspense. Anyone interested in casino-style games may find the format easy to understand. Nevertheless, it should be treated as entertainment rather than a way to make money. Smart bankroll control makes the experience safer and more balanced.

Deja un comentario