【12月16-17日大模型日報】產業 悼念！ 商湯創辦人湯曉鷗逝世，享年55歲

悼念！ 商湯創辦人湯曉鷗逝世，享年55歲

https://news.miracleplus.com/share_link/13482

據多方消息證實，商湯科技創辦人、香港中文大學教授湯曉鷗，在睡夢中不幸離世，享年55歲。 湯曉鷗1990年畢業於中國科學技術大學，並於1996年在麻省理工學院獲得博士學位。 隨後，他便進入香港中文大學工作，並創立香港中文大學多媒體實驗室；先後也在微軟亞洲研究院等單位工作。 湯曉鷗在電腦視覺領域的造詣頗深，尤其是在人臉辨識這個細分賽道中，更是「探路者」一般的存在。

陶哲軒青睞的證明助手Lean，用了大模型

https://news.miracleplus.com/share_link/13483

開放平台 LeanDojo 團隊和加州理工學院的研究者推出了 Lean Copilot，這是一款專為 LLM 與人類互動而設計的協作工具，旨在透過人機協作給予 100% 準確的形式化數學證明。

論文遭首屆ICLR拒稿、程式碼過度優化，word2vec作者Tomas Mikolov分享背後的故事

https://news.miracleplus.com/share_link/13484

幾天前，NeurIPS 2023 公佈了獲獎論文，其中時間檢驗獎頒給了十年前的 NeurIPS 論文“Distributed Representations of Words and Phrases and their Compositionality”。 這項工作引入了開創性的詞嵌入技術 word2vec，展示了從大量非結構化文本中學習的能力，推動了自然語言處理新時代的到來。 這篇論文由當時都還在Google的 Tomas Mikolov、Ilya Sutskever、Kai Chen、Greg Corrado、Jeffrey Dean 等人撰寫，被引量超過 4 萬次。