La comunidad matemática se une para reescribir los textos de matemáticas de OpenAI
Oai-math-revised: a community hub for revising OpenAI's math write-ups
Los artículos de matemáticas de OpenAI en GitHub resultan difíciles de entender y a menudo incluyen citas incompletas. Un grupo de matemáticos lanza oai-math-revised, un repositorio colaborativo y abierto donde estudiantes, posdoctorandos, profesores y aficionados pueden mejorar esas explicaciones. El proyecto busca revisores y administradores por áreas temáticas, y el sitio ya puede consultarse en línea.
Los escritos matemáticos de OpenAI en https://github.com/openai/math pueden ser difíciles de entender y pueden tener citas incompletas.
- sdenton4
Parece que necesitamos un nuevo estado de verdad para las matemáticas: "Verificado-pero-No-Demostrado" para resultados que sabemos que son ciertos mediante verificación formal, pero sin ninguna prueba coherente.
En general, esperaría que este estado se resuelva rápidamente a "Demostrado y Verificado" (la tendencia en matemáticas históricamente ha sido hacia primeras pruebas complicadas de resultados, seguidas de reducciones significativas en la complejidad de la prueba a medida que nuevas herramientas y definiciones estén disponibles), pero aún podría ser útil para asignar crédito real a quien o lo que produzca una prueba razonable para un resultado verificado por fuerza bruta.
- vishna
Esta es la versión de OpenAI, etc., de obtener prácticas no remuneradas de estudiantes de doctorado.
- turzmo
Si a los matemáticos no les gustaba cavar sus propias tumbas con la formalización antes, ¿quizás ahora disfruten cavando sus propias fosas comunes sin nombre?