上海AI實驗室書生-S2協助完成三維Ghys猜想證明,北大以Lean完成形式化驗證
此為首個由中國大模型參與攻克的世界級數學難題;人機協同7批推演、節點由15擴至389,北大團队約5天完成55萬行Lean程式碼驗證。
AI 科技評論單一來源
49 則值得知道的變化
此為首個由中國大模型參與攻克的世界級數學難題;人機協同7批推演、節點由15擴至389,北大團队約5天完成55萬行Lean程式碼驗證。
候選分子針對引發呼吸道感染的病原體,預測具抗菌活性,目前仍需實驗室驗證,尚未確認療效。
作者自述約 1 億 token、成本約 2,000 美元,晶片 100MHz、20mW 且通過 DRC,尚待獨立驗證。
453名科學家連署公開信,要求高風險AI模型先採實體網路隔離,並由國際機構記錄、公開隔離失效事故。
成立未滿半年的元環智能以「元模型」預測訓練表現,目前公開的 Marin 案例預測 Loss 為 2.034,與 Marin 項目的 2.039 相近,但尚未經完整訓練驗證。
研究者主張早期模型多義性成因並非疊加,而是多個多半可修復的一般問題;此觀點適用於參數達數兆的模型。
由聯合創始人 Jared Kaplan 撰寫的三四頁文件,因版權訴訟意外曝光;寫成時公司成立僅半年、融資僅 1.24 億美元。
研究顯示無需直接設計學習電路,僅靠局部規則即可形成學習模組;但作者強調自組織不代表大腦確實採用此機制,且尚未證明可取代大規模模型的反向傳播。
經費將透過公開徵件發放,支持工作坊與計畫,協助研究者評估 AI 輔助成果、學習新工具,並共同訂定 AI 使用標準。
新論文重大錯誤率降至 1.5%,研究者估計其重大發現約 90% 正確;來源為未經證實的 Reddit 貼文。