Al mencionar los grandes premios en matemáticas, seguramente muchos pensarán de inmediato en la Medalla Fields, que suele compararse con el «Nobel de las matemáticas».
Pero en el momento actual, cuando la IA participa cada vez más en el razonamiento, la demostración y la resolución de problemas difíciles, la forma de otorgar premios por soluciones matemáticas probablemente también esté empezando a cambiar.
Recientemente, @justinsuntron anunció el Justin Sun Prize.
Por el nombre, parece un premio tradicional, pero la forma de funcionamiento se parece bastante a eso de «colgar una recompensa» (bounty) en el ámbito de las criptomonedas.
Entendido de manera sencilla, es así:
Un problema difícil se publica
→ Justin Sun establece una recompensa
→ cualquiera puede participar para buscar una solución, incluso una IA
→ si la solución es reconocida por la comunidad matemática, se seguirá convirtiendo en una forma que la computadora pueda verificar.
Solo cuando toda la demostración es confirmada por la máquina como correcta, la recompensa se desbloquea oficialmente.
Lo que me parece bastante interesante es que este premio se divide en 2 partes muy claras.
Una persona encuentra la solución.
Otra persona puede encargarse de la «formalización», es decir, transformar esa solución en un formato que la computadora pueda leer y comprobar.
Por supuesto, una misma persona también puede hacer ambas cosas.
Y tampoco hay una norma que exija que quien resuelve tenga que ser un ser humano. Justin Sun dijo claramente que da igual que sea un humano, una IA o incluso una combinación de ambos, siempre que al final la demostración sea correcta.
Este es también el punto que hace que se diferencie bastante de muchos premios tradicionales de matemáticas.
La Medalla Fields se entrega cada 4 años y tiene un límite de edad. En cambio, con este modelo, cada problema casi se convierte en un bounty individual.
Pero en el momento actual, cuando la IA participa cada vez más en el razonamiento, la demostración y la resolución de problemas difíciles, la forma de otorgar premios por soluciones matemáticas probablemente también esté empezando a cambiar.
Recientemente, @justinsuntron anunció el Justin Sun Prize.
Por el nombre, parece un premio tradicional, pero la forma de funcionamiento se parece bastante a eso de «colgar una recompensa» (bounty) en el ámbito de las criptomonedas.
Entendido de manera sencilla, es así:
Un problema difícil se publica
→ Justin Sun establece una recompensa
→ cualquiera puede participar para buscar una solución, incluso una IA
→ si la solución es reconocida por la comunidad matemática, se seguirá convirtiendo en una forma que la computadora pueda verificar.
Solo cuando toda la demostración es confirmada por la máquina como correcta, la recompensa se desbloquea oficialmente.
Lo que me parece bastante interesante es que este premio se divide en 2 partes muy claras.
Una persona encuentra la solución.
Otra persona puede encargarse de la «formalización», es decir, transformar esa solución en un formato que la computadora pueda leer y comprobar.
Por supuesto, una misma persona también puede hacer ambas cosas.
Y tampoco hay una norma que exija que quien resuelve tenga que ser un ser humano. Justin Sun dijo claramente que da igual que sea un humano, una IA o incluso una combinación de ambos, siempre que al final la demostración sea correcta.
Este es también el punto que hace que se diferencie bastante de muchos premios tradicionales de matemáticas.
La Medalla Fields se entrega cada 4 años y tiene un límite de edad. En cambio, con este modelo, cada problema casi se convierte en un bounty individual.
