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..
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.
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/
Привет с Волги. Брат снова ушёл в завязку. Дети всего боятся. Скорая не приедет на такой вызов. Итог, единственные, кто приехал быстро — вывод из запоя дешево и без лишних трат. Через пару часов человек пришёл в норму. В общем, жмите, чтобы не потерять — выведение из запоя выведение из запоя Не тяните. Вдруг пригодится.
Здорова, народ Брат потерял человеческий облик Родственники в полном отчаянии В диспансер тащить — последнее дело Короче, врачи стационара реально вытащили — вывод из запоя в стационаре с индивидуальным лечением Капельницы и уколы по схеме В общем, жмите чтобы сохранить — вывод из запоя в стационаре наркологии вывод из запоя в стационаре наркологии Стационар — это единственный выход Перешлите тем кто в беде
Здорова, народ. Брат снова ушёл в завязку. Дети всего боятся. В бесплатную наркологию — стыд. Итог, единственные, кто приехал быстро — капельница от запоя на дому. Сняли абстиненцию. В общем, жмите, чтобы не потерять — выведение из запоя на дому https://vyvod-iz-zapoya-na-domu-samara-qzf.ru Звоните прямо сейчас. Вдруг пригодится.
Здорова, народ. Кошмар случился. Родные не знают, за что хвататься. Скорая не приедет на такой вызов. Итог, единственные, кто приехал быстро — вывести из запоя на дому срочно. Через пару часов человек пришёл в норму. В общем, цены и телефон тут — вывод из запоя самара на дому https://vyvod-iz-zapoya-na-domu-samara-qzf.ru Не тяните. Киньте ссылку тем, кто рядом с бедой.
Люди помогите советом Близкий человек уже 10 дней в запое Соседи уже вызвали участкового Платная клиника просит бешеные деньги Короче, единственные кто взялся за безнадёжный случай — наркология вывод из запоя в стационаре с психологом Выписали через неделю здоровым В общем, жмите чтобы сохранить — вывод из запоя в клинике спб https://vyvod-iz-zapoya-v-staczionare-sankt-peterburg-gtb.ru Звоните прямо сейчас Перешлите тем кто в беде
Доброго вечера. Брат снова ушёл в завязку. Дети всего боятся. Скорая не приедет на такой вызов. Итог, спасла эта служба — вывести из запоя на дому срочно. Приехали за 30 минут. В общем, цены и телефон тут — нарколог на дом вывод из запоя на дому нарколог на дом вывод из запоя на дому Не тяните. Вдруг пригодится.
Доброго вечера. Близкий человек уже пятые сутки в запое. Родные не знают, за что хвататься. Платная клиника — грабёж. Итог, реально крутые специалисты — капельница от запоя на дому. Приехали за 30 минут. В общем, сохраните — нарколог на дом вывод из запоя https://vyvod-iz-zapoya-na-domu-samara-qzf.ru Звоните прямо сейчас. Вдруг пригодится.
Здорова, народ Кошмар в семье Родственники в полном отчаянии В диспансер тащить — последнее дело Короче, единственные кто взялся за безнадёжный случай — вывод из запоя санкт-петербург стационар с комфортными условиями Провели полную детоксикацию В общем, телефон и цены тут — выведение из запоя в стационаре выведение из запоя в стационаре Стационар — это единственный выход Перешлите тем кто в беде
Салют, Нижний Новгород Близкий человек совсем потерял контроль Мать рыдает В диспансер тащить страшно Короче, спасла только госпитализация — вывод из запоя в стационаре круглосуточно Положили в палату В общем, вся инфа по ссылке — капельница от алкоголя в стационаре https://vyvod-iz-zapoya-v-staczionare-nizhnij-novgorod-vby.ru Звоните прямо сейчас Перешлите тем кто в такой же ситуации
Привет из Поволжья Жесть полная Родственники в панике В диспансер тащить страшно Короче, врачи стационара вытащили — цена на вывод из запоя в стационаре доступная Положили в палату В общем, вся инфа по ссылке — стационарное выведение из запоя стационарное выведение из запоя Не ждите пока станет хуже Перешлите тем кто в такой же ситуации
Доброго времени Сосед умирает на глазах Мать рыдает Никакие таблетки не помогают Короче, спасла только госпитализация — лечение запоя в стационаре полный курс Врачи наблюдали 24/7 В общем, жмите чтобы сохранить — капельница от запоя в стационаре https://vyvod-iz-zapoya-v-staczionare-nizhnij-novgorod-vby.ru Стационар — это реальный выход Перешлите тем кто в такой же ситуации
Здорово, народ Сосед умирает на глазах Дети в ужасе Никакие таблетки не помогают Короче, единственное что реально помогло — вывод из запоя в стационаре наркологии с палатой Положили в палату В общем, вся инфа по ссылке — стационарное выведение из запоя стационарное выведение из запоя Не ждите пока станет хуже Перешлите тем кто в такой же ситуации
Доброго времени Близкий человек совсем потерял контроль Дети в ужасе Домашние методы бесполезны Короче, единственное что реально помогло — цена на вывод из запоя в стационаре доступная Капельницы и препараты подбирали индивидуально В общем, вся инфа по ссылке — капельница от алкоголя в стационаре https://vyvod-iz-zapoya-v-staczionare-nizhnij-novgorod-vby.ru Не ждите пока станет хуже Перешлите тем кто в такой же ситуации
Здорово, народ Сосед умирает на глазах Дети в ужасе Домашние методы бесполезны Короче, единственное что реально помогло — вывод из запоя в стационаре круглосуточно Выписали через 5 дней без ломки В общем, жмите чтобы сохранить — цена на вывод из запоя в стационаре цена на вывод из запоя в стационаре Стационар — это реальный выход Перешлите тем кто в такой же ситуации
Привет из Поволжья Отец не встаёт с дивана Соседи звонят в полицию Никакие таблетки не помогают Короче, единственное что реально помогло — вывод из запоя в стационаре наркологии с палатой Врачи наблюдали 24/7 В общем, телефон и цены тут — цена вывода из запоя в стационаре цена вывода из запоя в стационаре Звоните прямо сейчас Перешлите тем кто в такой же ситуации
Привет из Поволжья Мой брат уже неделю в запое Соседи звонят в полицию Домашние методы бесполезны Короче, врачи стационара вытащили — вывод из запоя в стационаре наркологии с палатой Выписали через 5 дней без ломки В общем, телефон и цены тут — вывести из запоя в больнице https://vyvod-iz-zapoya-v-staczionare-nizhnij-novgorod-vby.ru Не ждите пока станет хуже Перешлите тем кто в такой же ситуации
Привет из Поволжья Жесть полная Соседи звонят в полицию Никакие таблетки не помогают Короче, врачи стационара вытащили — вывод из запоя в стационаре круглосуточно Капельницы и препараты подбирали индивидуально В общем, жмите чтобы сохранить — цена вывода из запоя в стационаре цена вывода из запоя в стационаре Стационар — это реальный выход Перешлите тем кто в такой же ситуации
Привет из Поволжья Жесть полная Мать рыдает Никакие таблетки не помогают Короче, спасла только госпитализация — вывод из запоя в стационаре круглосуточно Врачи наблюдали 24/7 В общем, не потеряйте контакты — запой стационар цены https://vyvod-iz-zapoya-v-staczionare-nizhnij-novgorod-vby.ru Не ждите пока станет хуже Перешлите тем кто в такой же ситуации
Доброго времени Сосед умирает на глазах Мать рыдает В диспансер тащить страшно Короче, единственное что реально помогло — вывод из запоя в стационаре наркологии с палатой Врачи наблюдали 24/7 В общем, жмите чтобы сохранить — лечение от запоя в стационаре https://vyvod-iz-zapoya-v-staczionare-nizhnij-novgorod-vby.ru Не ждите пока станет хуже Перешлите тем кто в такой же ситуации
Доброго времени Близкий человек совсем потерял контроль Дети в ужасе Домашние методы бесполезны Короче, единственное что реально помогло — быстрый вывод из запоя в стационаре за 3 дня Положили в палату В общем, вся инфа по ссылке — быстрый вывод из запоя в стационаре быстрый вывод из запоя в стационаре Стационар — это реальный выход Перешлите тем кто в такой же ситуации
Привет из Поволжья Сосед умирает на глазах Мать рыдает Домашние методы бесполезны Короче, спасла только госпитализация — вывод из запоя в стационаре круглосуточно Врачи наблюдали 24/7 В общем, не потеряйте контакты — стационар капельница от алкоголя https://vyvod-iz-zapoya-v-staczionare-nizhnij-novgorod-vby.ru Не ждите пока станет хуже Перешлите тем кто в такой же ситуации