Importante artículo de OpenAI: "¿Pueden los LLM resolver conjeturas matemáticas fáciles? Los investigadores construyeron una "Prueba de Godel" para ver si GPT-5 puede probar nuevos resultados simples con un contexto mínimo sobre 5 conjeturas de optimización nuevas: • casi correcto en 3/5 • p2: encontró una solución alternativa válida • p4: falló (necesitaba combinar dos artículos) • p5: falló (no pudo terminar la prueba)