Al ver este artículo, pienso que es bastante interesante. Justin Sun anunció la creación del Justin Sun Prize, un premio que no se basa en cómo se mide la fama, la edad o en quién lo haya hecho, sino que se centra en los logros en matemáticas, especialmente en la demostración de problemas que puedan verificarse por computadora.
La idea que me parece interesante es que, para un mismo problema, puede haber una persona que piense y demuestre la respuesta, y luego otra persona que tome esa demostración y la redacte de una forma que la computadora pueda verificar. Y lo más interesante es que no se limita a que quien lo haga tenga que ser un humano o una IA; con que la demostración sea correcta y pase la verificación matemática, el premio quedará bloqueado y se pagará cuando el sistema pueda verificar la demostración completa y sin errores.
#TRONGlobalFreinds #TGF @TRON DAO @Justin Sun孙宇晨
La idea que me parece interesante es que, para un mismo problema, puede haber una persona que piense y demuestre la respuesta, y luego otra persona que tome esa demostración y la redacte de una forma que la computadora pueda verificar. Y lo más interesante es que no se limita a que quien lo haga tenga que ser un humano o una IA; con que la demostración sea correcta y pase la verificación matemática, el premio quedará bloqueado y se pagará cuando el sistema pueda verificar la demostración completa y sin errores.
#TRONGlobalFreinds #TGF @TRON DAO @Justin Sun孙宇晨
