搜尋
找到 4 筆;也可以試試 語意搜尋
Hacker News front pageAI 評分32
OpenAI 於 2026 年 9 月 23 日發布數學預印本 Integer multiplication below n log n,作者署名 OpenAI。該文歸入 OpenAI Math Release preprint 系列,PDF 託管在 GitHub 倉庫 openai/math 的 preprints 目錄下,並隨文給出 BibTeX 引用條目。標題指向整數乘法複雜度低於 n log n 的結果,但原文未附摘要、演算法細節與具體複雜度常數。
Hacker News front pageAI 評分63
一位專攻選擇公理的數學家公開批評 OpenAI 的預印本,該文聲稱證明了分拆原理不蘊含選擇公理這一懸置逾百年的問題。他指論文結構混亂、術語不當,引用至少三份未發表、未經評審、也未上傳 arXiv 的講義,還包含他認為不該被證明的引理 7.4 與 8.1,若投稿期刊應被直接拒稿。他並批評 OpenAI 一次放出數百個表述難懂的「解答」,讓研究者疲於應付,也擔心資助方與政策制定者據此以為數學家可被機器人取代。
Latent Space● 精選AI 評分69
Leash Bio 發布 Minos——一個讓 AI 智慧體進行可驗證科學推理的測試環境,同時公開預印本、部落格與開放資料集。其 DNA 編碼庫(DEL)多年積累的資料可提供數萬條「lab-in-the-loop」模擬,正好用作科學強化學習環境。在該沙盒中,LLM 需用自然語言推理構效關係,在 650 萬分子中、以 100 次預算找出最佳結合物。團隊自研的 Hermes 僅用自家資料訓練,在公開基準上與 Boltz 相當。
Anthropic Research● 精選AI 評分82
Anthropic 宣布成立生命科學研究組並自建實驗室,Claude 在其中自主發現了一套與 DNA 重複序列陣列相關的新型酶系統 ART。研究團隊只給出初始提示,約 950 個 agent 使用 2.1 億 token 檢索 DNA 序列資料庫 21 小時後,其中一個 agent 注意到某逆轉錄酶基因旁規律重複的非編碼序列,以及一個功能未知的附屬蛋白。ART 的功能尚未確定,但這組特徵此前只在可程式設計的切割、複製、貼上 DNA 系統中同時出現過;