“... um sistema que pode prever uma conjectura útil e provar um novo teorema alcançará algo novo - alguma versão de máquina de compreensão, [o pesquisador do Google Christian] Szegedy disse. E isso sugere a possibilidade de automatizar a própria razão. ”

---

Send in a voice message: https://anchor.fm/podainews/message