標簽:問題
主力開發已經 68 歲了!“老齡化”嚴重的 Postgres 開源社區呼喚“年輕一代”
編輯 | Tina、蔡芳芳開源已成為這個社會的根基。從上世紀 80 年代 Richard Stallman 發起的自由軟件運動,到 Linux、GitHub 以及互聯網的崛起,開源的發展也...
是時候徹底放棄“高分低能”的Leetcode了:AI時代的面試需要大變革!
編譯 | 核子可樂、Tina 隨著軟件開發行業正發生整體轉變,我們越來越依賴 Copilot 和 GPT 等 AI 工具來生成代碼、提高生產力,所以必然要據此調整對人才的甄...
專訪MIT賈皓鈞&段辰儒博士:AI4S時代的化學材料發現——「AI煉金術」
將 ScienceAI設為星標第一時間掌握新鮮的 AI for Science 資訊作者|MIT 賈皓鈞 段辰儒博士編輯 |凱霞大家可能從小就聽說過愛迪生嘗試上千種材料作為燈絲,憑...
GitHub 基于大語言模型構建 Copilot 的經驗和教訓
作者 | Matt Saunders 譯者 | 明知山 策劃 | 丁曉昀 GitHub 在一篇文章中分享了他們在構建和擴展 GitHub Copilot——一個使用大語言模型的企業應用——過程中所學...
大模型無法替代碼農!普林斯頓芝大驚人發現:GPT-4解決GitHub編程問題成功率為0
新智元報道編輯:編輯部【新智元導讀】ChatGPT之類的AI編碼工具來勢洶洶,Stack Overflow又裁員了!不過,普林斯頓和芝大竟發現,面對真實世界GitHub問題,GP...
OpenAI對齊難題?超級對齊負責人Jan Leike采訪實錄:「可擴展監督」是良策
新智元報道來源:智源社區【新智元導讀】近期,OpenAI超級對齊負責人Jan Leike講解了如何利用可擴展監督來解決對齊難題。今年早些時候,OpenAI宣布成立了一支...
OpenAI超級對齊負責人Jan Leike:如何對齊難題?用可擴展監督
大數據文摘授權轉載自智源社區今年早些時候,OpenAI宣布成立了一支專注于超級對齊的新團隊,由Jan Leike和IIya Sutskever領導,超級對齊旨在構建一個能夠與人...
獨家|OpenAI超級對齊負責人Jan Leike:如何對齊難題?用可擴展監督
來源:智源社區導讀今年早些時候,OpenAI宣布成立了一支專注于超級對齊的新團隊,由Jan Leike和IIya Sutskever領導,超級對齊旨在構建一個能夠與人類水平相媲...
GPT-4肆虐「誰是臥底」桌游!交談逼真,類人屬性仍有發展空間
新智元報道編輯:拉燕【新智元導讀】最近,韓國一團隊為了測試GPT-3.5和GPT-4的類人屬性,竟然讓它們玩兒這款游戲!生成式AI研究再整新活!韓國團隊嘗試讓GPT...
火爆!23歲華人博士修復22年歷史漏洞,網友:我喜歡這個故事
新智元報道編輯:貝果【新智元導讀】導語:年僅23歲的斯坦福大學華人博士,修復了一個已有22年歷史的bug。一夜之間在外網爆火,引得無數網友圍觀和贊賞。有人...
陶哲軒再逼近60年幾何學難題!周期性密鋪問題又獲新突破
新智元報道編輯:Aeneas【新智元導讀】關于60年的幾何學難題周期性密鋪問題,陶哲軒最近又有新突破了。陶哲軒一直在研究的周期性密鋪問題,又有新突破了。9月...
Effective Prompt: 編寫高質量Prompt的14個有效方法
夕小瑤科技說 分享來源 | 知乎@Maple小七、劉聰NLP今天給大家帶來一篇《Effective Prompt: 編寫高質量Prompt的14個有效方法》,來自知乎@Maple小七。提示工程...
突破『逆轉詛咒』!新數學推理數據集揭秘,讓大語言模型逆向推理能力翻倍
夕小瑤科技說 分享來源 | 機器之心復雜數學推理是評價大語言模型推理能力的重要指標,目前常用的數學推理數據集樣本量有限且問題多樣性不足,導致大語言模型...
ChatGPT/GPT-4/Llama電車難題大PK!小模型道德感反而更高?
新智元報道編輯:Lumina【新智元導讀】微軟對大語言模型的道德推理能力進行了測試,但在電車問題中大尺寸的模型表現反而比小模型差。但最強大語言模型GPT-4的...
MetaMath:新數學推理語言模型,訓練大模型的逆向思維
機器之心專欄機器之心編輯部復雜數學推理是評價大語言模型推理能力的重要指標,目前常用的數學推理數據集樣本量有限且問題多樣性不足,導致大語言模型存在 [...