Justin Sun Prize se asocia con MathDB, dirigido por el profesor de Caltech Tony Yue Yu, en un piloto de 50 problemas
BeInCrypto
Justin Sun Prize se ha asociado con MathDB, dirigido por el profesor de Caltech Tony Yue Yu, en un piloto de 50 problemas para recompensar soluciones, formalizaciones en Lean y exposiciones accesibles.Resumen
Full summary available to members
Subscribe to TodayOnChain membership to read full news summaries and browse without display ads.