从 6 条内容中筛选出 2 条重要资讯。
科技新闻
- AI 开发公开信：开源权重与安全分歧 ⭐️ 7.0/10
- OpenAI 称内部模型解决十个数学难题，成本极低 ⭐️ 7.0/10
科技新闻
AI 开发公开信：开源权重与安全分歧 ⭐️ 7.0/10
微软牵头、日期为 7 月 24 日的公开信《开源权重与美国 AI 领导力》（Open Weights and American AI Leadership）已获得包括 NVIDIA、亚马逊、Y Combinator、Linux 基金会以及后来加入的 OpenAI 在内的 235 家 AI 相关公司签署。信中主张不应仅依赖封闭模型，认为开源权重模型能让研究者和开发者检查行为、发现漏洞并完善防护，同时呼吁政策制定者不要将蒸馏等合法模型开发技术误认为盗用。Anthropic 未签署该信，并在三天后发布自己的立场文件，CEO Dario Amodei 强调要打击工业规模的蒸馏行动，同时声明 Anthropic 从未主张禁止开源权重模型。7 月 28 日发布的《Pacing the Frontier》则获得 1324 名前沿 AI 公司员工签名，包括 OpenAI 首席科学家 Jakub Pachocki、Ilya Sutskever 和 Dario Amodei，他们请求美国政府支持国际合作，以审慎地为自动化 AI 开发的进展设定节奏。
rss · Simon Willison · 8月2日 04:16
「背景」 开放权重 AI 模型是指公开模型权重、允许下载和修改的 AI 系统，它们与完全封闭的专有模型形成对比。2026 年，开放权重模型已成为 AI 政策的核心争议：支持者认为它们能促进竞争、降低成本并可被外界审查，而担忧者则强调它们可能被滥用于深度伪造或自动化网络攻击。这场辩论的背景是美国政府可能出于安全考虑限制开放权重模型，以及主要 AI 公司在闭源与开源路线之间的分歧。
「影响」 这封联名信可能促使美国政府在考虑限制开源权重模型时更重视产业界的反对意见，并进一步凸显 AI 行业在开源与安全、蒸馏与知识产权之间的深刻分歧。
参考链接
标签: #AI policy, #open weights, #open source, #AI industry, #Microsoft
OpenAI 称内部模型解决十个数学难题，成本极低 ⭐️ 7.0/10
OpenAI 宣布其下一代模型 Astra 的内部版本在不到 2000 美元（按 GPT-5.6 Sol token 价格计算）的成本下分别解决了十个至少十年未有重大进展的数学问题。OpenAI 公开了 Lean 4 形式化证明仓库 openai/ten-proofs、一篇描述解的论文，以及由模型根据未公开推理轨迹生成的“重构证明过程”PDF。Simon Willison 肯定透明度的同时指出，OpenAI 未说明有多少问题花费了 2000 美元却未解出。这一消息引发数学家群体类似“深蓝”时刻的反应，并与陶哲轩提出的“大数学”愿景相关。
rss · Simon Willison · 8月1日 20:34
「背景」 OpenAI 宣称其下一代模型 Astra 的内部版本解决了十个在主要结果上至少十年没有进展的数学与理论计算机科学问题，每个问题在 GPT-5.6 Sol token 价格下花费不到 2000 美元；同时公开了 Lean 4 形式化证明、论文和模型生成的反推过程 PDF。Lean 4 是一种交互式定理证明器，可让机器检查证明的逻辑正确性；这类形式化验证已成为 AI 数学研究结果的重要可信度依据。
参考链接
标签: #AI, #mathematics, #OpenAI, #theoretical computer science, #research