A «Matemática 2.0» de Terence Tao: quando a IA dá as respostas e leva a compreensão
Em uma palestra recente, o matemático Terence Tao disse que, graças à IA, há demonstrações de sobra, mas a compreensão humana está diminuindo. Por isso, ele defende que é preciso ir além da Matemática 1.0, em que a IA resolve os problemas por nós, rumo à Matemática 2.0, em que a IA nos ajuda a ampliar nossa compreensão.
