Julien M. · @julm
486 followers · 4935 posts · Server framapiaf.org#Math #ComputerScience #Lean
> Can Computers Be Mathematicians?
> #ArtificialIntelligence has bested humans at problem-solving challenges like #chess and #Go. Is mathematics #research next? #StevenStrogatz speaks with mathematician #KevinBuzzard to learn about the effort to translate math into language that computers understand.
https://www.quantamagazine.org/can-computers-be-mathematicians-20220629/
#KevinBuzzard #stevenstrogatz #research #go #chess #artificialintelligence #lean #computerscience #math