Justin Sun ha lanzado un premio de matemáticas con un giro interesante: recompensa no solo a las personas que resuelven problemas difíciles, sino también a quienes pueden convertir demostraciones matemáticas en formatos que las máquinas puedan verificar.
Esa segunda parte es cada vez más relevante a medida que las matemáticas se cruzan con la IA y la verificación formal.
Una demostración que parece convincente para un humano aún necesita traducirse a una estructura precisa que el software pueda comprobar paso a paso. Facilitar ese proceso podría ayudar a conectar la investigación matemática tradicional con sistemas que pueden verificar automáticamente el razonamiento.
Por lo tanto, el premio se centra en dos aspectos diferentes del mismo problema: encontrar la solución y hacer que la demostración sea verificable por máquinas.
Es una dirección interesante en un momento en que los sistemas de IA se están usando cada vez más para el razonamiento matemático, pero la verificación sigue siendo igual de importante que generar una respuesta.
#Análisis del precio de BTC# #Perspectivas macro# $TRX $BTC
Esa segunda parte es cada vez más relevante a medida que las matemáticas se cruzan con la IA y la verificación formal.
Una demostración que parece convincente para un humano aún necesita traducirse a una estructura precisa que el software pueda comprobar paso a paso. Facilitar ese proceso podría ayudar a conectar la investigación matemática tradicional con sistemas que pueden verificar automáticamente el razonamiento.
Por lo tanto, el premio se centra en dos aspectos diferentes del mismo problema: encontrar la solución y hacer que la demostración sea verificable por máquinas.
Es una dirección interesante en un momento en que los sistemas de IA se están usando cada vez más para el razonamiento matemático, pero la verificación sigue siendo igual de importante que generar una respuesta.
#Análisis del precio de BTC# #Perspectivas macro# $TRX $BTC
