aplicativo de jogo de aposta de futebol

Novo sistema de prova de teoremas combina lógica e aprendizado de reforço

Um novo sistema de prova de teoremas combina a ⚾️ lógica formal e um algoritmo de aprendizado de reforço, garantindo a correção das provas. O sistema utiliza um software chamado ⚾️ Lean, que verifica se cada etapa da prova é logicamente sólida.

Lógica formal garante a correção das provas

De acordo com o ⚾️ Dr. Hubert, o sistema pode verificar se uma prova está correta ou não. "Todo o passo está garantido para ser ⚾️ logicamente sólido", disse ele.

Algoritmo de aprendizado de reforço permite que o sistema aprenda e escalon

Dr. Silver, vice-presidente de aprendizado de ⚾️ reforço da Google DeepMind, explicou que o algoritmo não requer um professor humano. "Ele pode aprender e continuar a aprender ⚾️ até resolver os problemas mais difíceis que os humanos podem resolver", disse ele.

O sistema pode redescobrir o conhecimento por si ⚾️ mesmo

Dr. Hubert disse que o sistema pode redescobrir o conhecimento por si mesmo. Isso é o que aconteceu com o ⚾️ AlphaZero, que começou com zero conhecimento e, aplicativo de jogo de aposta de futebol menos de um dia, redescobriu todo o conhecimento do xadrez.

Matemáticos não se ⚾️ preocupam muito com as consequências a longo prazo

Dr. Gowers não se preocupa demais com as consequências a longo prazo. Ele ⚾️ acredita que ainda ha uma longa distância antes que os computadores possam fazer matemática de nível de pesquisa.

Ferramenta útil pode ⚾️ acelerar o processo de pesquisa e tornar a matemática mais acessível

Uma ferramenta eficiente pode tornar a matemática mais acessível a ⚾️ mais pessoas, acelerar o processo de pesquisa e fazer com que os matemáticos saiam da caixa.