Los primeros ganadores del Justin Sun Prize ya han sido confirmados oficialmente👏
Felicitaciones a Wouter van Doorn, Yanyang Li y Quanyu Tang, quienes lograron resolver problemas del catálogo de Erdős. Este es otro hito importante para un proyecto con una idea bastante clara: premiar trabajos matemáticos que puedan demostrarse, verificarse y confirmarse de verdad.
Lo interesante del Justin Sun Prize es que el proyecto no da prioridad a la fama, la universidad ni el estatus de los participantes. En cambio, utiliza una lista abierta de problemas y pone el énfasis en trabajos que puedan verificarse. Entre ellos hay tanto personas que resuelven problemas matemáticos como quienes ayudan a convertir esas soluciones en demostraciones Lean que las máquinas puedan verificar.
Actualmente, el banco de problemas del proyecto cuenta con más de 1.000 problemas, junto con información pública sobre los candidatos, las pruebas de verificación y los premios confirmados.
#TRONGlobalFriends #TGF #Tron #justinsunprize #formalverification
Felicitaciones a Wouter van Doorn, Yanyang Li y Quanyu Tang, quienes lograron resolver problemas del catálogo de Erdős. Este es otro hito importante para un proyecto con una idea bastante clara: premiar trabajos matemáticos que puedan demostrarse, verificarse y confirmarse de verdad.
Lo interesante del Justin Sun Prize es que el proyecto no da prioridad a la fama, la universidad ni el estatus de los participantes. En cambio, utiliza una lista abierta de problemas y pone el énfasis en trabajos que puedan verificarse. Entre ellos hay tanto personas que resuelven problemas matemáticos como quienes ayudan a convertir esas soluciones en demostraciones Lean que las máquinas puedan verificar.
Actualmente, el banco de problemas del proyecto cuenta con más de 1.000 problemas, junto con información pública sobre los candidatos, las pruebas de verificación y los premios confirmados.
#TRONGlobalFriends #TGF #Tron #justinsunprize #formalverification
