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/
Приветствую земляков. Беда пришла. Соседи уже начали коситься. Скорая только забирает за 100 км. Короче, единственные, кто приехал без вопросов — вывод из запоя на дому срочно. Врач поставил систему сразу. В общем, жмите, чтобы не потерять — выведение из запоя в нижнем новгороде https://vyvod-iz-zapoya-na-domu-nizhnij-novgorod-pwj.ru Не тяните время. Вдруг это спасёт чью-то жизнь.
Здорова, народ. Мой отец уже четвёртый день в запое. Родня не знает, что делать. В диспансер тащить — клеймо на всю жизнь. Короче, единственные, кто приехал без вопросов — помощь нарколога на дом. Через пару часов человек задышал ровно. В общем, цены и телефон тут — прокапаться от алкоголя на дому нижний новгород https://vyvod-iz-zapoya-na-domu-nizhnij-novgorod-pwj.ru Не тяните время. Киньте ссылку нуждающимся.
Здорова, народ. Брат не выходит из штопора. Родня не знает, что делать. Скорая только забирает за 100 км. Короче, выручила эта служба — помощь нарколога на дом. Сняли абстинентный синдром. В общем, сохраните себе — нарколог вывод из запоя нарколог вывод из запоя Промедление может стоить здоровья. Киньте ссылку нуждающимся.
Доброго дня. Мой отец уже четвёртый день в запое. Родня не знает, что делать. Скорая только забирает за 100 км. Короче, выручила эта служба — вывод из запоя на дому срочно. Прибыли через 40 минут. В общем, сохраните себе — вывод из запоя круглосуточно цены https://vyvod-iz-zapoya-na-domu-nizhnij-novgorod-pwj.ru Промедление может стоить здоровья. Вдруг это спасёт чью-то жизнь.
Приветствую земляков. Близкий человек снова сорвался. Соседи уже начали коситься. Платная клиника просит бешеные деньги. Короче, единственные, кто приехал без вопросов — недорогой вывод из запоя в Нижнем Новгороде. Врач поставил систему сразу. В общем, жмите, чтобы не потерять — срочный вывод из запоя срочный вывод из запоя Промедление может стоить здоровья. Киньте ссылку нуждающимся.
Здорова, народ. Близкий человек снова сорвался. Жена на грани срыва. Платная клиника просит бешеные деньги. Короче, выручила эта служба — вывод из запоя на дому срочно. Сняли абстинентный синдром. В общем, жмите, чтобы не потерять — вывод из запоя стоимость https://vyvod-iz-zapoya-na-domu-nizhnij-novgorod-pwj.ru Не тяните время. Киньте ссылку нуждающимся.
Здорова, народ. Беда пришла. Родня не знает, что делать. Платная клиника просит бешеные деньги. Короче, выручила эта служба — вывод из запоя цены фиксированные. Сняли абстинентный синдром. В общем, сохраните себе — цены вывод из запоя https://vyvod-iz-zapoya-na-domu-nizhnij-novgorod-pwj.ru Не тяните время. Киньте ссылку нуждающимся.
Здорова, народ. Мой отец уже четвёртый день в запое. Соседи уже начали коситься. В диспансер тащить — клеймо на всю жизнь. Короче, единственные, кто приехал без вопросов — недорогой вывод из запоя в Нижнем Новгороде. Через пару часов человек задышал ровно. В общем, цены и телефон тут — вывод из запоя дешево нижний новгород https://vyvod-iz-zapoya-na-domu-nizhnij-novgorod-pwj.ru Звоните прямо сейчас. Киньте ссылку нуждающимся.
Приветствую земляков. Мой отец уже четвёртый день в запое. Родня не знает, что делать. Скорая только забирает за 100 км. Короче, реально профессиональные врачи — круглосуточный вывод из запоя с выездом. Прибыли через 40 минут. В общем, сохраните себе — вывод из запоя нижний новгород https://vyvod-iz-zapoya-na-domu-nizhnij-novgorod-pwj.ru Звоните прямо сейчас. Вдруг это спасёт чью-то жизнь.
Приветствую земляков. Брат не выходит из штопора. Соседи уже начали коситься. Скорая только забирает за 100 км. Короче, реально профессиональные врачи — недорогой вывод из запоя в Нижнем Новгороде. Прибыли через 40 минут. В общем, жмите, чтобы не потерять — вывод из запоя цена вывод из запоя цена Не тяните время. Киньте ссылку нуждающимся.
Здорова, народ. Мой отец уже четвёртый день в запое. Дети плачут по ночам. Скорая только забирает за 100 км. Короче, единственные, кто приехал без вопросов — анонимное выведение из запоя с капельницей. Сняли абстинентный синдром. В общем, вся инфа и контакты по ссылке — вывод из запоя цены вывод из запоя цены Звоните прямо сейчас. Киньте ссылку нуждающимся.
Приветствую земляков. Беда пришла. Родня не знает, что делать. Скорая только забирает за 100 км. Короче, единственные, кто приехал без вопросов — круглосуточный вывод из запоя с выездом. Врач поставил систему сразу. В общем, вся инфа и контакты по ссылке — вывод из запоя цены вывод из запоя цены Звоните прямо сейчас. Вдруг это спасёт чью-то жизнь.
Всем привет из НН. Близкий человек снова сорвался. Дети плачут по ночам. В диспансер тащить — клеймо на всю жизнь. Короче, выручила эта служба — вывод из запоя цены фиксированные. Через пару часов человек задышал ровно. В общем, цены и телефон тут — вывод из запоя клиника [url=https://vyvod-iz-zapoya-na-domu-nizhnij-novgorod-pwj.ru]вывод из запоя клиника[/url] Промедление может стоить здоровья. Вдруг это спасёт чью-то жизнь.
Быстро собираем первичную информацию, оцениваем риски и предлагаем подходящий вариант обращения.
Подробнее тут – нарколог на дом в новороссийске
В этой статье обсуждаются актуальные медицинские вопросы, которые волнуют общество. Мы обращаем внимание на проблемы, касающиеся здравоохранения и лечения, а также на новшества в области медицины. Читатели будут осведомлены о последних событиях и смогут следить за тенденциями в медицине.
Подробная информация доступна по запросу – [url=https://all-mongolia.ru/the_articles/hronicheskaya-ustalost-ili-skrytaya-toksicheskaya-nagruzka-kak-vernut-energiyu-i-vosstanovit-zhiznennye-sily.html]частный медик 24[/url]
Всем привет из Питера. Близкий человек снова сорвался. Соседи уже начали стучать в стену. В государственную наркологию — страшно и стыдно. Короче, реально профессиональные врачи — вывод из запоя цены фиксированные. Сняли острую интоксикацию. В общем, вся инфа и контакты по ссылке — вывод из запоя цена вывод из запоя цена Не ждите чуда. Это может спасти чью-то жизнь.
Здорова, народ. Мой знакомый уже шестой день в запое. Соседи уже стучат в стену. Скорая не считается с алкоголиками. Короче, единственные, кто быстро приехал и помог — вывод из запоя на дому круглосуточно. Через пару часов человек задышал ровно. В общем, жмите, чтобы сохранить — нарколог вывод из запоя нарколог вывод из запоя Промедление убивает. Вдруг это спасёт чью-то семью.
Доброго времени суток. Мой отец уже четвёртые сутки в запое. Соседи уже начали стучать в стену. Платная клиника просит бешеные деньги. Короче, единственные, кто быстро приехал — вывод из запоя цены фиксированные. Приехали через 30 минут. В общем, цены и телефон тут — вывод из запоя санкт петербург https://vyvod-iz-zapoya-na-domu-sankt-peterburg-abc.ru Не ждите чуда. Это может спасти чью-то жизнь.
Приветствую земляков. Близкий человек снова сорвался. Мать на грани истерики. В государственную наркологию — страшно и стыдно. Короче, единственные, кто быстро приехал — вывод из запоя на дому круглосуточно. Через пару часов человек пришёл в себя. В общем, жмите, чтобы сохранить — вывода из запоя 24 https://vyvod-iz-zapoya-na-domu-sankt-peterburg-abc.ru Звоните прямо сейчас. Киньте ссылку тем, кто в беде.
Доброго времени суток. Близкий человек снова сорвался. Соседи уже начали стучать в стену. Платная клиника просит бешеные деньги. Короче, реально профессиональные врачи — срочный вывод из запоя с выездом. Через пару часов человек пришёл в себя. В общем, жмите, чтобы сохранить — вывод из запоя цена вывод из запоя цена Каждый час ухудшает состояние. Это может спасти чью-то жизнь.
Приветствую земляков. Мой отец уже четвёртые сутки в запое. Мать на грани истерики. Платная клиника просит бешеные деньги. Короче, единственные, кто быстро приехал — помощь на дому без учёта. Врач сразу поставил систему. В общем, цены и телефон тут — вывод из алкогольного запоя нарколог 24 https://vyvod-iz-zapoya-na-domu-sankt-peterburg-abc.ru Звоните прямо сейчас. Киньте ссылку тем, кто в беде.
Здорова, народ. Случилась беда. Родственники не знают, что делать. Скорая не приедет на такой вызов. Короче, единственные, кто быстро приехал — недорогой вывод из запоя в Санкт-Петербурге. Через пару часов человек пришёл в себя. В общем, не потеряйте — вывод из запоя нарколог 24 https://vyvod-iz-zapoya-na-domu-sankt-peterburg-abc.ru Не ждите чуда. Киньте ссылку тем, кто в беде.
Приветствую земляков. Случилась беда. Соседи уже начали стучать в стену. Скорая не приедет на такой вызов. Короче, единственные, кто быстро приехал — выведение из запоя на дому с капельницей. Через пару часов человек пришёл в себя. В общем, не потеряйте — вывод из алкогольного запоя нарколог24 https://vyvod-iz-zapoya-na-domu-sankt-peterburg-abc.ru Звоните прямо сейчас. Киньте ссылку тем, кто в беде.
Салют, Питер. Жесть полная. Мать в депрессии. В государственный диспансер — табу. В итоге, реально крутые специалисты — выведение из запоя на дому анонимно. Врач сразу поставил капельницу. В общем, жмите, чтобы сохранить — вывод из запоя в спб вывод из запоя в спб Звоните прямо сейчас. Вдруг это спасёт чью-то семью.
Доброго времени суток. Брат не выходит из штопора. Мать на грани истерики. В государственную наркологию — страшно и стыдно. Короче, единственные, кто быстро приехал — выведение из запоя на дому с капельницей. Через пару часов человек пришёл в себя. В общем, не потеряйте — круглосуточный вывод из запоя https://vyvod-iz-zapoya-na-domu-sankt-peterburg-abc.ru Не ждите чуда. Это может спасти чью-то жизнь.
Приветствую земляков. Брат не выходит из штопора. Мать на грани истерики. Скорая не приедет на такой вызов. Короче, реально профессиональные врачи — вывод из запоя на дому круглосуточно. Врач сразу поставил систему. В общем, вся инфа и контакты по ссылке — вывод из запоя санкт петербург https://vyvod-iz-zapoya-na-domu-sankt-peterburg-abc.ru Не ждите чуда. Это может спасти чью-то жизнь.
Всем привет из Питера. Брат не выходит из штопора. Родственники не знают, что делать. Платная клиника просит бешеные деньги. Короче, единственные, кто быстро приехал — недорогой вывод из запоя в Санкт-Петербурге. Врач сразу поставил систему. В общем, жмите, чтобы сохранить — вывод из запоя на дому вывод из запоя на дому Каждый час ухудшает состояние. Киньте ссылку тем, кто в беде.
Всем привет из Питера. Близкий человек снова сорвался. Дети боятся заходить в комнату. Скорая не приедет на такой вызов. Короче, реально профессиональные врачи — вывод из запоя на дому круглосуточно. Врач сразу поставил систему. В общем, не потеряйте — вывод из алкогольного запоя нарколог24 https://vyvod-iz-zapoya-na-domu-sankt-peterburg-abc.ru Каждый час ухудшает состояние. Это может спасти чью-то жизнь.
Здорова, народ. Мой знакомый уже шестой день в запое. Родные просто в отчаянии. Скорая не считается с алкоголиками. В итоге, реально крутые специалисты — недорогой вывод из запоя в Санкт-Петербурге. Сняли острую интоксикацию. В общем, вся информация по ссылке — выведение из запоя в спб https://vyvod-iz-zapoya-na-domu-sankt-peterburg-mnq.ru Не ждите, пока станет хуже. Перешлите тем, кто рядом с бедой.
Доброго вечера, земляки. Брат снова ушёл в пьянку. Соседи уже стучат в стену. В государственный диспансер — табу. В итоге, единственные, кто быстро приехал и помог — выведение из запоя на дому анонимно. Через пару часов человек задышал ровно. В общем, вся информация по ссылке — вывод из алкогольного запоя нарколог 24 https://vyvod-iz-zapoya-na-domu-sankt-peterburg-mnq.ru Звоните прямо сейчас. Перешлите тем, кто рядом с бедой.
Приветствую земляков. Близкий человек снова сорвался. Дети боятся заходить в комнату. Скорая не приедет на такой вызов. Короче, выручила эта служба — вывод из запоя цены фиксированные. Сняли острую интоксикацию. В общем, не потеряйте — капельница от алкоголя на дому спб https://vyvod-iz-zapoya-na-domu-sankt-peterburg-abc.ru Звоните прямо сейчас. Это может спасти чью-то жизнь.
Доброго времени, земляки. Близкий человек уже пятые сутки в запое. Дети боятся оставаться с отцом. В диспансер везти — позор на район. Короче, спасла только эта бригада — вывод из запоя на дому круглосуточно. К утру человек пришёл в себя. В общем, вся инфа и контакты по ссылке — круглосуточный вывод из запоя круглосуточный вывод из запоя Не ждите чуда. Вдруг это спасёт чью-то жизнь.
Всем привет из северной столицы. Кошмар случился. Соседи уже стучат в стену. Платная клиника — бешеные счета. Короче, спасла только эта бригада — вывод из запоя цены адекватные. К утру человек пришёл в себя. В общем, не потеряйте — вывод из запоя на дому спб цены https://vyvod-iz-zapoya-na-domu-sankt-peterburg-jfw.ru Звоните прямо сейчас. Вдруг это спасёт чью-то жизнь.
Здорова, народ. Мой отец уже четвёртые сутки в запое. Дети боятся заходить в комнату. Скорая не приедет на такой вызов. Короче, реально профессиональные врачи — вывод из запоя на дому круглосуточно. Приехали через 30 минут. В общем, цены и телефон тут — выведение из запоя в спб https://vyvod-iz-zapoya-na-domu-sankt-peterburg-abc.ru Звоните прямо сейчас. Киньте ссылку тем, кто в беде.
Приветствую земляков. Брат не выходит из штопора. Дети боятся заходить в комнату. Платная клиника просит бешеные деньги. Короче, выручила эта служба — срочный вывод из запоя с выездом. Через пару часов человек пришёл в себя. В общем, жмите, чтобы сохранить — вывод из запоя на дому спб https://vyvod-iz-zapoya-na-domu-sankt-peterburg-abc.ru Не ждите чуда. Киньте ссылку тем, кто в беде.
Приветствую земляков. Брат не выходит из штопора. Дети боятся заходить в комнату. В государственную наркологию — страшно и стыдно. Короче, реально профессиональные врачи — выведение из запоя на дому с капельницей. Врач сразу поставил систему. В общем, не потеряйте — вывод из запоя в домашних условиях нарколог 24 https://vyvod-iz-zapoya-na-domu-sankt-peterburg-abc.ru Каждый час ухудшает состояние. Киньте ссылку тем, кто в беде.
Доброго времени суток. Близкий человек снова сорвался. Мать на грани истерики. Скорая не приедет на такой вызов. Короче, выручила эта служба — недорогой вывод из запоя в Санкт-Петербурге. Врач сразу поставил систему. В общем, жмите, чтобы сохранить — нарколог вывод из запоя нарколог вывод из запоя Каждый час ухудшает состояние. Киньте ссылку тем, кто в беде.
Доброго времени суток. Близкий человек снова сорвался. Родственники не знают, что делать. Платная клиника просит бешеные деньги. Короче, единственные, кто быстро приехал — срочный вывод из запоя с выездом. Врач сразу поставил систему. В общем, не потеряйте — капельница от алкоголя на дому спб https://vyvod-iz-zapoya-na-domu-sankt-peterburg-abc.ru Не ждите чуда. Киньте ссылку тем, кто в беде.
Здорова, народ. Мой отец уже четвёртые сутки в запое. Соседи уже начали стучать в стену. В государственную наркологию — страшно и стыдно. Короче, единственные, кто быстро приехал — вывод из запоя на дому круглосуточно. Приехали через 30 минут. В общем, цены и телефон тут — вывод из запоя нарколог 24 [url=https://vyvod-iz-zapoya-na-domu-sankt-peterburg-abc.ru]https://vyvod-iz-zapoya-na-domu-sankt-peterburg-abc.ru[/url] Не ждите чуда. Киньте ссылку тем, кто в беде.
Салют, Питер. Брат снова ушёл в пьянку. Родные просто в отчаянии. В государственный диспансер — табу. Короче, единственные, кто быстро приехал и помог — срочный вывод из запоя с выездом. Врач сразу поставил капельницу. В общем, вся информация по ссылке — выведение из запоя на дому выведение из запоя на дому Не ждите, пока станет хуже. Вдруг это спасёт чью-то семью.
Салют, Питер. Мой знакомый уже шестой день в запое. Родные просто в отчаянии. Платная клиника — грабёж. Короче, реально крутые специалисты — вывод из запоя на дому круглосуточно. Врач сразу поставил капельницу. В общем, вся информация по ссылке — вывод из запоя [url=https://vyvod-iz-zapoya-na-domu-sankt-peterburg-mnq.ru]вывод из запоя[/url] Промедление убивает. Перешлите тем, кто рядом с бедой.
Всем привет с Невы. Брат снова ушёл в пьянку. Родные просто в отчаянии. Платная клиника — грабёж. Короче, выручила эта служба — вывод из запоя на дому круглосуточно. Врач сразу поставил капельницу. В общем, цены и телефон тут — вывод из алкогольного запоя нарколог 24 [url=https://vyvod-iz-zapoya-na-domu-sankt-peterburg-mnq.ru]https://vyvod-iz-zapoya-na-domu-sankt-peterburg-mnq.ru[/url] Звоните прямо сейчас. Вдруг это спасёт чью-то семью.
Всем привет из северной столицы. Брат снова ушёл в завязку. Дети боятся оставаться с отцом. Скорая не реагирует на такие вызовы. Короче, спасла только эта бригада — срочный вывод из запоя с выездом. Сняли острую интоксикацию. В общем, не потеряйте — вывод из запоя недорого вывод из запоя недорого Не ждите чуда. Вдруг это спасёт чью-то жизнь.
Здорово, Питер. Брат снова ушёл в завязку. Мать на грани нервного срыва. Скорая не реагирует на такие вызовы. Короче, единственные, кто приехал быстро — недорогой вывод из запоя в Питере. Врач поставил систему сразу. В общем, жмите, чтобы сохранить — вывода из запоя 24 вывода из запоя 24 Звоните прямо сейчас. Перешлите тем, кто рядом с бедой.
Доброго времени, земляки. Близкий человек уже пятые сутки в запое. Дети боятся оставаться с отцом. В диспансер везти — позор на район. Короче, единственные, кто приехал быстро — капельница от запоя на дому. К утру человек пришёл в себя. В общем, жмите, чтобы сохранить — вывод из алкогольного запоя вывод из алкогольного запоя Каждый час ухудшает состояние. Перешлите тем, кто рядом с бедой.