Justin Sun Prize explicó el procedimiento para otorgar los premios de matemáticas. Aunque un investigador presente una demostración correcta, eso no significa que reciba automáticamente el premio. Primero, el trabajo pasa por una revisión técnica; después, se convierte en una propuesta pública que cualquiera puede impugnar durante 14 días.
Las nuevas aclaraciones se publicaron en el repositorio oficial de GitHub de Justin Sun Prize y tienen como objetivo aumentar la transparencia en la evaluación de los logros matemáticos.
De la demostración al premio oficial
El procedimiento estándar de Justin Sun Prize, que se aplica a los problemas ajenos al programa piloto de MathDB, contempla varias etapas.
Primera etapa: presentación de la solución matemática.
El investigador presenta una demostración completa del problema y confirma su autoría.
Si es necesario, otro especialista puede preparar una formalización de la demostración en el sistema Lean, que permite verificar mediante software la corrección del razonamiento matemático.
En este caso, el autor de la solución matemática y el autor de su formalización pueden ser personas distintas.
Segunda etapa: revisión y registro del candidato.
Los organizadores revisan el resultado matemático, la correspondencia entre la demostración formal y el problema original, y los materiales presentados.
Una vez realizadas las verificaciones necesarias, el trabajo puede incorporarse al registro público de candidatos.
Es importante señalar que la aceptación de los materiales y la integración de los cambios en GitHub no significan que se haya concedido el premio.
14 días durante los cuales cualquiera puede impugnar el resultado
Tras la publicación del candidato en el registro oficial, comienza un periodo de revisión pública de 14 días.
Durante este periodo, cualquier miembro de la comunidad matemática puede presentar una objeción fundamentada.
Se pueden impugnar:
La corrección matemática de la demostración.
La autoría del resultado presentado.
La prioridad del descubrimiento o de la formalización.
La identidad del solicitante.
El cumplimiento de los requisitos para recibir el premio.
Por ejemplo, si otro investigador puede demostrar que obtuvo una solución correcta antes, los organizadores deben examinar las pruebas presentadas. Para determinar la prioridad, no solo se tienen en cuenta las fechas de publicación o de los commits de Git, sino también las pruebas independientes de cuándo se realizó el trabajo.
Si durante la revisión pública se presenta una objeción fundamentada, el procedimiento no concluye hasta que se resuelva la disputa.
Y si se confirma que el candidato ha sido sustituido por un nuevo autor, comienza un periodo independiente de 14 días para el resultado correspondiente.
¿Cuándo recibe oficialmente un investigador el premio?
Aunque el periodo de dos semanas concluya satisfactoriamente, eso no significa que el pago se efectúe de inmediato.
Para conceder oficialmente el premio, es necesario completar la verificación de identidad, confirmar al destinatario y asegurarse de que no haya objeciones pendientes ni solicitudes competidoras.
Solo después de cumplir todos los requisitos, el resultado pasa de la lista de candidatos al registro oficial de galardonados.
A continuación, los organizadores anuncian la concesión del premio y realizan el pago correspondiente.
Por lo tanto, ser candidato público y ser galardonado confirmado de Justin Sun Prize son dos estatus distintos.
¿Y qué ocurre con la colaboración con MathDB?
Recientemente, Justin Sun Prize anunció una colaboración con la plataforma matemática MathDB, bajo la dirección científica del profesor de Caltech Tony Yue Yu.
Como parte de la colaboración, se puso en marcha un programa piloto con 50 problemas matemáticos.
Para este programa existe un procedimiento independiente para presentar los materiales y revisar las soluciones, que incluye una evaluación independiente de las soluciones matemáticas, las formalizaciones en Lean y las explicaciones.
Por lo tanto, el procedimiento estándar de GitHub no se puede aplicar automáticamente a todos los problemas del programa piloto.
Aun así, la revisión pública, la determinación de la autoría y la confirmación de los destinatarios siguen siendo elementos importantes del proceso de concesión de premios.
¿Por qué es importante para las matemáticas y la inteligencia artificial?
Hoy en día, la inteligencia artificial se utiliza cada vez más para buscar conjeturas matemáticas y construir demostraciones. Pero, aunque la IA proponga una solución convincente, eso no significa que sea matemáticamente correcta.
La revisión pública permite que otros investigadores detecten errores, verifiquen la autoría y evalúen la prioridad de los resultados.
Lean desempeña aquí un papel especialmente importante, ya que ayuda a verificar la corrección formal de una demostración. Sin embargo, una verificación de software satisfactoria no sustituye por sí sola la evaluación experta de si lo demostrado corresponde al problema original.
Conclusión
Una revisión pública de 14 días es un enfoque adecuado para conceder premios de matemáticas, especialmente cuando se trata de problemas difíciles y de recompensas económicas cuantiosas.
Es importante que una solución no se considere definitiva únicamente a partir de la declaración del autor o de una verificación técnica preliminar.
Otros investigadores tienen la oportunidad de verificar el resultado, presentar sus propios argumentos y cuestionar la prioridad del descubrimiento. Al mismo tiempo, los organizadores verifican por separado la identidad del destinatario y su derecho a recibir el premio.
En la era de la inteligencia artificial, este sistema cobra especial relevancia: encontrar una solución prometedora es solo una parte del trabajo. También es necesario demostrar que es correcta y confirmar su autoría.
Si Justin Sun Prize aplica estas reglas de forma sistemática, la iniciativa podría convertirse en un ejemplo interesante de un sistema abierto para evaluar los logros científicos. Al fin y al cabo, en las matemáticas fundamentales lo más importante no es el importe de la recompensa, sino la fiabilidad del resultado obtenido.