Martes 27 de octubre de 2026 ·

OpenAI publica más de 370 familias de resultados y reabre el debate sobre las matemáticas hechas por IA

Relevancia 38 de 100 Estados Unidos, Illinois

Tras la publicación por OpenAI de más de 370 'familias de resultados', matemáticos se preguntan hasta qué punto las matemáticas asistidas por IA siguen siendo matemáticas, y qué valor tiene una demostración guiada por un LLM que resulta difícil de entender. El artículo recuerda la prueba del teorema de los cuatro colores de Haken y Appel, realizada hace 50 años con ordenadores IBM en 1200 horas de cálculo y verificada también con un programa independiente.

Qué significa

Obliga a decidir qué cuenta como demostración válida cuando la genera un modelo de lenguaje y resulta difícil de entender, algo que ya ocurrió con la prueba de los cuatro colores.

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 martes 27 de octubre de 2026 ->