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

Deja un comentario