Adolfo Neto @adolfont.github.io · 28d Silvio Meira (a legend in Brazilian computer science) shared this image and this link How Terry Tao Became an Evangelist for AI in Math #LeanLang www.quantamagazine.org/how-terry-ta...
11 likes 1 replies
?
Replies
Most of the work is/was done by humans, but if there are any good results, "AI" will receive the credit