Global · IA · Modelos · Ciencia · Matemáticas · OpenAI
OpenAI abre a revisión sus intentos de resolver los diez problemas de First Proof
La empresa documentó una prueba de razonamiento matemático con un modelo experimental y participación humana.
Fecha de la fuente original:
Lo esencial
- Intentos publicados el14; informe explicativo del20.
- Selección y orientación humana documentadas.
Argumentos matemáticos para examinar
OpenAI compartió el 14 de febrero intentos de demostración para los diez problemas del reto First Proof. La fecha de publicación de esos intentos aparece expresamente en el informe que la empresa publicó el 20. El trabajo utilizó un modelo interno en entrenamiento para construir argumentos completos en áreas especializadas, cuya corrección requiere revisión experta.
Cómo intervino el equipo humano
En su explicación posterior, OpenAI indicó que investigadores sugirieron estrategias, solicitaron aclaraciones y seleccionaron algunas respuestas entre varios intentos. También facilitaron intercambios con ChatGPT para verificación y presentación. La empresa reconoció que el procedimiento no tenía el control de una evaluación formal. Tras comentarios de especialistas, corrigió además su apreciación inicial sobre el problema 2 y pasó a considerarla incorrecta. El material se presentó para examen público, junto con una invitación a mejorar la metodología en futuras pruebas.