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/
Всем привет с Невы. Беда пришла в семью. Соседи уже стучат в стену. Скорая не приедет на такой вызов. Короче, единственные, кто быстро приехал — капельница от запоя на дому. Через пару часов человек пришёл в себя. В общем, жмите, чтобы сохранить — вывод из запоя недорого нарколог24 https://vyvod-iz-zapoya-na-domu-sankt-peterburg-zqe.ru Каждый час ухудшает состояние. Перешлите тем, кто рядом с бедой.
Питер, привет. Близкий человек снова сорвался. Дети боятся отца. В наркологию тащить — страшно. Короче, спасла только эта бригада — недорогой вывод из запоя в Санкт-Петербурге. Сняли абстинентный синдром. В общем, контакты и цены тут — капельница от алкоголя на дому спб https://vyvod-iz-zapoya-na-domu-sankt-peterburg-zqe.ru Не ждите. Вдруг это спасёт чью-то жизнь.
Питер, привет. Брат не выходит из штопора. Мать плачет. Скорая не приедет на такой вызов. Короче, спасла только эта бригада — круглосуточный вывод из запоя с выездом. Приехали через 35 минут. В общем, вся информация по ссылке — круглосуточный вывод из запоя нарколог 24 https://vyvod-iz-zapoya-na-domu-sankt-peterburg-zqe.ru Звоните прямо сейчас. Вдруг это спасёт чью-то жизнь.
Питер, привет. Брат не выходит из штопора. Родственники не знают, за что хвататься. Платная клиника — деньги выкачивают. Короче, спасла только эта бригада — вывод из запоя цены доступные. Через пару часов человек пришёл в себя. В общем, жмите, чтобы сохранить — вывод из алкогольного запоя нарколог 24 https://vyvod-iz-zapoya-na-domu-sankt-peterburg-zqe.ru Звоните прямо сейчас. Перешлите тем, кто рядом с бедой.
Здорова, народ. Брат не выходит из штопора. Родственники не знают, за что хвататься. Платная клиника — деньги выкачивают. Короче, спасла только эта бригада — круглосуточный вывод из запоя с выездом. Врач поставил систему. В общем, жмите, чтобы сохранить — врач капельница алкоголь на дом https://vyvod-iz-zapoya-na-domu-sankt-peterburg-zqe.ru Не ждите. Вдруг это спасёт чью-то жизнь.
Питер, привет. Беда пришла в семью. Мать плачет. Скорая не приедет на такой вызов. Короче, единственные, кто быстро приехал — капельница от запоя на дому. Приехали через 35 минут. В общем, жмите, чтобы сохранить — вывод из запоя в спб https://vyvod-iz-zapoya-na-domu-sankt-peterburg-zqe.ru Каждый час ухудшает состояние. Перешлите тем, кто рядом с бедой.
Всем привет с Невы. Брат не выходит из штопора. Дети боятся отца. Скорая не приедет на такой вызов. Короче, единственные, кто быстро приехал — недорогой вывод из запоя в Санкт-Петербурге. Через пару часов человек пришёл в себя. В общем, жмите, чтобы сохранить — вывод из алкогольного запоя https://vyvod-iz-zapoya-na-domu-sankt-peterburg-zqe.ru Не ждите. Вдруг это спасёт чью-то жизнь.
Всем привет с Невы. Мой отец уже третьи сутки в запое. Родственники не знают, за что хвататься. Скорая не приедет на такой вызов. Короче, спасла только эта бригада — вывод из запоя на дому срочно. Через пару часов человек пришёл в себя. В общем, не потеряйте — вывод из запоя в спб https://vyvod-iz-zapoya-na-domu-sankt-peterburg-zqe.ru Каждый час ухудшает состояние. Вдруг это спасёт чью-то жизнь.
Всем привет с Невы. Беда пришла в семью. Мать плачет. В наркологию тащить — страшно. Короче, единственные, кто быстро приехал — вывод из запоя цены доступные. Приехали через 35 минут. В общем, контакты и цены тут — круглосуточный вывод из запоя нарколог 24 https://vyvod-iz-zapoya-na-domu-sankt-peterburg-zqe.ru Каждый час ухудшает состояние. Перешлите тем, кто рядом с бедой.
Всем привет с Невы. Брат не выходит из штопора. Мать плачет. В наркологию тащить — страшно. Короче, единственные, кто быстро приехал — вывод из запоя на дому срочно. Сняли абстинентный синдром. В общем, жмите, чтобы сохранить — вывод из алкогольного запоя нарколог 24 https://vyvod-iz-zapoya-na-domu-sankt-peterburg-zqe.ru Каждый час ухудшает состояние. Перешлите тем, кто рядом с бедой.
Доброго дня, земляки. Близкий человек снова сорвался. Родственники не знают, за что хвататься. В наркологию тащить — страшно. Короче, спасла только эта бригада — вывод из запоя цены доступные. Через пару часов человек пришёл в себя. В общем, контакты и цены тут — нарколог вывод из запоя нарколог вывод из запоя Звоните прямо сейчас. Перешлите тем, кто рядом с бедой.
В данном обзоре представлены основные направления и тренды в области медицины. Мы обсудим актуальные проблемы здравоохранения, свежие открытия и новые подходы, которые меняют представление о лечении и профилактике заболеваний. Эта информация будет полезна как специалистам, так и широкой публике.
Лучшее решение — прямо здесь – [url=https://de-fragrance.ru/the_articles/78771.html]частный медик 24[/url]
Привет из Нижнего. Ситуация критическая. Домашние условия не помогают. Государственная наркология — страшно и стыдно. Короче, спасло только это — вывод из запоя в стационаре круглосуточно. Врачи наблюдали 24/7. В общем, жмите, чтобы сохранить — цена вывода из запоя в стационаре https://vyvod-iz-zapoya-v-staczionare-nizhnij-novgorod-knd.ru Стационар — это шанс на нормальную жизнь. Перешлите тем, кто в отчаянии.
Здорова, народ. Ситуация критическая. Нужно серьёзное наблюдение специалистов. Платные клиники — дорого и непонятно. Короче, единственное, что реально сработало — наркология вывод из запоя в стационаре. Капельницы и препараты подбирали индивидуально. В общем, телефон и цены тут — вывод из запоя стационарно вывод из запоя стационарно Не надейтесь, что само пройдёт. Перешлите тем, кто в отчаянии.
Всем привет. Мой брат уже неделю в запое. Домашние условия не помогают. Государственная наркология — страшно и стыдно. Короче, единственное, что реально сработало — вывод из запоя нижний новгород стационар. Врачи наблюдали 24/7. В общем, не потеряйте контакты — наркология вывод из запоя в стационаре наркология вывод из запоя в стационаре Не надейтесь, что само пройдёт. Это может спасти чью-то семью.
Здорова, народ. Близкий человек потерял контроль над собой. Врачи на дом — временное решение. Платные клиники — дорого и непонятно. Короче, спасло только это — анонимный вывод из запоя в стационаре. Врачи наблюдали 24/7. В общем, телефон и цены тут — выведение из запоя стационар https://vyvod-iz-zapoya-v-staczionare-nizhnij-novgorod-knd.ru Звоните прямо сейчас. Перешлите тем, кто в отчаянии.
Всем привет. Отец окончательно ушёл в штопор. Домашние условия не помогают. Платные клиники — дорого и непонятно. Короче, действительно эффективный метод — наркология вывод из запоя в стационаре. Положили в палату на три дня. В общем, вся инфа по ссылке — выход из запоя в стационаре 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. В общем, жмите, чтобы сохранить — запой стационар https://vyvod-iz-zapoya-v-staczionare-nizhnij-novgorod-knd.ru Стационар — это шанс на нормальную жизнь. Перешлите тем, кто в отчаянии.
Всем привет. Мой брат уже неделю в запое. Нужно серьёзное наблюдение специалистов. Платные клиники — дорого и непонятно. Короче, спасло только это — вывод из запоя нижний новгород стационар. Капельницы и препараты подбирали индивидуально. В общем, телефон и цены тут — запой стационар https://vyvod-iz-zapoya-v-staczionare-nizhnij-novgorod-knd.ru Звоните прямо сейчас. Перешлите тем, кто в отчаянии.
Всем привет. Ситуация критическая. Врачи на дом — временное решение. Платные клиники — дорого и непонятно. Короче, спасло только это — анонимный вывод из запоя в стационаре. Врачи наблюдали 24/7. В общем, телефон и цены тут — цена на вывод из запоя в стационаре https://vyvod-iz-zapoya-v-staczionare-nizhnij-novgorod-knd.ru Стационар — это шанс на нормальную жизнь. Это может спасти чью-то семью.
Приветствую народ. Отец не выходит из штопора. Мать плачет целыми днями. В бесплатный диспансер — стыд на всю жизнь. Короче, спасла только эта бригада — недорогой вывод из запоя в Санкт-Петербурге. Врач поставил систему сразу. В общем, все контакты по ссылке — вывод из запоя с выездом на дом вывод из запоя с выездом на дом Промедление может стоить здоровья. Вдруг это спасёт чью-то жизнь.
Доброго дня, земляки. Кошмар полный. Соседи уже вызывали участкового. В бесплатный диспансер — стыд на всю жизнь. Итог, единственные, кто приехал без лишних вопросов — капельница на дому от запоя. Врач поставил систему сразу. В общем, цены и телефон тут — вывод из запоя недорого нарколог24 https://vyvod-iz-zapoya-na-domu-sankt-peterburg-xyt.ru Не тяните время. Вдруг это спасёт чью-то жизнь.
Приветствую народ. Мой брат уже шестой день в запое. Родственники просто в тупике. Скорая не считается с запоями. Короче, единственные, кто приехал без лишних вопросов — вывод из запоя цены приемлемые. Прибыли через 40 минут. В общем, все контакты по ссылке — вывод из запоя нарколог 24 https://vyvod-iz-zapoya-na-domu-sankt-peterburg-xyt.ru Промедление может стоить здоровья. Киньте ссылку нуждающимся.
Здорова, Питер. Отец не выходит из штопора. Мать плачет целыми днями. Скорая не считается с запоями. Короче, спасла только эта бригада — круглосуточный вывод из запоя с выездом. Сняли абстинентный синдром. В общем, все контакты по ссылке — вывод из запоя на дому спб цены https://vyvod-iz-zapoya-na-domu-sankt-peterburg-xyt.ru Звоните прямо сейчас. Киньте ссылку нуждающимся.
Доброго дня, земляки. Близкий человек снова сорвался в пьянку. Мать плачет целыми днями. Скорая не считается с запоями. Итог, спасла только эта бригада — недорогой вывод из запоя в Санкт-Петербурге. Врач поставил систему сразу. В общем, жмите, чтобы сохранить — вывод из запоя спб https://vyvod-iz-zapoya-na-domu-sankt-peterburg-xyt.ru Не тяните время. Киньте ссылку нуждающимся.
Приветствую народ. Близкий человек снова сорвался в пьянку. Дети боятся оставаться дома. Скорая не считается с запоями. Короче, единственные, кто приехал без лишних вопросов — вывод из запоя цены приемлемые. Прибыли через 40 минут. В общем, все контакты по ссылке — вывод из запоя с выездом на дом вывод из запоя с выездом на дом Не тяните время. Вдруг это спасёт чью-то жизнь.
Приветствую народ. Близкий человек снова сорвался в пьянку. Дети боятся оставаться дома. Платная клиника — деньги на ветер. Короче, единственные, кто приехал без лишних вопросов — выведение из запоя на дому анонимно. К утру человек пришёл в сознание. В общем, жмите, чтобы сохранить — врач капельница алкоголь на дом https://vyvod-iz-zapoya-na-domu-sankt-peterburg-xyt.ru Звоните прямо сейчас. Вдруг это спасёт чью-то жизнь.
Здорова, Питер. Отец не выходит из штопора. Дети боятся оставаться дома. Платная клиника — деньги на ветер. Короче, единственные, кто приехал без лишних вопросов — вывод из запоя цены приемлемые. Сняли абстинентный синдром. В общем, цены и телефон тут — вывод из запоя с выездом на дом вывод из запоя с выездом на дом Промедление может стоить здоровья. Вдруг это спасёт чью-то жизнь.
Здорова, Питер. Близкий человек снова сорвался в пьянку. Соседи уже вызывали участкового. В бесплатный диспансер — стыд на всю жизнь. Короче, единственные, кто приехал без лишних вопросов — недорогой вывод из запоя в Санкт-Петербурге. Сняли абстинентный синдром. В общем, все контакты по ссылке — вывод из запоя цена вывод из запоя цена Звоните прямо сейчас. Вдруг это спасёт чью-то жизнь.
Всем привет из культурной столицы. Кошмар полный. Мать плачет целыми днями. Платная клиника — деньги на ветер. Итог, реально крутые врачи — выведение из запоя на дому анонимно. Прибыли через 40 минут. В общем, все контакты по ссылке — вывод из запоя спб https://vyvod-iz-zapoya-na-domu-sankt-peterburg-xyt.ru Звоните прямо сейчас. Вдруг это спасёт чью-то жизнь.
Приветствую народ. Кошмар полный. Мать плачет целыми днями. Платная клиника — деньги на ветер. Короче, единственные, кто приехал без лишних вопросов — вывод из запоя цены приемлемые. Прибыли через 40 минут. В общем, цены и телефон тут — вывод из запоя недорого вывод из запоя недорого Промедление может стоить здоровья. Киньте ссылку нуждающимся.
Приветствую народ. Отец не выходит из штопора. Дети боятся оставаться дома. В бесплатный диспансер — стыд на всю жизнь. Короче, спасла только эта бригада — вывод из запоя цены приемлемые. Сняли абстинентный синдром. В общем, цены и телефон тут — вывод из запоя недорого вывод из запоя недорого Не тяните время. Вдруг это спасёт чью-то жизнь.
Всем привет из культурной столицы. Мой брат уже шестой день в запое. Родственники просто в тупике. В бесплатный диспансер — стыд на всю жизнь. Итог, реально крутые врачи — круглосуточный вывод из запоя с выездом. К утру человек пришёл в сознание. В общем, жмите, чтобы сохранить — круглосуточный вывод из запоя круглосуточный вывод из запоя Не тяните время. Вдруг это спасёт чью-то жизнь.
However selective I am about new bookmarks this one made it past my filter, and a look at azarfashion confirmed the bookmark was worth the slot, the precious slots in my permanent bookmark folder are difficult to earn and this site earned one without making me think twice about whether the slot was justified by the quality.
Всем привет с Невы. Отец не выходит из штопора. Мать в депрессии. Платная клиника — грабёж. В итоге, единственные, кто быстро приехал и помог — недорогой вывод из запоя в Санкт-Петербурге. Сняли острую интоксикацию. В общем, вся информация по ссылке — помощь вывода запоя нарколог 24 помощь вывода запоя нарколог 24 Не ждите, пока станет хуже. Вдруг это спасёт чью-то семью.
Всем привет из Питера. Близкий человек снова сорвался. Родственники не знают, что делать. Скорая не приедет на такой вызов. Короче, реально профессиональные врачи — вывод из запоя на дому круглосуточно. Через пару часов человек пришёл в себя. В общем, не потеряйте — выведение из запоя на дому https://vyvod-iz-zapoya-na-domu-sankt-peterburg-abc.ru Не ждите чуда. Киньте ссылку тем, кто в беде.
Всем привет с Невы. Брат снова ушёл в пьянку. Дети боятся заходить в квартиру. В государственный диспансер — табу. Короче, реально крутые специалисты — недорогой вывод из запоя в Санкт-Петербурге. Сняли острую интоксикацию. В общем, вся информация по ссылке — вывод из запоя в домашних условиях нарколог 24 https://vyvod-iz-zapoya-na-domu-sankt-peterburg-mnq.ru Звоните прямо сейчас. Вдруг это спасёт чью-то семью.
Всем привет с Невы. Жесть полная. Дети боятся заходить в квартиру. В государственный диспансер — табу. В итоге, выручила эта служба — недорогой вывод из запоя в Санкт-Петербурге. Сняли острую интоксикацию. В общем, не потеряйте контакт — вывод из алкогольного запоя вывод из алкогольного запоя Не ждите, пока станет хуже. Вдруг это спасёт чью-то семью.
Салют, Питер. Жесть полная. Мать в депрессии. Платная клиника — грабёж. В итоге, выручила эта служба — недорогой вывод из запоя в Санкт-Петербурге. Сняли острую интоксикацию. В общем, не потеряйте контакт — вывод из запоя на дому вывод из запоя на дому Звоните прямо сейчас. Перешлите тем, кто рядом с бедой.
Салют, Питер. Брат снова ушёл в пьянку. Мать в депрессии. В государственный диспансер — табу. В итоге, выручила эта служба — капельница на дому от запоя. Сняли острую интоксикацию. В общем, жмите, чтобы сохранить — вывод из алкогольного запоя нарколог 24 https://vyvod-iz-zapoya-na-domu-sankt-peterburg-mnq.ru Звоните прямо сейчас. Вдруг это спасёт чью-то семью.
Всем привет из Питера. Близкий человек снова сорвался. Дети боятся заходить в комнату. Платная клиника просит бешеные деньги. Короче, единственные, кто быстро приехал — срочный вывод из запоя с выездом. Через пару часов человек пришёл в себя. В общем, вся инфа и контакты по ссылке — вывод из запоя цены вывод из запоя цены Каждый час ухудшает состояние. Киньте ссылку тем, кто в беде.
Салют, Питер. Жесть полная. Соседи уже стучат в стену. Скорая не считается с алкоголиками. В итоге, единственные, кто быстро приехал и помог — вывод из запоя цены фиксированные. Примчались за 25 минут. В общем, вся информация по ссылке — вывод из запоя недорого вывод из запоя недорого Звоните прямо сейчас. Вдруг это спасёт чью-то семью.
Здорова, народ. Отец не выходит из штопора. Родные просто в отчаянии. Платная клиника — грабёж. В итоге, реально крутые специалисты — вывод из запоя цены фиксированные. Сняли острую интоксикацию. В общем, не потеряйте контакт — капельница от алкоголя на дому спб https://vyvod-iz-zapoya-na-domu-sankt-peterburg-mnq.ru Звоните прямо сейчас. Вдруг это спасёт чью-то семью.
Всем привет с Невы. Отец не выходит из штопора. Дети боятся заходить в квартиру. Платная клиника — грабёж. Короче, единственные, кто быстро приехал и помог — выведение из запоя на дому анонимно. Через пару часов человек задышал ровно. В общем, жмите, чтобы сохранить — вывод из запоя на дому вывод из запоя на дому Промедление убивает. Перешлите тем, кто рядом с бедой.