Ao mencionar grandes prêmios em Matemática, muitas pessoas provavelmente pensam imediatamente na Medalha Fields, que costuma ser comparada ao “Prêmio Nobel da Matemática”.
Mas, no momento atual, quando a IA está cada vez mais envolvida no raciocínio, na demonstração e na resolução de problemas difíceis, a forma de premiar soluções matemáticas talvez também esteja começando a mudar.
Recentemente, @justinsuntron anunciou o Justin Sun Prize.
Pelo nome, parece um prêmio tradicional, mas o modo de funcionamento é bastante parecido com aquele estilo de “bounty” no mundo das criptomoedas.
Entendendo de forma simples:
Um problema difícil é publicado
→ Justin Sun define um valor de recompensa
→ qualquer pessoa pode participar para encontrar a solução, inclusive IA
→ se a solução for reconhecida pela comunidade matemática, ela será encaminhada para uma forma que o computador possa verificar.
Somente quando toda a demonstração for confirmada como correta por uma máquina é que a recompensa é oficialmente liberada.
O ponto que achei bem interessante é que esse prêmio é dividido em 2 partes bem claras.
Uma pessoa encontra a solução.
Outra pessoa pode ficar responsável por “formalizar”, ou seja, transformar essa solução em um formato que o computador possa ler e verificar.
É claro que uma mesma pessoa também pode fazer as duas coisas.
E também não há nenhuma exigência de que o solucionador precise ser um ser humano. Justin Sun diz diretamente que, quer seja humano, IA, ou uma colaboração entre os dois, não importa — desde que, no fim, a demonstração esteja correta.
Esse também é o motivo de o prêmio ser bastante diferente da maioria dos prêmios tradicionais de Matemática.
A Medalha Fields é entregue a cada 4 anos e tem limite de idade. Já nesse modelo, cada problema praticamente se torna um bounty individual.
Mas, no momento atual, quando a IA está cada vez mais envolvida no raciocínio, na demonstração e na resolução de problemas difíceis, a forma de premiar soluções matemáticas talvez também esteja começando a mudar.
Recentemente, @justinsuntron anunciou o Justin Sun Prize.
Pelo nome, parece um prêmio tradicional, mas o modo de funcionamento é bastante parecido com aquele estilo de “bounty” no mundo das criptomoedas.
Entendendo de forma simples:
Um problema difícil é publicado
→ Justin Sun define um valor de recompensa
→ qualquer pessoa pode participar para encontrar a solução, inclusive IA
→ se a solução for reconhecida pela comunidade matemática, ela será encaminhada para uma forma que o computador possa verificar.
Somente quando toda a demonstração for confirmada como correta por uma máquina é que a recompensa é oficialmente liberada.
O ponto que achei bem interessante é que esse prêmio é dividido em 2 partes bem claras.
Uma pessoa encontra a solução.
Outra pessoa pode ficar responsável por “formalizar”, ou seja, transformar essa solução em um formato que o computador possa ler e verificar.
É claro que uma mesma pessoa também pode fazer as duas coisas.
E também não há nenhuma exigência de que o solucionador precise ser um ser humano. Justin Sun diz diretamente que, quer seja humano, IA, ou uma colaboração entre os dois, não importa — desde que, no fim, a demonstração esteja correta.
Esse também é o motivo de o prêmio ser bastante diferente da maioria dos prêmios tradicionais de Matemática.
A Medalha Fields é entregue a cada 4 anos e tem limite de idade. Já nesse modelo, cada problema praticamente se torna um bounty individual.
