双语科技快报 | 2026-08-16 | 14:40 速览
## 1. Fields Medalist Timothy Gowers says most famous mathematics problems solved by LLMs so far have almost all been with counterexamples rather than proofs
来源: Timothy Gowers / Gowers's Weblog
时间: 2:00 AM
菲尔兹奖得主蒂莫西·高尔斯指出，迄今为止，大语言模型解决的最著名数学问题几乎都是通过反例而非证明来完成的。
## 2. Hugging Face says developers made 151K+ derivatives based on Qwen models, topping others, making Qwen one of the largest foundations in the open model ecosystem
来源: Hugging Face
时间: 1:50 AM
Hugging Face表示，开发者基于Qwen模型衍生了超过15.1万个衍生模型，数量领先其他模型，使Qwen成为开放模型生态系统中最大的基础模型之一。
## 3. BlackBerry posted a positive cash position in Q1, its first cash-positive first quarter in any fiscal year since 2017, driven by its QNX and Secusmart products
来源: Ilya Gridneff / Financial Times
时间: 1:45 AM
BlackBerry在2023年第一财季实现了正向现金流，这是自2017年以来首次在第一财季呈现现金正增长，主要得益于其QNX和Secusmart产品的强劲表现。
## 4. Pathway, which is developing AI models based on what it calls its “Post-Transformer” BDH architecture, raised a $30M seed at a $500M valuation
来源: Antoine Tardif / Unite.AI
时间: 1:40 AM
Pathway正在开发基于其所谓的“后Transformer”BDH架构的人工智能模型，该公司以5亿美元的估值完成了3000万美元的种子轮融资。