OpenAI compartió el 6 de octubre resultados de investigación sobre el uso de modelos de IA en problemas matemáticos, junto con materiales técnicos para examinar parte del trabajo. La publicación incluye formalizaciones y comprobaciones mediante Lean, así como un repositorio enlazado desde el anuncio oficial.

La compañía también difundió resúmenes del razonamiento empleado en varios casos. Esos materiales permiten seguir la metodología y revisar las afirmaciones de la investigación, pero no convierten automáticamente los resultados en una capacidad disponible para cualquier usuario de ChatGPT o para los modelos comerciales de la API.
El anuncio describe trabajo con un sistema de investigación y debe leerse en ese contexto. OpenAI no presentó aquí un nuevo plan de suscripción, una fecha de lanzamiento de producto ni garantías de que el sistema resuelva de forma general cualquier problema matemático. Las conclusiones sobre el alcance de los avances dependen de los ejemplos publicados y de su evaluación posterior por especialistas.
---
0 Comentarios