DeepMind 的 AlphaProof Nexus 據報導解決了 9 個 Erdős 開放問題及 44 個數列猜想，其中包括兩個懸而未決超過 50 年的問題。這些解決方案最初於 2026 年 5 月以預印本形式發布在 arXiv 上。最新進展是該論文的經同儕審查版本已發表於《Science》期刊（2026 年 10 月出版）。
目前大小是最小值，向右滑動可放大。
DeepMind 的 AlphaProof Nexus 據報導解決了 9 個 Erdős 開放問題及 44 個數列猜想，其中包括兩個懸而未決超過 50 年的問題。這些解決方案最初於 2026 年 5 月以預印本形式發布在 arXiv 上。最新進展是該論文的經同儕審查版本已發表於《Science》期刊（2026 年 10 月出版）。
原始來源未提供關於 Paul Erdős 生平或 AlphaProof Nexus 技術細節的具體背景文字，僅提及該系統解決了數學研究問題。
社群討論包含對解決問題數量的幽默評論（如稱之為「菜鳥數字」）、對 AI 解決問題後可能引發更多類似成果的期待，以及對同儕審查過程是否由其他 AI 進行的質疑。另有評論諷刺先前對 OpenAI 解決問題的質疑態度，認為現在可能需要為 AlphaProof 尋找新的貶低理由。
截至本次發布，正式發布包未登錄更正。
AI 協助擷取、寫作與核對；最終內容依來源與驗證規則發布。
DeepSeek-AI正式發布並開源了高性能推理框架DeepInfer，該框架專為其大規模生產服務設計。目前主要支援DeepSeek-V4.1-Flash模型，並同時相容NVIDIA SM100 GPU與華為Ascend 950 NPU硬體平台。
Cloudflare、VoidZero與Owner.com合作開發名為tsrs的TypeScript編譯器Rust移植版本，並將其納入Oxc JavaScript編譯器工具鏈。根據早期基準測試，在相同類型檢查工作數下，tsrs比TypeScript 7.0快達8倍，記憶體使用量減少約70%。
Hugging Face 發布 TorchTPU，將 Google TPU 整合為 PyTorch 的原生後端，使用者無需再透過 torch_xla 或 JAX 即可直接在 TPU 上執行模型。此舉讓 Transformers、Diffusers 等主流函式庫能原生支援 TPU，簡化了從雲端下載模型並直接部署的流程。
我們使用 Google Analytics 了解閱讀情況與改善新聞網站。你可以接受或拒絕分析 Cookie，不影響閱讀。了解 Cookie 政策
