Outra abordagem era um sistema de raciocínio formal, baseado na lógica e expresso casas de apostas de futebol código. Ele usou o software provador 8️⃣ do teorema chamado Lean (que garante que se a evidência estiver correta), então está correto: "Podemos verificar exatamente qual é 8️⃣ ou não", disse Hubert." Cada passo será logicamente sólido".
Outro componente crucial foi um algoritmo de aprendizado por reforço na linhagem 8️⃣ AlphaGo e AlfaZero. Este tipo da IA aprende sozinha, pode escalar indefinidamente", disse o Dr Silver vice-presidente do Google 8️⃣ DeepMind para aprendizagem com fortalecimento - uma vez que não requer professor humano "pode aprender a continuar aprendendo até finalmente 8️⃣ resolver os problemas mais difíceis dos humanos". E talvez mesmo ir além desses dias."
O Dr. Hubert acrescentou: "O sistema pode 8️⃣ redescobrir o conhecimento por si mesmo." Foi isso que aconteceu com AlphaZero, começou sem nenhum saber e apenas jogando jogos; 8️⃣ vendo quem ganha ou perde poderia descobrir todo esse conhecimentos do xadrez... Levamos menos de um dia para reencontrar todos 8️⃣ os dados sobre ele...e cerca da semana pra recuperar tudo aquilo casas de apostas de futebol Go! Então pensamos então vamos aplicar essa matemática".
Dr. 8️⃣ Gowers não se preocupa - muito- sobre as consequências a longo prazo "É possível imaginar um estado de coisas onde 8️⃣ os matemáticos são basicamente deixados sem nada para fazer", disse ele." Esse seria o caso, casas de apostas de futebol computadores que melhoraram e 8️⃣ mais rápido do mesmo modo tudo aquilo atualmente feito pelos matemática".
"Ainda parece haver um longo caminho a percorrer antes que 8️⃣ os computadores possam fazer matemática casas de apostas de futebol nível de pesquisa", acrescentou. “É uma aposta bastante segura, se o Google DeepMind puder 8️⃣ resolver pelo menos alguns problemas difíceis da IMO (Informação Básica), então não pode estar tão longe.”
Uma ferramenta realmente adepto pode 8️⃣ tornar a matemática acessível para mais pessoas, acelerar o processo de pesquisa e empurrar matemáticos fora da caixa. Eventualmente ele 8️⃣ poderia até mesmo apresentar novas ideias que ressoam ”.