El Justin Sun Prize es un proyecto de investigación que consiste en resolver problemas matemáticos difíciles y formalizar sus pruebas en Lean para verificarlas mediante computadora. @trondao @TronDao_KOR Pueden participar investigadores profesionales, investigadores independientes y equipos colaborativos con IA. Además, los participantes pueden elegir cualquier problema de la biblioteca pública de problemas y presentar su solución. Los participantes se dividen en dos categorías: Solver y Lean Formalizer, y el premio base se distribuye en un 70% para el Solver y un 30% para el Lean Formalizer. Si una persona realiza ambos roles, recibirá el premio completo. Si ya existe una formalización en Lean validada por la comunidad, se puede postular sin enviar un nuevo PR, simplemente registrando el enlace a la formalización existente y la información relacionada. Una vez resuelto el problema y completada la formalización en Lean, el trabajo será evaluado y clasificado en categorías como Pinnacle, Breakthrough, Landmark, Advance y Contribution, según el premio asignado. La categoría más alta, Pinnacle, otorga un premio de 1 millón de dólares por la resolución de problemas clave. El monto del premio se determina considerando integralmente la importancia del problema, su duración sin resolver, el reconocimiento académico del resultado y el grado de completitud de la solución. Tras ser seleccionado como ganador, se deberá completar un proceso separado de reclamación y KYC para recibir el premio. Tenga cuidado con cualquier comunicación que solicite información sensible como claves privadas o frases de semilla, ya que no forman parte del procedimiento oficial. Este proyecto permite desarrollar simultáneamente habilidades para resolver problemas matemáticos y para formalizarlos mediante Lean, mientras se abordan desafíos de investigación reales. #TRON #TRX #TGFKOREA #Tronglobalfriends #TronDao #TGF #SNS #TronNetwork #KOL #EVENT #KR #KOR