8月22日,數學家丘成桐攜清華大學、中國科學技術大學、東南大學、浙江大學等多所國內知名院校的數學研究團隊訪問科大訊飛總部,參觀了最新的人工智能技術研發和應用落地進展,與科大訊飛董事長劉慶峰、科大訊飛研究院核心團隊座談交流數學和人工智能領域的前沿問題。
丘成桐一行訪問科大訊飛,與訊飛研究院核心團隊座談交流
點贊訊飛應用落地“宏偉”
建議用AI翻譯古典數學文獻
丘成桐22歲獲數學博士學位、27歲證明了世界級數學難題“卡拉比猜想”、33歲成為“數學界諾貝爾獎”菲爾茲獎的首位華人獲得者,這位與共和國同歲的世界級數學家,從1979年開始,在內地和港臺陸續籌辦了8個數學研究中心,2009年擔任清華數學科學中心主任、成立丘成桐數學科學中心,未取分文薪酬,他的心愿是要在中國本土培養出世界一流的數學家。
22日上午,在科大訊飛董事長劉慶峰、科大訊飛研究院執行院長劉聰的陪同下,丘成桐一行參觀了科大訊飛人工智能展廳,了解并體驗當前科大訊飛人工智能最新技術成果。
丘成桐在科大訊飛人工智能展廳體驗最新的AI應用
在教育展區,覆蓋“教學考評管”的全場景智慧教育解決方案吸引了團隊一行,他們深入了解了智慧課堂、智能組卷與閱卷、個性化學習手冊、訊飛AI學習機等教育信息化產品在日常教學中的點滴應用。在得知訊飛智慧教育產品可分析學生常態化學情、幫助老師預設教學重點,其知識圖譜與自適應推薦引擎能為學生構建線上線下可視化的自主學習場景后,團隊一行大為贊許。
在醫療展區,丘成桐一行對于語音電子病歷、云醫聲APP、智醫助理等集成人工智能多項關鍵技術的智慧醫療產品表示認可,并贊賞科大訊飛以AI賦能帶來的醫療領域“智慧之變”。
在工業展區,丘成桐一行體驗了科大訊飛自主研發的國產手持式聲學成像儀、以“云+端”模式構建的分布式實時聲音監測系統、可實現無人化自動質檢的工業圖像檢測系統等訊飛智能工業的“AI力量”。
丘成桐表示,一個小時的參觀,科大訊飛應用落地的產品比他想象中“宏偉得多”,科大訊飛在智能語音和多語種翻譯方面取得的成就給他留下了深刻印象。
丘成桐在座談會上發言
丘成桐建議,科大訊飛可以探索利用多語種翻譯技術翻譯古典數學文獻,去幫助現代數學研究人員建立更加寬廣的數學認知框架,從而反哺數學科研。他談到了大數學家萊昂哈德·歐拉用拉丁文在十八世紀寫了數十本著作,目前還有許多尚未翻譯成英文,“如果訊飛的技術將拉丁文、古典德文學透了之后,將古典數學論文翻譯出來,慢慢都會有用的,數學和其他學科不同的是,古典數學到今天都還派上用場。”
技術創新向科學創新跨越
“最底層”要靠數學支撐
參觀完人工智能展廳,丘成桐一行和科大訊飛董事長劉慶峰、科大訊飛研究院核心團隊進行了座談,雙方就數學和人工智能如何融合發展等學術領域的熱點話題進行了深入交流。
劉慶峰在座談會上發言
劉慶峰分享了科大訊飛的創辦和數學的淵源,科大訊飛從1999年創業以來,就非常重視數學,訊飛最早創業時,讓語音合成達到了實用水平,就是通過用數學建模方法與實驗語音學的深度結合實現的,從而推動了科大訊飛的創立。
人工智能正在深刻改變世界的生產和生活方式,2006年以來第三次人工智能浪潮的核心,正是由數學方法的突破而創新的深度神經網絡。基于此,語音識別能力超過專業速記員的水平,人臉識別技術超過了博聞強記的人類,強化學習讓人工智能超過世界最好的圍棋冠軍。
劉慶峰表示,科大訊飛過去23年取得的成績是“技術創新”,下一階段的發展要邁入“科學創新”。真正推動人工智能解決現在的小樣本學習問題、無監督訓練問題、魯棒性問題、可解釋性問題,都需要跨學科的學習、借鑒和交叉融合,而最底層的還是數學的支撐。
劉慶峰認為,在人工智能領域,大量與數學相關的研究亟待開展,這中間有非常多的內容要跟數學家們去請教和聯合研究。“丘成桐先生和團隊到訪訊飛,是下一步基礎研究發展非常重要的標志性事件”,劉慶峰贊賞丘成桐對推動全社會數學人才發掘和通過設立系統性架構幫助數學學科在中國成長,他寄語訊飛的科研團隊要學習丘成桐先生的大師精神,培養更系統性的思維和更長期主義的精神。
座談會上,在談及數學和人工智能的融合發展方向時,丘成桐表示,“最近這幾年,有很多數學家想用人工智能來做數學證明,除這些表示出來的數據以外,還要看其他的數學邏輯上的推理,能夠去收在人工智能里邊。”丘成桐認為這樣的探索有意義,他鼓勵科大訊飛在這方面多做探索,“我們可以一起合作”。丘成桐說,在數學研究中興趣與勤奮都很重要,他寄語科大訊飛的研發團隊可以“一路學一路做應用”,在實戰當中不斷提升數學能力。
劉慶峰將訊飛AI學習機贈給丘成桐
座談結束,劉慶峰和丘成桐互贈禮物留念。劉慶峰贈給丘成桐三個頗具寓意的禮物:涇縣的宣紙,宣紙一千年不褪色、一千年不腐爛,希望在數學方面的創造就像寫在宣紙上的文章一樣,影響千年;訊飛智能辦公本,希望在數學靈感迸發的時候,可以隨時隨地記錄下來,將深刻的思想傳承給后來者,幫助提升丘先生對學生的培養效率;訊飛AI學習機,研發學習機的初心是“發現你,成就你”,希望對每一個孩子“因材施教”,幫助他們實現夢想,而丘先生創辦求真書院、丘成桐少年班,組織“丘成桐大學生數學競賽”等面向不同學生群體的探索,都是為了挑選出具有數學天賦的人才開展有針對性的培養,這也是“發現你,成就你”的理念,未來,希望雙方在教育領域有更多的共同探索。丘成桐則在他的著作《我的幾何人生》上留下墨寶相贈,他寄語科大訊飛“尋智能根基,興數學科技”,書中那句拳拳心語:“法古今賢人,成不朽事業,興中國基礎之學問也”一直激勵著無數熱愛科學、希望科技報國的年輕人。
丘成桐在著作上留下墨寶,寄語科大訊飛“尋智能根基,興數學科技”