Jueves 29 de octubre de 2026 ·

Matemáticos debaten si la IA resuelve problemas abiertos o desvirtúa las matemáticas tras las pruebas atribuidas a OpenAI

Relevancia 42 de 100

Lex Fridman reunió a un panel tras las afirmaciones de que máquinas habían obtenido demostraciones para Navier-Stokes, quasi-Riemann y Unique Games Conjecture en las mismas semanas. Participaron Steven Brunton, de la Universidad de Washington, Ankur Moitra, del MIT y el Institute for Advanced Study, y Alex, teórico de números en Rutgers que trabaja con verificación en Lean. Moitra sintió alivio por que el material sea público y verificable, mientras que Brunton se mostró sobre todo optimista.

Qué significa

Si las pruebas se verifican, cambia la investigación matemática: los especialistas debaten si la IA será una herramienta para explorar o si dejará a los humanos fuera del trabajo que disfrutan.

Fuentes originales

Resumen de Hoy en IA. Pulsa una fuente para leer la noticia completa en su idioma original.

También ese día

Todas las noticias de IA del jueves 29 de octubre de 2026 ->