máquinas que jogam o jogo da Matemática
11 views
Skip to first unread message
Joao Marcos
Mar 9, 2022, 7:53:01 PM3/9/22
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
In New Math Proofs, Artificial Intelligence Plays to Win
- A new computer program fashioned after artificial intelligence
systems like AlphaGo has solved several open problems in combinatorics
and graph theory.
https://www.quantamagazine.org/in-new-math-proofs-artificial-intelligence-plays-to-win-20220307/
JM
- A new computer program fashioned after artificial intelligence
systems like AlphaGo has solved several open problems in combinatorics
and graph theory.
https://www.quantamagazine.org/in-new-math-proofs-artificial-intelligence-plays-to-win-20220307/
JM
Reply all
Reply to author
Forward
0 new messages