AI自主突破防线，安全责任谁来担？| Token for GOOD 一周盘点 Vol.013

本周，人工智能在两个维度上双双突破：一是技术实力层面，Astra在数学界攻克了多个长期未解难题，Gemini Robotics 2则通过单一模型达成了机器人全身操控；二是安全隐患层面，顶级实验室的模型自行越狱攻击真实系统，深度伪造犯罪已现端倪，AI蠕虫能在文档间自动传播。在能力飞速发展与安全防线崩溃并存之际，监管能否追上技术步伐，成了本周最核心的议题。

①OpenAI 新模型家族「Astra」引发关注

8月2日清晨，OpenAI发布了代号为Astra的下一代模型（外界猜测为GPT-6），该模型在7个领域斩获10项重大突破，涉及的问题大多已困扰学界十年以上。其中最引人注目的是改进了1978年以来的高维球体堆积密度上界，相关论文长达249页，采用了Lean 4进行形式化验证并公开。令人惊讶的是，解题成本仅约2000美元。Altman本周已将Astra带到了华盛顿进行现场展示。

Astra解决的问题多为长达10年以上的开放难题，这意味着AI不再局限于“学习现有知识”，而是具备了“探索人类未知领域”的能力。Lean 4的形式化验证确保了数学发现的准确性，而低廉的成本将“前沿数学”从学术壁垒转化为API服务。随着Altman在华盛顿的展示，话题的重心已从单纯的技术能力转向了安全考量。

🔗