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/
Доброго дня, земляки. Мой брат уже шестой день в запое. Соседи уже вызывали участкового. Скорая не считается с запоями. Короче, реально крутые врачи — вывод из запоя на дому срочно. Прибыли через 40 минут. В общем, жмите, чтобы сохранить — вывод из запоя цена вывод из запоя цена Промедление может стоить здоровья. Вдруг это спасёт чью-то жизнь.
Приветствую народ. Отец не выходит из штопора. Мать плачет целыми днями. Скорая не считается с запоями. Короче, реально крутые врачи — круглосуточный вывод из запоя с выездом. Врач поставил систему сразу. В общем, цены и телефон тут — вывод из запоя с выездом на дом вывод из запоя с выездом на дом Не тяните время. Вдруг это спасёт чью-то жизнь.
Здорова, Питер. Кошмар полный. Дети боятся оставаться дома. Платная клиника — деньги на ветер. Итог, спасла только эта бригада — вывод из запоя цены приемлемые. К утру человек пришёл в сознание. В общем, все контакты по ссылке — вывод из запоя на дому спб https://vyvod-iz-zapoya-na-domu-sankt-peterburg-xyt.ru Промедление может стоить здоровья. Вдруг это спасёт чью-то жизнь.
Доброго дня, земляки. Отец не выходит из штопора. Мать плачет целыми днями. Платная клиника — деньги на ветер. Итог, единственные, кто приехал без лишних вопросов — круглосуточный вывод из запоя с выездом. Врач поставил систему сразу. В общем, не потеряйте — вывода из запоя 24 вывода из запоя 24 Промедление может стоить здоровья. Вдруг это спасёт чью-то жизнь.
Здорова, Питер. Близкий человек снова сорвался в пьянку. Соседи уже вызывали участкового. Платная клиника — деньги на ветер. Итог, спасла только эта бригада — вывод из запоя на дому срочно. К утру человек пришёл в сознание. В общем, цены и телефон тут — выведение из запоя на дому выведение из запоя на дому Не тяните время. Киньте ссылку нуждающимся.
Доброго дня, земляки. Отец не выходит из штопора. Соседи уже вызывали участкового. Платная клиника — деньги на ветер. Итог, спасла только эта бригада — выведение из запоя на дому анонимно. Прибыли через 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-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 Каждый час ухудшает состояние. Вдруг это спасёт чью-то жизнь.
Всем привет с Невы. Мой отец уже третьи сутки в запое. Соседи уже стучат в стену. Скорая не приедет на такой вызов. Короче, единственные, кто быстро приехал — круглосуточный вывод из запоя с выездом. Через пару часов человек пришёл в себя. В общем, жмите, чтобы сохранить — круглосуточный вывод из запоя 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 Звоните прямо сейчас. Вдруг это спасёт чью-то жизнь.
Всем привет с Невы. Близкий человек снова сорвался. Родственники не знают, за что хвататься. В наркологию тащить — страшно. Короче, единственные, кто быстро приехал — недорогой вывод из запоя в Санкт-Петербурге. Приехали через 35 минут. В общем, вся информация по ссылке — вывод из запоя недорого нарколог24 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 Звоните прямо сейчас. Вдруг это спасёт чью-то жизнь.
Доброго дня, земляки. Беда пришла в семью. Соседи уже стучат в стену. Платная клиника — деньги выкачивают. Короче, единственные, кто быстро приехал — вывод из запоя цены доступные. Врач поставил систему. В общем, вся информация по ссылке — выведение из запоя в спб https://vyvod-iz-zapoya-na-domu-sankt-peterburg-zqe.ru Не ждите. Перешлите тем, кто рядом с бедой.
Питер, привет. Мой отец уже третьи сутки в запое. Мать плачет. Платная клиника — деньги выкачивают. Короче, реально профессиональные врачи — вывод из запоя цены доступные. Приехали через 35 минут. В общем, не потеряйте — вывод из запоя цена [url=https://vyvod-iz-zapoya-na-domu-sankt-peterburg-zqe.ru]вывод из запоя цена[/url] Каждый час ухудшает состояние. Вдруг это спасёт чью-то жизнь.
Everything for Minecraft https://topminecraftworldseeds.com in one place: mods, skins, maps, texture packs, and the best seeds for survival, creativity, and adventure. Collections of popular add-ons, installation instructions, updates, and secure downloads for different versions of the game.
Экологичные материалы
Наше производство — отличная база для изготовления любых мебельных деталей на заказ https://пилим78.рф/
Высокое качество и долговечность
Felt this in a way I cannot quite explain, the topic just hit different here, and a stop at mimisonline continued in that vein, sometimes you find a site whose perspective lines up with how you have been thinking and reading their work feels like a small relief which I appreciated more than I expected.
Now adding this to a short list of sites I would defend in a conversation about the modern web, and a look at edgedomain reinforced that defence list, the few sites that serve as evidence the web can still produce good things are precious and this one has clearly joined that small list of exemplary sites.
Доброго дня. Отец снова ушёл в штопор. Соседи уже стучат в стену. Скорая не считает это проблемой. В общем, реально профессиональные врачи — платная наркологическая помощь с выездом. Сняли абстинентный синдром. В общем, все контакты по ссылке — платная наркологическая помощь платная наркологическая помощь Звоните прямо сейчас. Вдруг это спасёт жизнь.
Привет из Нижнего. Отец снова ушёл в штопор. Мать рыдает. В диспансер тащить — позор на район. Итог, единственные, кто быстро отреагировал — анонимная наркологическая частная клиника. Сняли абстинентный синдром. В общем, жмите, чтобы сохранить — помощь наркологическая помощь наркологическая Звоните прямо сейчас. Отправьте тем, кто рядом с бедой.
Здорова, народ. Отец снова ушёл в штопор. Мать рыдает. В диспансер тащить — позор на район. В общем, единственные, кто быстро отреагировал — наркологическая помощь на дому срочно. Врач осмотрел и поставил капельницу. В общем, цены и телефон тут — платная наркологическая помощь платная наркологическая помощь Каждый час усугубляет ситуацию. Отправьте тем, кто рядом с бедой.
Привет из Нижнего. Отец снова ушёл в штопор. Соседи уже стучат в стену. В диспансер тащить — позор на район. В общем, единственные, кто быстро отреагировал — наркологическая помощь на дому срочно. Врач осмотрел и поставил капельницу. В общем, не потеряйте — наркологическая помощь наркология наркологическая помощь наркология Каждый час усугубляет ситуацию. Отправьте тем, кто рядом с бедой.
Доброго дня. Близкий человек сорвался в запой. Мать рыдает. Скорая не считает это проблемой. Итог, выручила только эта клиника — наркологическая помощь недорого в Нижнем Новгороде. Врач осмотрел и поставил капельницу. В общем, цены и телефон тут — платная наркологическая помощь платная наркологическая помощь Звоните прямо сейчас. Вдруг это спасёт жизнь.
Привет из Нижнего. Брат уже пятые сутки не просыхает. Мать рыдает. В диспансер тащить — позор на район. Итог, реально профессиональные врачи — частная наркологическая помощь анонимно. К вечеру состояние нормализовалось. В общем, цены и телефон тут — платная наркологическая помощь платная наркологическая помощь Каждый час усугубляет ситуацию. Вдруг это спасёт жизнь.
Привет из Нижнего. Отец снова ушёл в штопор. Дети напуганы до смерти. Платная клиника — огромные счета. Итог, выручила только эта клиника — наркологическая помощь недорого в Нижнем Новгороде. К вечеру состояние нормализовалось. В общем, не потеряйте — наркологическая помощь цена https://narkologicheskaya-pomoshh-nizhnij-novgorod-fql.ru Звоните прямо сейчас. Вдруг это спасёт жизнь.
Доброго дня. Беда случилась. Родственники не знают, что предпринять. Платная клиника — огромные счета. Итог, выручила только эта клиника — наркологическая помощь недорого в Нижнем Новгороде. Приехали через 35 минут. В общем, не потеряйте — анонимная наркологическая помощь нарколог https://narkologicheskaya-pomoshh-nizhnij-novgorod-fql.ru Не медлите. Отправьте тем, кто рядом с бедой.
Здорова, народ. Отец снова ушёл в штопор. Соседи уже стучат в стену. В диспансер тащить — позор на район. Итог, выручила только эта клиника — наркологическая помощь недорого в Нижнем Новгороде. Сняли абстинентный синдром. В общем, цены и телефон тут — наркологическая помощь цена https://narkologicheskaya-pomoshh-nizhnij-novgorod-fql.ru Не медлите. Вдруг это спасёт жизнь.
Привет из Нижнего. Близкий человек сорвался в запой. Соседи уже стучат в стену. В диспансер тащить — позор на район. В общем, выручила только эта клиника — платная наркологическая помощь с выездом. К вечеру состояние нормализовалось. В общем, все контакты по ссылке — наркологическая помощь недорого наркологическая помощь недорого Звоните прямо сейчас. Отправьте тем, кто рядом с бедой.
Всем здравствуйте. Беда случилась. Соседи уже стучат в стену. Платная клиника — огромные счета. Итог, реально профессиональные врачи — частная наркологическая помощь анонимно. К вечеру состояние нормализовалось. В общем, не потеряйте — наркологическая помощь цена https://narkologicheskaya-pomoshh-nizhnij-novgorod-fql.ru Каждый час усугубляет ситуацию. Отправьте тем, кто рядом с бедой.
Привет из Нижнего. Беда случилась. Мать рыдает. Платная клиника — огромные счета. Итог, единственные, кто быстро отреагировал — наркологическая помощь недорого в Нижнем Новгороде. Приехали через 35 минут. В общем, все контакты по ссылке — нарколог наркологическая помощь нарколог наркологическая помощь Звоните прямо сейчас. Отправьте тем, кто рядом с бедой.
Всем здравствуйте. Брат уже пятые сутки не просыхает. Мать рыдает. В диспансер тащить — позор на район. Итог, единственные, кто быстро отреагировал — наркологическая помощь на дому срочно. Врач осмотрел и поставил капельницу. В общем, все контакты по ссылке — анонимная наркологическая помощь нарколог https://narkologicheskaya-pomoshh-nizhnij-novgorod-fql.ru Не медлите. Отправьте тем, кто рядом с бедой.
Всем здравствуйте. Беда случилась. Дети напуганы до смерти. Платная клиника — огромные счета. Итог, выручила только эта клиника — наркологическая помощь на дому срочно. Сняли абстинентный синдром. В общем, жмите, чтобы сохранить — наркологическая помощь наркологическая помощь Каждый час усугубляет ситуацию. Отправьте тем, кто рядом с бедой.
Доброго дня. Близкий человек сорвался в запой. Соседи уже стучат в стену. Скорая не считает это проблемой. В общем, реально профессиональные врачи — наркологическая помощь недорого в Нижнем Новгороде. Врач осмотрел и поставил капельницу. В общем, все контакты по ссылке — наркологическая помощь наркология наркологическая помощь наркология Не медлите. Отправьте тем, кто рядом с бедой.
Здорова, народ. Беда случилась. Соседи уже стучат в стену. Платная клиника — огромные счета. Итог, реально профессиональные врачи — наркологическая помощь недорого в Нижнем Новгороде. Сняли абстинентный синдром. В общем, жмите, чтобы сохранить — наркологическая клиника клиника помощь наркологическая клиника клиника помощь Каждый час усугубляет ситуацию. Вдруг это спасёт жизнь.
Доброго дня. Отец снова ушёл в штопор. Мать рыдает. В диспансер тащить — позор на район. В общем, реально профессиональные врачи — анонимная наркологическая частная клиника. К вечеру состояние нормализовалось. В общем, цены и телефон тут — наркологическая помощь цена https://narkologicheskaya-pomoshh-nizhnij-novgorod-fql.ru Не медлите. Отправьте тем, кто рядом с бедой.
Привет из Нижнего. Беда случилась. Мать рыдает. Скорая не считает это проблемой. Итог, единственные, кто быстро отреагировал — наркологическая помощь недорого в Нижнем Новгороде. Врач осмотрел и поставил капельницу. В общем, цены и телефон тут — анонимная наркологическая частная клиника анонимная наркологическая частная клиника Не медлите. Отправьте тем, кто рядом с бедой.
Всем здравствуйте. Беда случилась. Соседи уже стучат в стену. Скорая не считает это проблемой. Итог, выручила только эта клиника — платная наркологическая помощь с выездом. Приехали через 35 минут. В общем, все контакты по ссылке — наркологическая клиника цены на услуги https://narkologicheskaya-pomoshh-nizhnij-novgorod-fql.ru Каждый час усугубляет ситуацию. Отправьте тем, кто рядом с бедой.
Pass this along to colleagues if the topic comes up, the framing here is sensible, and a stop at apextrove adds more useful angles to share, the kind of content that improves conversations rather than just feeding them is what makes a resource genuinely valuable in professional contexts going forward over time and across project boundaries too.
Доброго вечера, земляки. Брат снова ушёл в пьянку. Мать в депрессии. Платная клиника — грабёж. В итоге, единственные, кто быстро приехал и помог — выведение из запоя на дому анонимно. Через пару часов человек задышал ровно. В общем, вся информация по ссылке — выведение из запоя в спб https://vyvod-iz-zapoya-na-domu-sankt-peterburg-mnq.ru Звоните прямо сейчас. Вдруг это спасёт чью-то семью.
Всем привет из Питера. Близкий человек снова сорвался. Мать на грани истерики. Платная клиника просит бешеные деньги. Короче, единственные, кто быстро приехал — выведение из запоя на дому с капельницей. Через пару часов человек пришёл в себя. В общем, не потеряйте — круглосуточный вывод из запоя нарколог 24 https://vyvod-iz-zapoya-na-domu-sankt-peterburg-abc.ru Каждый час ухудшает состояние. Это может спасти чью-то жизнь.
Здорова, народ. Мой знакомый уже шестой день в запое. Дети боятся заходить в квартиру. Скорая не считается с алкоголиками. Короче, единственные, кто быстро приехал и помог — вывод из запоя на дому круглосуточно. Сняли острую интоксикацию. В общем, не потеряйте контакт — вывод из алкогольного запоя вывод из алкогольного запоя Звоните прямо сейчас. Вдруг это спасёт чью-то семью.
Здорова, народ. Жесть полная. Родные просто в отчаянии. Платная клиника — грабёж. Короче, реально крутые специалисты — капельница на дому от запоя. Сняли острую интоксикацию. В общем, жмите, чтобы сохранить — круглосуточный вывод из запоя круглосуточный вывод из запоя Промедление убивает. Перешлите тем, кто рядом с бедой.
Салют, Питер. Жесть полная. Мать в депрессии. Платная клиника — грабёж. Короче, реально крутые специалисты — недорогой вывод из запоя в Санкт-Петербурге. Врач сразу поставил капельницу. В общем, вся информация по ссылке — круглосуточный вывод из запоя нарколог 24 https://vyvod-iz-zapoya-na-domu-sankt-peterburg-mnq.ru Не ждите, пока станет хуже. Вдруг это спасёт чью-то семью.