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..

Godfrey Harold Hardy

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.

Alan Mathison Turing

 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/

 

Compartir:

Entradas relacionadas

2.976 comentarios

  1. Приветствую А на работу через пару часов Рассол уже не лезет Короче, единственное что реально спасает — капельница от похмелья цена доступная Вернулся к жизни В общем, вся инфа по ссылке — прокапаться от алкоголя на дому прокапаться от алкоголя на дому Звоните прямо сейчас Перешлите тем кто в такой же ситуации

  2. Приветствую После вчерашнего вообще никак Нужно что-то серьёзное Короче, врачи приехали и поставили систему — капельница от похмелья недорого и качественно Поставили капельницу с солевым раствором В общем, не потеряйте контакты — капельницы от запоя на дому цена https://kapelnicza-ot-pokhmelya-voronezh-ges.ru Звоните прямо сейчас Перешлите тем кто в такой же ситуации

  3. Доброго вечера Ситуация жёсткая Рассол уже не лезет Короче, единственное что реально спасает — капельница от похмелья быстрый результат Вернулся к жизни В общем, жмите чтобы сохранить — сколько стоит капельница на дому от запоя сколько стоит капельница на дому от запоя Звоните прямо сейчас Перешлите тем кто в такой же ситуации

  4. Приветствую Ситуация жёсткая Рассол уже не лезет Короче, врачи приехали и поставили систему — капельница от похмелья цена доступная Через час состояние нормализовалось В общем, жмите чтобы сохранить — капельница от алкоголя цена капельница от алкоголя цена Не мучайтесь рассолами Перешлите тем кто в такой же ситуации

  5. Доброго вечера А на работу через пару часов Нужно что-то серьёзное Короче, нашел реально работающий способ — капельница от похмелья на дому срочно Вернулся к жизни В общем, телефон и цены тут — прокапаться от алкоголя в воронеже прокапаться от алкоголя в воронеже Не мучайтесь рассолами Перешлите тем кто в такой же ситуации

  6. Приветствую После вчерашнего вообще никак Организм просто отказывается работать Короче, нашел реально работающий способ — капельница от похмелья быстрый результат Вернулся к жизни В общем, вся инфа по ссылке — капельница после запоя цена [url=https://kapelnicza-ot-pokhmelya-voronezh-ges.ru]капельница после запоя цена[/url] Не мучайтесь рассолами Перешлите тем кто в такой же ситуации

  7. Здорова, народ. Мой отец уже четвёртые сутки в запое. Соседи уже стучат в стену. В диспансер тащить — позор. Короче, единственные, кто быстро приехал — вывести из запоя на дому срочно. Приехали через 40 минут. В общем, жмите, чтобы сохранить — вывод из запоя на дому круглосуточно https://vyvod-iz-zapoya-na-domu-samara-nxc.ru Каждый час ухудшает состояние. Вдруг это спасёт чью-то жизнь.

  8. Came in expecting another generic take and got something with actual character instead, and a look at progressmovesintelligently carried that personality forward, finding a distinct voice on a saturated topic is impressive and worth pointing out when it happens because most sites end up sounding identical to their nearest competitors quickly.

  9. Здорова, народ. Брат снова ушёл в завязку. Родные не знают, за что хвататься. Скорая не приедет на такой вызов. Итог, спасла эта служба — вывод из запоя на дому недорого в Самаре. Врач поставил капельницу. В общем, сохраните — вывод из запоя на дому недорого вывод из запоя на дому недорого Не тяните. Киньте ссылку тем, кто рядом с бедой.

  10. Самара, всем привет. Близкий человек уже пятые сутки в запое. Соседи уже вызывали полицию. Платная клиника — грабёж. Итог, единственные, кто приехал быстро — вывод из запоя на дому недорого в Самаре. Сняли абстиненцию. В общем, цены и телефон тут — снятие интоксикации на дому https://vyvod-iz-zapoya-na-domu-samara-qzf.ru Каждый час на счету. Киньте ссылку тем, кто рядом с бедой.

  11. Quietly enjoying that I have found a new site to follow for the topic, and a look at ideamomentum reinforced the small pleasure of the find, the discovery of new high quality sources is one of the more durable pleasures of careful internet reading and this site has been generating that discovery pleasure at multiple points already today.

  12. Самара, всем привет. Кошмар случился. Дети всего боятся. Скорая не приедет на такой вызов. Итог, спасла эта служба — выведение из запоя на дому анонимно. Через пару часов человек пришёл в норму. В общем, вся инфа по ссылке — вывод из запоя на дому круглосуточно https://vyvod-iz-zapoya-na-domu-samara-qzf.ru Не тяните. Киньте ссылку тем, кто рядом с бедой.

  13. Привет с Волги. Отец не выходит из штопора. Родные не знают, за что хвататься. Платная клиника — грабёж. Итог, реально крутые специалисты — выведение из запоя на дому анонимно. Врач поставил капельницу. В общем, жмите, чтобы не потерять — выведение из запоя на дому https://vyvod-iz-zapoya-na-domu-samara-qzf.ru Звоните прямо сейчас. Киньте ссылку тем, кто рядом с бедой.

  14. Honestly enjoyed every minute spent here, that is not something I say lightly, and a look at growthactivator confirmed I will be back, the bar for spending time online is high for me these days but this site clears it without effort which is high praise indeed from this reader who is usually rather demanding.

  15. A piece that prompted a small mental rearrangement of how I order related ideas, and a look at growthchannel extended that rearranging effect, content that affects the structure of my thinking rather than just adding to it is content with the deepest kind of impact and this site is reaching that depth for me today.

  16. Доброго вечера. Отец не выходит из штопора. Родные не знают, за что хвататься. Платная клиника — грабёж. Итог, реально крутые специалисты — вывод из запоя с выездом круглосуточно. Через пару часов человек пришёл в норму. В общем, сохраните — вывод из запоя дешево вывод из запоя дешево Звоните прямо сейчас. Киньте ссылку тем, кто рядом с бедой.

  17. Now recognising the post as a rare example of careful writing on a topic that mostly receives careless treatment, and a stop at claritybuilder extended that contrast with the average elsewhere, content that highlights how much the average is settling for low quality is content that has both internal merit and external value as a benchmark.

  18. Привет с Волги. Отец не выходит из штопора. Дети всего боятся. Платная клиника — грабёж. Итог, спасла эта служба — выведение из запоя на дому анонимно. Сняли абстиненцию. В общем, вся инфа по ссылке — нарколог на дом вывод из запоя на дому нарколог на дом вывод из запоя на дому Каждый час на счету. Киньте ссылку тем, кто рядом с бедой.

  19. Привет с Волги. Кошмар случился. Мать на грани срыва. Скорая не приедет на такой вызов. Итог, спасла эта служба — капельница от запоя на дому. Приехали за 30 минут. В общем, вся инфа по ссылке — нарколог на дом вывод из запоя https://vyvod-iz-zapoya-na-domu-samara-qzf.ru Не тяните. Вдруг пригодится.

  20. Quality you can feel from the first paragraph, the writer clearly knows the topic and how to share it, and a quick look at signalcreatesdirection confirmed the same depth runs throughout the rest of the site as well which is rare and worth pointing out when it happens online for any reader passing through.

  21. A piece that did not lecture even when it had clear positions, and a look at bondedintegrity maintained the same teaching without preaching tone, finding the line between informing and lecturing is hard and most sites land on the wrong side of it but this one has clearly figured out how to inform without becoming preachy.

  22. Just want to acknowledge that the writing here is doing something right, and a quick visit to everlastingbond confirmed the same standards run across the broader site, recognising good work is something I try to do when I find it because the alternative is silence and silence rewards mediocrity.

  27. It turns out that 10.0.0.1 piso wifi is very simple to use on your mobile phone and laptops. Also it is mainly in public places, small stores and outdoors. Moreover, we will see that you can just go through some of these steps and easily use them.

  28. バイナリー 取引ツール – チャート分析を効率化. エントリータイミングを知らせる. 自分に合ったものを選ぶ. 複数のツールを併用
    バイナリー オプション メリット デメリット – スマホで手軽に取引可能. 出金トラブルのリスク. リスク管理が成功のカギ. 自分に合った取引スタイルを見つける
    ブビンガ バイナリー 評判 – 初心者向けのサービスが充実. デモ口座で無料練習可能. 良い評判だけでなく注意点も. 初心者におすすめできる

    http://bernadette-movie.com

  29. チャート分析 バイナリー – サポートとレジスタンス. 短期は1分〜5分. 複数指標を組み合わせる. 経験と分析が勝率を上げる
    バイナリー 入出金 方法 – 仮想通貨も選択肢. 本人確認書類が必要. 手数料と反映時間を確認. 出金実績が多い業者が安心
    ブビンガ バイナリー 評判 – 親切なサポートが特徴. 取引ツールも豊富. ボーナス条件は要確認. 自分に合うか判断してから本登録

    http://bernadette-movie.com

  31. チャート分析 バイナリー – エントリーポイントの見極め. 短期は1分〜5分. 複数指標を組み合わせる. 過去のパターンを覚える
    バイナリー 入出金 方法 – 銀行送金は時間がかかる. 入金は即時反映が多い. 出金条件を事前にチェック. スムーズな入出金が快適なトレードの鍵
    海外バイナリー オプション – 国内より選択肢が豊富. 規制が異なるので注意. まずは少額からテスト. 安心して取引できる環境を優先

    http://www.bernadette-movie.com

  32. Мониторинг транспорта ГЛОНАСС/GPS: контроль автопарка и топлива в режиме реального времени

    Современный бизнес все чаще использует системы спутникового мониторинга для повышения эффективности работы транспорта. ГЛОНАСС мониторинг позволяет в режиме реального времени контролировать местоположение автомобилей, анализировать маршруты, следить за соблюдением графиков и получать подробную информацию о работе каждого транспортного средства.

    Сегодня мониторинг ГЛОНАСС применяется в транспортных компаниях, строительных организациях, коммунальных службах, сельском хозяйстве и на предприятиях с собственным автопарком. Использование современных технологий помогает сократить эксплуатационные расходы, повысить дисциплину водителей и снизить затраты на содержание транспорта.

    Возможности системы GPS/ГЛОНАСС

    Современный GPS ГЛОНАСС мониторинг объединяет спутниковые технологии, телематическое оборудование и программное обеспечение. Благодаря этому руководитель получает доступ к актуальной информации о каждом автомобиле:

    текущее местоположение;

    история маршрутов;

    скорость движения;

    время работы и простоев;

    контроль топлива;

    уведомления о нарушениях.

    Особенно востребован мониторинг транспорта GPS ГЛОНАСС среди компаний, где важно контролировать выполнение маршрутов и рациональное использование техники.

    Контроль транспорта и снижение расходов

    Комплексный ГЛОНАСС GPS мониторинг транспорта позволяет выявлять нецелевые поездки, сокращать пробеги, контролировать соблюдение маршрутов и анализировать эффективность использования автомобилей.

    Дополнительно система может интегрироваться с датчиками уровня топлива, CAN-шиной, тахографами и другим оборудованием. Это делает мониторинг транспорта ГЛОНАСС эффективным инструментом управления автопарком любого размера.

    Почему предприятия выбирают мониторинг транспорта

    Внедрение современных решений позволяет:

    сократить расходы на топливо;

    повысить дисциплину водителей;

    снизить количество необоснованных простоев;

    контролировать выполнение заданий;

    повысить безопасность перевозок;

    автоматизировать подготовку отчетов.

    Поэтому ГЛОНАСС мониторинг транспорта становится стандартом для организаций, которые стремятся повысить эффективность своей работы и оптимизировать эксплуатационные затраты.

    Итоги

    Современный ГЛОНАСС GPS мониторинг — это не только отображение транспорта на карте, но и полноценный инструмент управления автопарком. Использование систем спутникового контроля помогает повысить прозрачность работы предприятия, снизить расходы и обеспечить полный контроль транспортных средств независимо от их количества.

    https://gps-t.ru/

  33. バイナリーオプション 初心者 – ゼロから始められる. 取引の流れを学ぶ. 勝率よりリスク管理. おすすめの初心者向けプラットフォーム
    バイナリー オプション メリット デメリット – スマホで手軽に取引可能. 出金トラブルのリスク. メリットを活かすには勉強が必要. 初心者はメリットを優先
    海外バイナリー オプション – 多様な資産ペアから選べる. 英語や中国語のサポートが多い. 海外送金の手間も考慮. 日本語サポートのある業者を選ぶ

    https://www.bernadette-movie.com

  34. Snow Rider 3d is a fun and easy browser game for players who enjoy quick winter adventures. With simple controls, smooth gameplay, gift collection, and endless snowy tracks, it offers entertainment for both casual and regular players.

  35. Контроль расхода топлива: как система ГЛОНАСС помогает сократить затраты автопарка

    Топливо является одной из самых значительных статей расходов любой транспортной компании. Даже небольшие отклонения в расходе горючего при большом количестве автомобилей приводят к существенным финансовым потерям. Именно поэтому все больше предприятий внедряют системы спутникового мониторинга и контроля топлива, позволяющие получать объективные данные о работе транспорта.

    Зачем нужен контроль расхода топлива

    Оценивать расход топлива только по чекам с АЗС или путевым листам недостаточно. Такой подход не позволяет определить фактическое потребление горючего, выявить нецелевые расходы или обнаружить возможные сливы.

    Современные системы контроля расхода топлива фиксируют уровень топлива в баке, регистрируют каждую заправку и слив, рассчитывают фактический расход и формируют подробные отчеты. Руководитель получает достоверную информацию, необходимую для анализа работы автопарка и принятия управленческих решений.

    Как работает контроль топлива ГЛОНАСС

    На транспортное средство устанавливается GPS/ГЛОНАСС-терминал, который передает координаты, скорость и другие параметры движения. Дополнительно в топливный бак монтируется датчик уровня топлива. Все данные объединяются в единой системе мониторинга.

    Контроль топлива ГЛОНАСС позволяет:

    отслеживать уровень топлива в режиме реального времени;

    фиксировать заправки и сливы;

    определять фактический расход топлива;

    анализировать расход на различных маршрутах;

    получать автоматические уведомления о подозрительных изменениях уровня топлива;

    формировать отчеты за любой выбранный период.

    Благодаря комплексному анализу становится проще выявлять причины перерасхода и контролировать соблюдение норм эксплуатации транспорта.

    Какие задачи решает система

    Использование системы контроля топлива помогает предприятиям:

    сократить расходы на горюче-смазочные материалы;

    исключить необоснованные потери топлива;

    повысить дисциплину водителей;

    контролировать эффективность использования транспорта;

    получать прозрачную статистику по каждому автомобилю;

    автоматизировать учет топлива без ручных расчетов.

    Такие решения востребованы в транспортных компаниях, строительных организациях, сельском хозяйстве, коммунальных службах и на предприятиях с собственным автопарком.

    Экономический эффект от внедрения

    Практика показывает, что внедрение системы контроля топлива позволяет значительно повысить прозрачность учета и оптимизировать эксплуатационные расходы. Руководители получают возможность сравнивать расход между автомобилями, анализировать эффективность маршрутов и своевременно выявлять отклонения от установленных норм.

    Кроме контроля топлива, система может использоваться для мониторинга маршрутов, времени работы техники, простоев, скоростного режима и других эксплуатационных параметров.

    Заключение

    Современный контроль расхода топлива — это эффективный инструмент управления транспортом. В сочетании с системой контроля топлива ГЛОНАСС предприятие получает полный контроль над использованием горючего, снижает эксплуатационные расходы и повышает эффективность работы автопарка. Использование автоматизированных систем учета помогает принимать решения на основе точных данных и обеспечивает надежный контроль всех процессов, связанных с эксплуатацией транспорта.
    https://gps-t.ru/kontrol-topliva/

  36. Disfruté mucho leyendo «Historias de la IA: ¿estamos en peligro los matemáticos?». Es una exposición bien estructurada que plantea ideas interesantes para continuar reflexionando.

  40. This is a very interesting article, but it could also offer a perspective on how AI not only replaces but also supports mathematicians—for instance, through the development of interactive tools. cookie clicker 2 would be a great example!

  42. Redz Hub Script is a free and powerful tool for enhancing players’ Roblox gameplay. It also unlock premium features and repeat tasks automatically in games such as Fisch, Pet Simulator, and Blox Fruits. By using this makes your gameplay easy, helps to stay safe and work with different games.Official Site

  43. Если вы давно искали автошкола иркутск цены с лучшими условиями обучения, то ваше решение уже практически принято. Здесь профессиональные преподаватели, комфортные автомобили и гибкое расписание. Теорию можно изучать очно или дистанционно, а практические занятия проходят в удобное для вас время. Именно такое предложение многие ищут месяцами.

  45. チャート分析 バイナリー – トレンドラインの引き方. 短期は1分〜5分. 複数指標を組み合わせる. ニュースや経済指標もチェック
    バイナリー 入出金 方法 – クレジットカードが簡単. 出金は審査に時間がかかる場合も. 出金拒否のトラブルに注意. 複数方法を用意しておく
    海外バイナリー オプション – 高いペイアウト率が魅力. 日本語対応も増えている. 評判サイトで情報収集. 海外業者はチャンスが多い分リスクも

    https://www.bernadette-movie.com

  50. Слушайте кто ОСАГО покупал Замучился я уже с этой страховкой Менеджеры врут про коэффициенты Короче, нашел нормальный способ — купить осаго онлайн дешево Выбрал самую низкую цену В общем, вся инфа вот здесь — застраховать автомобиль осаго онлайн застраховать автомобиль осаго онлайн Не переплачивайте в офисах Перешлите тому у кого машина

Deja un comentario