本文轉自:人民日報客户端
楊浩
丘成桐:22歲獲數學博士學位、27歲證明了世界級數學難題“卡拉比猜想”、33歲成為“數學界諾貝爾獎”菲爾茲獎的首位華人獲得者,從1979年開始,丘成桐在內地和港台陸續籌辦了8個數學研究中心,2009年擔任清華數學科學中心主任、成立丘成桐數學科學中心。他的心願是要在中國本土培養出世界一流的數學家。
8月22日,數學家丘成桐攜清華大學、中國科學技術大學、東南大學、浙江大學等多所國內知名院校的數學研究團隊訪問位於安徽省合肥市的科大訊飛總部,參觀了最新的人工智能技術研發和應用落地進展,與科大訊飛董事長劉慶峯、科大訊飛研究院核心團隊座談交流數學和人工智能領域的前沿問題。
建議用AI翻譯古典數學文獻
22日上午,在科大訊飛董事長劉慶峯、科大訊飛研究院執行院長劉聰的陪同下,丘成桐一行參觀了科大訊飛人工智能展廳,瞭解並體驗當前科大訊飛人工智能最新技術成果。
丘成桐在科大訊飛人工智能展廳體驗最新的AI應用
在醫療展區,丘成桐一行對於語音電子病歷、雲醫聲APP、智醫助理等集成人工智能多項關鍵技術的智慧醫療產品表示認可;在工業展區,體驗了科大訊飛自主研發的國產手持式聲學成像儀、以“雲+端”模式構建的分佈式實時聲音監測系統、可實現無人化自動質檢的工業圖像檢測系統等訊飛智能工業的“AI力量”。
丘成桐表示,科大訊飛在智能語音和多語種翻譯方面取得的成就給他留下了深刻印象。他希望科大訊飛可以探索利用多語種翻譯技術翻譯古典數學文獻,去幫助現代數學研究人員建立更加寬廣的數學認知框架,從而反哺數學科研。
技術創新向科學創新跨越
參觀完人工智能展廳,丘成桐一行和科大訊飛團隊進行了座談,雙方就數學和人工智能如何融合發展等學術領域的熱點話題進行了深入交流。
劉慶峯表示,科大訊飛過去是“技術創新”,下一階段的發展要邁入“科學創新”。“真正推動人工智能解決現在的小樣本學習問題、無監督訓練問題、可解釋性問題,都需要跨學科的學習、借鑑和交叉融合,而最底層的還是數學的支撐。”他認為,在人工智能領域,大量與數學相關的研究亟待開展,這中間有非常多的內容要跟數學家們去請教和聯合研究。
座談會上,在談及數學和人工智能的融合發展方向時,丘成桐表示,“最近這幾年,有很多數學家想用人工智能來做數學證明,除這些表示出來的數據外,還要看其他數學邏輯上的推理,能夠收在人工智能裏。”丘成桐認為這樣的探索有意義,他鼓勵科大訊飛在這方面多做探索。