海外 AI瓶颈之争：新创公司声称破局，脑机接口临床试验加速 本期《The Download》聚焦两大热点：AI初创公司Subquadratic声称破解了阻碍大语言模型发展的数学瓶颈，引发业界热议；同时，脑机接口（BCI）临床试验在全球范围内密集启动，预示着人机融合迈入新阶段。本文将解读这些突破背后的 AI大模型 计算瓶颈 脑机接口 Subquadratic 2天前 140
海外 AI数学新星破解四大长期未解难题 一家名为Axiom的AI数学初创公司宣布，其AI系统成功解决了四个长期困扰数学家的未解难题。这一突破标志着AI推理能力的稳步提升，从简单证明到复杂问题求解，AI正逐步挑战人类数学巅峰。Axiom的成就不仅验证了大型语言模型在数学领域的潜力， 人工智能 数学难题 Axiom初创 AI推理 2026年2月5日 562
