Global · OpenAI · Matemáticas · Ciencia · IA
OpenAI publica resultados matemáticos y formalizaciones para revisión pública
La entrega incluye pruebas en Lean, información de procedimiento y estimaciones del cómputo empleado.
Fecha de la fuente original:
Lo esencial
- OpenAI publicó resultados de un modelo experimental con revisión y citas.
- Muchas pruebas incluyen formalizaciones en Lean para comprobación por computadora.
- La entrega informa de intentos, cómputo y diez resúmenes del razonamiento del modelo.
Un repositorio examinable
OpenAI anunció el 6 de octubre resultados matemáticos en GitHub y mecanismos para revisar los textos y citar versiones. La empresa consultó a un grupo asesor independiente del Institute for Advanced Study sobre cómo difundirlos. La publicación abre las pruebas al examen de otros investigadores.
Pruebas y trazabilidad
Las formalizaciones de muchas demostraciones en Lean permiten comprobaciones informáticas. OpenAI prevé incorporar más conforme estén disponibles. También publica datos del procedimiento: diez resúmenes de razonamiento, número de problemas intentados y estimaciones del cómputo, que ayudan a examinar cómo se obtuvieron los resultados.
Qué expresa el cómputo
Según OpenAI, el resultado medio consumió cómputo equivalente a unas tres horas de razonamiento de ChatGPT Pro. Esa equivalencia no es un tiempo de investigación humana. La compañía anunció que seguirá mejorando citas, exposición matemática y presentación, y preparando la publicación responsable del modelo interno.