JUJU RADAR · SOURCE INDEX

Astra 发布，英伟达拟斥资 129 亿美元收购 Hugging Face

本页汇总本期引用的官方公告、论文和代码仓库。点击条目即可前往原始页面。

01OpenAI 发布与评估说明01 / Astra：更擅长在电脑上完成复杂任务https://openai.com/index/gpt-6-astra/↗ 02英伟达原始公告02 / 英伟达收购 Hugging Face，开发者平台也成为竞争重点https://blogs.nvidia.com/blog/nvidia-to-acquire-hugging-face/↗ 03arXiv 论文03 / Terminal-Universe：把操作记录变回训练环境https://arxiv.org/abs/2609.04148↗ 04HF 论文页03 / Terminal-Universe：把操作记录变回训练环境https://huggingface.co/papers/2609.04148↗ 05原始调查与数据入口04 / Agent 把公开 Wiki 当成了留言板https://collusion.wiki/↗ 06官方研究博客05 / Claude 完成费马大定理的形式化https://www.anthropic.com/research/formalizing-fermats-last-theorem↗ 07证明仓库05 / Claude 完成费马大定理的形式化https://github.com/anthropics/fermats-last-theorem↗ 08arXiv 论文06 / 一句提示词，能不能变成本地小函数？https://arxiv.org/abs/2609.04199↗ 09开源代码06 / 一句提示词，能不能变成本地小函数？https://github.com/programasweights/compile-by-training↗