双语科技快报 | 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

⋯ 继续阅读请开通会员 ⋯