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