OpenAI asegura que su IA ha resuelto más de 100 problemas matemáticos. Hay un problema: qué significa exactamente «resolver»
www.xataka.com/robotica-e-ia/openai-asegura-que-su-ia-ha-resuelto-100-problemas-matematicos-hay-problema-que-significa-exactamente-resolver
La compañía ha creado un grupo independiente de matemáticos para gestionar los nuevos descubrimientos en este ámbito
El precedente de Navier-Stokes, eso sí, plantea un dilema: una prueba puede cumplir el objetivo formal sin zanjar la pregunta científica que había detrás