Tag
3 articles. Back to all tags.
News
On October 6, OpenAI published 722 math manuscripts solved by an unreleased frontier model to GitHub, open-sourced under Apache-2.0, some proofs with Lean formal verification. Its third math release in nine weeks drew a split reaction: applause from some, demands for evidence from others.
News
On October 3, DeepSeek Harness shipped a new version strengthening plugin architecture and cross-platform support, plus an experimental Claude Code Mods compatibility layer. Lead Tianyi Cui: this is a test of the "everything is a plugin" architecture — not a Claude Code clone.
News
On September 30, DeepSeek announced the open-sourcing of six infrastructure components for Huawei's Ascend platform, each mirroring an existing tool for Nvidia hardware. Huawei was deeply involved, and the two companies have also built a 128-chip Ascend 950 supernode — the software moat of Chinese AI is being filled, piece by piece.