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://narkologicheskaya-pomoshh-nizhnij-novgorod-ksc.ru Каждый день усугубляет ситуацию. Вдруг это поможет кому-то.
Привет из Екб. Муж не выходит из комнаты. Соседи уже стучат в дверь. Скорая помощь просто разводит руками. Короче говоря, спасла только эта бригада — вывод из запоя на дому анонимно. Врач сразу поставил систему. В общем, вся инфа и контакты по ссылке — снятие интоксикации на дому https://vyvod-iz-zapoya-na-domu-ekaterinburg-mfk.ru Звоните прямо сейчас. Вдруг кому-то это спасёт жизнь.
Доброго вечера. Отец не встаёт с дивана. Соседи уже стучат в дверь. Скорая помощь просто разводит руками. В итоге, реально крутые специалисты — срочное выведение из запоя капельницей. К ночи человек пришёл в себя. В общем, телефон и расценки тут — капельница от запоя на дому цена https://vyvod-iz-zapoya-na-domu-ekaterinburg-mfk.ru Звоните прямо сейчас. Отправьте тем, кто рядом с бедой.
Привет из Екб. Муж не выходит из комнаты. Родственники на взводе. Скорая помощь просто разводит руками. Короче говоря, реально крутые специалисты — помощь нарколога на дом. Врач сразу поставил систему. В общем, жмите, чтобы сохранить — поставить капельницу от запоя на дому цена https://vyvod-iz-zapoya-na-domu-ekaterinburg-mfk.ru Каждый час усугубляет состояние. Вдруг кому-то это спасёт жизнь.
Привет из Екб. Просто ужас. Родственники на взводе. Скорая помощь просто разводит руками. Короче говоря, единственные кто быстро приехал и помог — вывод из запоя на дому анонимно. Врач сразу поставил систему. В общем, жмите, чтобы сохранить — поставить капельницу от запоя на дому цена https://vyvod-iz-zapoya-na-domu-ekaterinburg-mfk.ru Не ждите. Вдруг кому-то это спасёт жизнь.
Здорова, ребята. Мой брат окончательно ушёл в запой. Дети боятся оставаться дома. Скорая не считается с такой проблемой. Итог, выручила только эта клиника — частная наркологическая помощь с выездом. Сняли острую интоксикацию. В общем, телефон и цены тут — платная наркологическая помощь платная наркологическая помощь Каждый день усугубляет ситуацию. Перешлите тем, кто в отчаянии.
Доброго вечера. Близкий человек уже 5 дней в запое. Жена в истерике. Платная клиника — грабёж среди бела дня. Короче говоря, спасла только эта бригада — помощь нарколога на дом. К ночи человек пришёл в себя. В общем, не потеряйте, пригодится — прокапаться от алкоголя прокапаться от алкоголя Звоните прямо сейчас. Отправьте тем, кто рядом с бедой.
Привет из Екб. Муж не выходит из комнаты. Жена в истерике. В наркологию везти — страшно. В итоге, единственные кто быстро приехал и помог — срочное выведение из запоя капельницей. Сняли алкогольную интоксикацию. В общем, жмите, чтобы сохранить — сколько стоит прокапаться от алкоголя https://vyvod-iz-zapoya-na-domu-ekaterinburg-mfk.ru Звоните прямо сейчас. Вдруг кому-то это спасёт жизнь.
Здорова, народ. Отец не встаёт с дивана. Соседи уже стучат в дверь. В наркологию везти — страшно. Короче говоря, единственные кто быстро приехал и помог — недорогой вывод из запоя в Екатеринбурге. Приехали через 30 минут. В общем, телефон и расценки тут — вывод из запоя капельница на дому вывод из запоя капельница на дому Звоните прямо сейчас. Отправьте тем, кто рядом с бедой.
Здорова, народ. Муж не выходит из комнаты. Дети всего боятся. В наркологию везти — страшно. Короче говоря, реально крутые специалисты — помощь нарколога на дом. Приехали через 30 минут. В общем, жмите, чтобы сохранить — вывод из запоя круглосуточно вывод из запоя круглосуточно Каждый час усугубляет состояние. Отправьте тем, кто рядом с бедой.
Здорова, народ. Близкий человек уже 5 дней в запое. Жена в истерике. В наркологию везти — страшно. Короче говоря, единственные кто быстро приехал и помог — недорогой вывод из запоя в Екатеринбурге. Приехали через 30 минут. В общем, вся инфа и контакты по ссылке — вывод из запоя с выездом вывод из запоя с выездом Звоните прямо сейчас. Вдруг кому-то это спасёт жизнь.
Доброго вечера. Отец не встаёт с дивана. Дети всего боятся. Скорая помощь просто разводит руками. В итоге, единственные кто быстро приехал и помог — вывод из запоя цены адекватные. Врач сразу поставил систему. В общем, телефон и расценки тут — вывод из запоя в екатеринбурге https://vyvod-iz-zapoya-na-domu-ekaterinburg-mfk.ru Не ждите. Отправьте тем, кто рядом с бедой.
Здорова, народ. Мой отец уже четвёртый день в запое. Жена на грани срыва. Платная клиника просит бешеные деньги. Короче, единственные, кто приехал без вопросов — помощь нарколога на дом. Прибыли через 40 минут. В общем, жмите, чтобы не потерять — капельница от запоя на дому капельница от запоя на дому Не тяните время. Вдруг это спасёт чью-то жизнь.
Здорова, народ. Мой отец уже четвёртый день в запое. Соседи уже начали коситься. Платная клиника просит бешеные деньги. Короче, реально профессиональные врачи — анонимное выведение из запоя с капельницей. Сняли абстинентный синдром. В общем, сохраните себе — вывод из запоя срочно круглосуточно https://vyvod-iz-zapoya-na-domu-nizhnij-novgorod-pwj.ru Звоните прямо сейчас. Киньте ссылку нуждающимся.
Доброго дня. Мой отец уже четвёртый день в запое. Жена на грани срыва. В диспансер тащить — клеймо на всю жизнь. Короче, реально профессиональные врачи — круглосуточный вывод из запоя с выездом. Сняли абстинентный синдром. В общем, цены и телефон тут — вывод из запоя вывод из запоя Звоните прямо сейчас. Киньте ссылку нуждающимся.
Доброго дня. Мой отец уже четвёртый день в запое. Дети плачут по ночам. Скорая только забирает за 100 км. Короче, реально профессиональные врачи — недорогой вывод из запоя в Нижнем Новгороде. Через пару часов человек задышал ровно. В общем, жмите, чтобы не потерять — вывод из запоя в нижнем новгороде https://vyvod-iz-zapoya-na-domu-nizhnij-novgorod-pwj.ru Промедление может стоить здоровья. Киньте ссылку нуждающимся.
Здорова, народ. Беда пришла. Жена на грани срыва. Скорая только забирает за 100 км. Короче, реально профессиональные врачи — помощь нарколога на дом. Сняли абстинентный синдром. В общем, сохраните себе — вывод из запоя на дому недорого вывод из запоя на дому недорого Звоните прямо сейчас. Вдруг это спасёт чью-то жизнь.
Здорова, народ. Беда пришла. Жена на грани срыва. Платная клиника просит бешеные деньги. Короче, реально профессиональные врачи — недорогой вывод из запоя в Нижнем Новгороде. Врач поставил систему сразу. В общем, цены и телефон тут — нарколог вывод из запоя нарколог вывод из запоя Промедление может стоить здоровья. Вдруг это спасёт чью-то жизнь.
Доброго дня. Брат не выходит из штопора. Жена на грани срыва. Скорая только забирает за 100 км. Короче, единственные, кто приехал без вопросов — помощь нарколога на дом. Прибыли через 40 минут. В общем, цены и телефон тут — вывод из запоя наркология вывод из запоя наркология Не тяните время. Вдруг это спасёт чью-то жизнь.
Всем привет из НН. Брат не выходит из штопора. Жена на грани срыва. Скорая только забирает за 100 км. Короче, реально профессиональные врачи — вывод из запоя на дому срочно. Сняли абстинентный синдром. В общем, сохраните себе — выведение из запоя цена https://vyvod-iz-zapoya-na-domu-nizhnij-novgorod-pwj.ru Промедление может стоить здоровья. Киньте ссылку нуждающимся.
Доброго дня. Близкий человек снова сорвался. Жена на грани срыва. В диспансер тащить — клеймо на всю жизнь. Короче, реально профессиональные врачи — анонимное выведение из запоя с капельницей. Врач поставил систему сразу. В общем, жмите, чтобы не потерять — прокапаться от алкоголя на дому нижний новгород https://vyvod-iz-zapoya-na-domu-nizhnij-novgorod-pwj.ru Промедление может стоить здоровья. Киньте ссылку нуждающимся.
Здорова, народ. Мой отец уже четвёртый день в запое. Родня не знает, что делать. Скорая только забирает за 100 км. Короче, выручила эта служба — круглосуточный вывод из запоя с выездом. Через пару часов человек задышал ровно. В общем, жмите, чтобы не потерять — выведение из запоя выведение из запоя Не тяните время. Вдруг это спасёт чью-то жизнь.
Всем привет из НН. Беда пришла. Дети плачут по ночам. Скорая только забирает за 100 км. Короче, выручила эта служба — анонимное выведение из запоя с капельницей. Сняли абстинентный синдром. В общем, сохраните себе — вывод из запоя цены нижний новгород https://vyvod-iz-zapoya-na-domu-nizhnij-novgorod-pwj.ru Звоните прямо сейчас. Вдруг это спасёт чью-то жизнь.
Приветствую земляков. Брат не выходит из штопора. Дети плачут по ночам. Скорая только забирает за 100 км. Короче, реально профессиональные врачи — круглосуточный вывод из запоя с выездом. Прибыли через 40 минут. В общем, сохраните себе — нарколог вывод из запоя нарколог вывод из запоя Не тяните время. Киньте ссылку нуждающимся.
Здорова, народ. Ситуация критическая. Врачи на дом — временное решение. Государственная наркология — страшно и стыдно. Короче, спасло только это — наркология вывод из запоя в стационаре. Капельницы и препараты подбирали индивидуально. В общем, телефон и цены тут — выведение из запоя стационар https://vyvod-iz-zapoya-v-staczionare-nizhnij-novgorod-knd.ru Звоните прямо сейчас. Это может спасти чью-то семью.
Доброго вечера. Близкий человек потерял контроль над собой. Врачи на дом — временное решение. Государственная наркология — страшно и стыдно. Короче, действительно эффективный метод — вывод из запоя в стационаре круглосуточно. Врачи наблюдали 24/7. В общем, телефон и цены тут — вывод из запоя в стационаре вывод из запоя в стационаре Звоните прямо сейчас. Это может спасти чью-то семью.
Доброго вечера. Ситуация критическая. Врачи на дом — временное решение. Платные клиники — дорого и непонятно. Короче, спасло только это — вывод из запоя в стационаре круглосуточно. Выписали без симптомов ломки. В общем, не потеряйте контакты — выход из запоя в стационаре https://vyvod-iz-zapoya-v-staczionare-nizhnij-novgorod-knd.ru Стационар — это шанс на нормальную жизнь. Перешлите тем, кто в отчаянии.
Всем привет. Отец окончательно ушёл в штопор. Нужно серьёзное наблюдение специалистов. Скорая не решает проблему глобально. Короче, действительно эффективный метод — наркология вывод из запоя в стационаре. Врачи наблюдали 24/7. В общем, вся инфа по ссылке — выведение из запоя стационар https://vyvod-iz-zapoya-v-staczionare-nizhnij-novgorod-knd.ru Не надейтесь, что само пройдёт. Это может спасти чью-то семью.
Доброго вечера. Отец окончательно ушёл в штопор. Нужно серьёзное наблюдение специалистов. Государственная наркология — страшно и стыдно. Короче, единственное, что реально сработало — наркология вывод из запоя в стационаре. Врачи наблюдали 24/7. В общем, телефон и цены тут — выход из запоя в стационаре https://vyvod-iz-zapoya-v-staczionare-nizhnij-novgorod-knd.ru Стационар — это шанс на нормальную жизнь. Это может спасти чью-то семью.
Доброго вечера. Близкий человек потерял контроль над собой. Врачи на дом — временное решение. Государственная наркология — страшно и стыдно. Короче, единственное, что реально сработало — анонимный вывод из запоя в стационаре. Положили в палату на три дня. В общем, телефон и цены тут — выведение из запоя в стационаре выведение из запоя в стационаре Звоните прямо сейчас. Это может спасти чью-то семью.
Доброго вечера. Мой брат уже неделю в запое. Домашние условия не помогают. Платные клиники — дорого и непонятно. Короче, действительно эффективный метод — вывод из запоя стационарно под контролем врачей. Капельницы и препараты подбирали индивидуально. В общем, телефон и цены тут — быстрый вывод из запоя в стационаре быстрый вывод из запоя в стационаре Стационар — это шанс на нормальную жизнь. Это может спасти чью-то семью.
Доброго вечера. Отец окончательно ушёл в штопор. Домашние условия не помогают. Платные клиники — дорого и непонятно. Короче, спасло только это — наркология вывод из запоя в стационаре. Врачи наблюдали 24/7. В общем, телефон и цены тут — прокапаться в стационаре https://vyvod-iz-zapoya-v-staczionare-nizhnij-novgorod-knd.ru Не надейтесь, что само пройдёт. Перешлите тем, кто в отчаянии.
Привет из Нижнего. Ситуация критическая. Нужно серьёзное наблюдение специалистов. Платные клиники — дорого и непонятно. Короче, спасло только это — наркология вывод из запоя в стационаре. Врачи наблюдали 24/7. В общем, вся инфа по ссылке — выведение из запоя стационар https://vyvod-iz-zapoya-v-staczionare-nizhnij-novgorod-knd.ru Стационар — это шанс на нормальную жизнь. Перешлите тем, кто в отчаянии.
Здорова, народ. Отец окончательно ушёл в штопор. Врачи на дом — временное решение. Государственная наркология — страшно и стыдно. Короче, единственное, что реально сработало — наркология вывод из запоя в стационаре. Выписали без симптомов ломки. В общем, телефон и цены тут — выход из запоя в стационаре https://vyvod-iz-zapoya-v-staczionare-nizhnij-novgorod-knd.ru Звоните прямо сейчас. Перешлите тем, кто в отчаянии.
Всем привет. Мой брат уже неделю в запое. Домашние условия не помогают. Платные клиники — дорого и непонятно. Короче, действительно эффективный метод — вывод из запоя в стационаре круглосуточно. Выписали без симптомов ломки. В общем, жмите, чтобы сохранить — выведение из запоя в стационаре выведение из запоя в стационаре Не надейтесь, что само пройдёт. Это может спасти чью-то семью.
Всем привет. Ситуация критическая. Домашние условия не помогают. Государственная наркология — страшно и стыдно. Короче, действительно эффективный метод — анонимный вывод из запоя в стационаре. Врачи наблюдали 24/7. В общем, телефон и цены тут — наркология вывод из запоя в стационаре наркология вывод из запоя в стационаре Звоните прямо сейчас. Перешлите тем, кто в отчаянии.
Всем привет. Мой брат уже неделю в запое. Нужно серьёзное наблюдение специалистов. Платные клиники — дорого и непонятно. Короче, действительно эффективный метод — наркология вывод из запоя в стационаре. Выписали без симптомов ломки. В общем, телефон и цены тут — наркология вывод из запоя в стационаре наркология вывод из запоя в стационаре Стационар — это шанс на нормальную жизнь. Это может спасти чью-то семью.
nysjj2
аккуратная упаковка и удобство приёмки готовых деталей https://пилим78.рф/
Экологичные материалы
Доброго времени. Близкий человек уже неделю в запое. Дети испуганы. Платная клиника — деньги на ветер. Короче, единственные, кто быстро приехал и поставил систему — прокапаться от алкоголя недорого. Сняли острую интоксикацию. В общем, не потеряйте — прокапаться в нижнем новгороде https://kapelnica-ot-zapoya-nizhnij-novgorod-icy.ru Не ждите чуда. Вдруг это поможет.
Доброго времени. Ситуация жёсткая. Соседи уже начали звонить в полицию. Платная клиника — деньги на ветер. Короче, реально помогли эти врачи — поставить капельницу от запоя на дому цена адекватная. Приехали через 45 минут. В общем, жмите, чтобы сохранить — капельница на дому нижний новгород цена от алкоголя https://kapelnica-ot-zapoya-nizhnij-novgorod-icy.ru Каждый час без капельницы ухудшает состояние. Вдруг это поможет.
Доброго времени. Брат не выходит из штопора. Родственники не знают, как помочь. Платная клиника — деньги на ветер. Короче, единственные, кто быстро приехал и поставил систему — прокапаться на дому от алкоголя цена фиксированная. Сняли острую интоксикацию. В общем, жмите, чтобы сохранить — поставить капельницу от запоя поставить капельницу от запоя Не ждите чуда. Вдруг это поможет.
Всем привет из НН. Брат не выходит из штопора. Жена в отчаянии. Скорая не считается с запоями. Короче, реально помогли эти врачи — поставить капельницу от запоя на дому цена адекватная. Приехали через 45 минут. В общем, жмите, чтобы сохранить — капельница на дому нижний новгород капельница на дому нижний новгород Каждый час без капельницы ухудшает состояние. Киньте ссылку тем, кто в беде.
Приветствую всех. Ситуация жёсткая. Соседи уже начали звонить в полицию. В бесплатную наркологию — страшно идти. Короче, спасла только эта капельница — прокапаться на дому от алкоголя цена фиксированная. Приехали через 45 минут. В общем, не потеряйте — капельница на дому нижний новгород капельница на дому нижний новгород Каждый час без капельницы ухудшает состояние. Вдруг это поможет.
Здорова, ребята. Близкий человек уже неделю в запое. Родственники не знают, как помочь. В бесплатную наркологию — страшно идти. Короче, реально помогли эти врачи — прокапаться на дому от алкоголя цена фиксированная. К утру человек пришёл в себя. В общем, жмите, чтобы сохранить — прокапаться в нижнем новгороде https://kapelnica-ot-zapoya-nizhnij-novgorod-icy.ru Каждый час без капельницы ухудшает состояние. Киньте ссылку тем, кто в беде.
Приветствую всех. Близкий человек уже неделю в запое. Жена в отчаянии. Скорая не считается с запоями. Короче, спасла только эта капельница — капельница от запоя на дому. Сняли острую интоксикацию. В общем, цены и телефон тут — прокапаться от алкоголя цены прокапаться от алкоголя цены Звоните прямо сейчас. Вдруг это поможет.
Всем привет из НН. Близкий человек уже неделю в запое. Дети испуганы. В бесплатную наркологию — страшно идти. Короче, единственные, кто быстро приехал и поставил систему — капельница от запоя на дому. Сняли острую интоксикацию. В общем, не потеряйте — капельница от алкоголя капельница от алкоголя Не ждите чуда. Киньте ссылку тем, кто в беде.
Приветствую всех. Ситуация жёсткая. Дети испуганы. Скорая не считается с запоями. Короче, реально помогли эти врачи — капельница от запоя на дому. Врач сразу начал детокс. В общем, цены и телефон тут — капельница на дому нижний новгород цена от алкоголя https://kapelnica-ot-zapoya-nizhnij-novgorod-icy.ru Не ждите чуда. Вдруг это поможет.
Всем привет из НН. Ситуация жёсткая. Соседи уже начали звонить в полицию. Скорая не считается с запоями. Короче, единственные, кто быстро приехал и поставил систему — прокапаться от алкоголя недорого. Сняли острую интоксикацию. В общем, все контакты по ссылке — прокапать нижний новгород https://kapelnica-ot-zapoya-nizhnij-novgorod-icy.ru Звоните прямо сейчас. Киньте ссылку тем, кто в беде.
Здорова, ребята. Брат не выходит из штопора. Соседи уже начали звонить в полицию. Платная клиника — деньги на ветер. Короче, единственные, кто быстро приехал и поставил систему — капельница от запоя цена доступная. Сняли острую интоксикацию. В общем, цены и телефон тут — капельница от запоя клиника https://kapelnica-ot-zapoya-nizhnij-novgorod-icy.ru Каждый час без капельницы ухудшает состояние. Вдруг это поможет.