![]() ![]() Summer school organizers, from left to right: Avigad, Patrick Massot and Heather Macbeth From Euclidean geometry primitives to computer codeįor millennia, mathematicians have adapted to the latest advances in logic and reasoning. It is only in recent years that mathematicians have begun to worry about the potential threat of AI, whether it is the destruction of mathematical aesthetics by AI or the threat to mathematicians themselves.Īnd outstanding community members are putting these issues on the table and starting to explore how to “break the taboo.” He pointed out that the use of AI to assist mathematical proofs is actually a phenomenon worthy of attention. The main organizer of the seminar is Terence Tao, a mathematician who won the Fields Medal in 2006 and works at UCLA. In February of this year, the Institute of Theoretical and Applied Mathematics at UCLA held a workshop on “Machine-Assisted Proofs.” But I firmly believe that we need to be mindful and cautious about the way we use it.” In an interview last year, Venkatesh said, “I want my students to realize that this field is going to change a lot.”Īnd recently his attitude is: “I have no objection to the deliberate, even deliberate use of AI to assist human understanding. Last year, he revised the target date to 2026.Ĭarnegie Mellon University logician Jeremy Avigad (in blue) with students at the Formal Mathematics Summer SchoolĪkshay Venkatesh, a 2018 Fields Medal winner and a mathematician at the Institute for Advanced Study in Princeton, is currently not interested in using AI, but he is very keen to discuss AI-related topics. In 2019, computer scientist Christian Szegedy, a former Google employee who now works at a Bay Area startup, predicted that computer systems would match or exceed the problem-solving abilities of the best human mathematicians within a decade. ![]() ![]() Today, mathematicians have to face up to the latest revolutionary force - AI. Siobhan Roberts wrote this article on AI and mathematics based on her experiences and interviews after attending this year’s IPAM workshop at Machine Assisted Proofs AI is also coming to subvert the mathematics world! The New York Times also published an article recently, saying that mathematicians are ready, and AI will catch up with or even surpass the best human mathematicians within ten years.Īnd Tao Zhexuan himself reposted this article. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |