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

  2. Selam millet Ödemeler geç geliyor, canlı destek yok Yıllardır bahis oynuyorum ama bu kadar zor olacağını düşünmemiştim Ama sonunda bu siteyi keşfettim — 1xbet yeni giriş kolay Her gün özel bonus ve bedava bahis kampanyaları Neyse, kendiniz görün — birxbet giriş birxbet giriş Tek adres 1xbet giriş Bahis yapan herkese yolla

  6. Arkadaşlar selam En sonunda güvenilir bir bahis sitesi buldum Ama bu site her şeyi değiştirdi — 1xbet türkiye en iyisi Site inanılmaz hızlı çalışıyor Kısacası, kaydedin bir kenara — 1xbet spor bahislerinin adresi 1xbet spor bahislerinin adresi Tek adres 1xbet İhtiyacı olan herkese gönder

  8. バイナリー 取引ツール – シグナル配信ツール. オシレーターや移動平均線. 自分に合ったものを選ぶ. 最終判断は自分で
    バイナリー オプション メリット デメリット – 短期間で結果が出る. デメリット：ハイリスクな側面もある. メリットを活かすには勉強が必要. 慎重に始めることが大切
    ブビンガ バイナリー 評判 – 初心者向けのサービスが充実. 取引ツールも豊富. ボーナス条件は要確認. まずはデモで試してみる

    http://bernadette-movie.com

  10. Arkadaşlar dinleyin Ödemeler erteleniyor, canlı destek cevap vermiyor Hepsi zaman kaybıydı Bu kesinlikle en iyisi — 1xbet yeni giriş kolay Çekimler dakikalar içinde Neyse, kaybetmeyin diye tıkla — 1xbet türkiye 1xbet türkiye Sakın dolandırıcılara kanma Bahis yapan herkese gönder

  11. Herkese merhaba Ya siteler kapanıyor ya da güncel adres bulunamıyor Tam 12 site denedim Sonunda sağlam bir site buldum — 1xbet yeni giriş kolay Çekim işlemleri anında onaylanıyor Neyse, kaydedin kenarda dursun — 1xbet yeni adresi 1xbet yeni adresi Sakın sahte sitelere kanma Bahis yapan herkese yolla

  12. 少額取引 バイナリー – ハイリスクを避けて学べる. まずは少額で感覚を掴む. ただし大きな利益は期待できない. 慣れてきたら金額を増やす
    バイナリー オプション メリット デメリット – スマホで手軽に取引可能. 詐欺業者も存在する. メリットを活かすには勉強が必要. 自分に合った取引スタイルを見つける
    ブビンガ バイナリー 評判 – スマホアプリの使いやすさが好評. デモ口座で無料練習可能. 利用者の声をバランスよく見る. 初心者におすすめできる

    http://www.bernadette-movie.com

  14. Herkes merhaba Oranlar berbat, bonuslar sahte Paramı kaybettim, sinirlerim bozuldu Her şey çok hızlı ve güvenli — 1xbet yeni giriş kolay Çekim işlemleri dakikalar içinde Kısacası, tüm detaylar linkte — 1xbet mobile giriş 1xbet mobile giriş Tek adres 1xbet giriş Bahis yapan herkese gönder

  15. Beyler bahisçiler Bilgisayar başında olmak zorunda değilsin Çoğu site uygulama sunmuyor Sonunda en iyi uygulamayı keşfettim — 1xbet mobil uygulama apk Uygulama çok hafif ve hızlı Neyse, kaydedin kenarda dursun — xbet indir xbet indir Tek adres 1xbet indir Bahis yapan herkese gönder

  16. Muy interesante la reflexión: la IA no parece tanto una amenaza para las matemáticas como una herramienta que puede abrir nuevas formas de explorar, enseñar y comunicar ideas complejas. En esa misma línea educativa, AI Rubric Generator for Teachers también ofrece contenido y recursos relacionados con el uso de la IA en la enseñanza: https://airubricgenerator.online

  18. Beyler bahisçiler Oranlar düşük, bonuslar sahte Aylardır araştırıyorum Hiç takılmadan çalışıyor — 1xbet türkiye lider bahis Çekim dakikalar içinde Neyse, kendiniz kontrol edin — 1xbet güncel 1xbet güncel Sakın sahte sitelere kanma Bahis yapan herkese gönder

  19. バイナリー 取引ツール – インジケーターで判断. エントリータイミングを知らせる. 無料ツールと有料ツール. 取引ツールは補助に過ぎない
    バイナリー 入出金 方法 – 電子ウォレットが便利. 本人確認書類が必要. 出金条件を事前にチェック. 複数方法を用意しておく
    海外バイナリー オプション – 高いペイアウト率が魅力. 規制が異なるので注意. 海外送金の手間も考慮. 日本語サポートのある業者を選ぶ

    http://www.bernadette-movie.com

  23. Beyler bahis severler Ama doğru dosyayı bulmak zor Virüslü dosyalara denk geldim Sonunda doğru apk dosyasını buldum — 1xbet indir apk son sürüm Canlı maçlar anında açılıyor Neyse, kaydedin kenarda dursun — 1xbet download android 1xbet download android Tek adres 1xbet apk yukle Bahis yapan herkese gönder

  24. Beyler bahisçiler Ama doğru dosyayı bulmak zor Uzun süre araştırdım Çok güvenli ve hızlı — 1xbet mobil apk güncel Dosya çok hafif ve hızlı Neyse, kaydedin kenarda dursun — 1xbet apk son sürüm 1xbet apk son sürüm Sakın sahte apk dosyalarına kanma Bahis yapan herkese gönder

  25. Me gustó la reflexión sobre los riesgos reales y percibidos de la IA para las matemáticas. En la práctica, una parte del problema no es sólo qué calcula una herramienta, sino si podemos inspeccionar cómo funciona el software que usamos. Para revisar fragmentos sospechosos, una utilidad para decode obfuscated JavaScript ayuda a convertir cadenas hexadecimales o Unicode y código minificado en una versión más legible antes de hacer una revisión humana. decode obfuscated JavaScript

  26. Беттеры, отзовитесь кто откуда. Вечно то лаги на сайте в самый ответственный момент, Искал реально долго, перепробовал кучу сомнительных вариантов до тех пор, не протестировал единственное место, где реально не кидают и предлагает топовые условия как для ординаров, так и для экспрессов. Приветственные бонусы и кэшбек начисляют буквально каждый день.

    В общем, если не хотите тратить время на самостоятельные тесты, жмите на источник, чтобы случайно не потерять контакты скачать mostbet kg скачать mostbet kg Не ведитесь на дешевые лохотроны из рекламы, обязательно перешлите этот пост тому, кто тоже сейчас ищет нормальную контору!

  27. Selam millet Siteler sürekli değişiyor Virüslü dosyalara denk geldim Hiç sorun yaşamadım — 1xbet yükle tek tıkla Çekim işlemleri saniyeler içinde Neyse, kendiniz indirin — 1xbet indir apk 1xbet indir apk Sakın sahte apk dosyalarına kanma Bahis yapan herkese gönder

  29. Herkes merhaba Güncel giriş adresini bulmak her seferinde çok zor oluyor Paramı kaybettim, sinirlerim bozuldu Bu site gerçekten işe yarıyor — 1xbet güncel giriş burada Site inanılmaz hızlı çalışıyor Neyse, kendiniz kontrol edin — 1x giriş 1x giriş Tek adres 1xbet güncel giriş Bahis yapan herkese gönder

  30. I had a positive experience with the Roblox APK because it was easy to install and use. Games loaded without delays, controls responded accurately, and the creative community kept every session interesting and enjoyable.

  31. チャート分析 バイナリー – エントリーポイントの見極め. 長期は1時間以上. 複数指標を組み合わせる. 経験と分析が勝率を上げる
    出金拒否 バイナリー – 出金できないとパニック. 出金実績が多い業者が安全. 証拠を残して交渉する. 少額から試すのが賢明
    ブビンガ バイナリー 評判 – 人気のバイナリーオプション業者. デモ口座で無料練習可能. 良い評判だけでなく注意点も. まずはデモで試してみる

    http://bernadette-movie.com

  32. Бишкек, всем привет! Вечно то лаги на сайте в самый ответственный момент, Нервов потратил на этих конторах — мама не горюй пока чисто случайно не нашел наконец толковую рабочую платформу, с отличной линией на все популярные спортивные события. Вывод честно заработанных денег занимает буквально 5 минут,

    Кому тоже актуально найти проверенное место для игры, смотрите сами все условия по ссылке мостбет мостбет Данный сервис сейчас реально рулит на рынке, обязательно перешлите этот пост тому, кто тоже сейчас ищет нормальную контору!

  33. Selam millet Ama doğru uygulamayı bulmak önemli Bazıları sürekli çöküyor Hiç sorun yaşamadım — 1xbet mobil indir ücretsiz Canlı maçlar anında açılıyor Neyse, kaydedin kenarda dursun — 1xbet mobil indir 1xbet mobil indir Tek adres 1xbet indir Bahis yapan herkese gönder

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

  35. Beyler bahis severler Mobil bahis uygulaması hayat kurtarıyor En iyisini bulmak uzun sürdü Sonunda harika bir uygulama buldum — 1xbet mobii en iyisi Bonuslar ve promolar her gün var Neyse, kaydedin kenarda dursun — xbet indir xbet indir Sakın sahte uygulamalara kanma Bahis yapan herkese gönder

  36. Beyler bahis severler Siteler sürekli değişiyor Uzun süre araştırdım Çok güvenli ve hızlı — 1xbet mobil apk son sürüm Bonuslar ve promolar her gün var Neyse, tüm detaylar linkte — 1xbet mobil apk 1xbet mobil apk Sakın sahte apk dosyalarına kanma Bahis yapan herkese gönder

  37. Interesante reflexión sobre la IA y el trabajo matemático. Cada vez que probamos nuevas herramientas de IA, notebooks o servicios de cálculo, también aumenta el número de cuentas que mantener seguras. Una práctica simple es usar contraseñas únicas y largas para cada servicio; para generar una al vuelo sin reutilizar patrones, este generador gratuito puede ser útil: https://blankspacecopy.net/best-free-password-generator.

  38. Кыргызстан, салам! Вечно то лаги на сайте в самый ответственный момент, Искал реально долго, перепробовал кучу сомнительных вариантов до тех пор, не протестировал единственное место, где реально не кидают и предлагает топовые условия как для ординаров, так и для экспрессов. Всё летает как часы в любое время суток,

    Кому тоже актуально найти проверенное место для игры, вся полезная инфа выложена вот здесь букмекерские конторы бишкек букмекерские конторы бишкек Не ведитесь на дешевые лохотроны из рекламы, обязательно перешлите этот пост тому, кто тоже сейчас ищет нормальную контору!

  39. Слушайте, кто сейчас в теме? Вечно то лаги на сайте в самый ответственный момент, Нервов потратил на этих конторах — мама не горюй пока чисто случайно не наткнулся на сервис, который работает стабильно и честно, с отличной линией на все популярные спортивные события. Техподдержка в лайв-чате отвечает сразу по делу,

    Кому тоже актуально найти проверенное место для игры, жмите на источник, чтобы случайно не потерять контакты mostbet вход mostbet вход Данный сервис сейчас реально рулит на рынке, обязательно перешлите этот пост тому, кто тоже сейчас ищет нормальную контору!

Deja un comentario