GPT-6 Astra引发通用人工智能(AGI)辩论，OpenAI的安全警示与人工智能(AI)扩张相碰撞

趋势一：GPT-6 Astra引发AGI辩论——OpenAI内部矛盾浮现​

9月4日，OpenAI发布了其迄今最强大的模型GPT-6 Astra。英伟达首席执行官黄仁勋在X上发文称“AGI已经来临”，OpenAI总裁格雷格·布罗克曼在电话会议中宣布“欢迎来到AGI时代”。据报道，Astra使用超过10万个NVIDIA Grace Blackwell NVLink72图形处理器(GPU)训练而成，支持自主操控Blender、Photoshop、Unity等专业软件，并将幻觉率降低至约2%。黄仁勋透露，下一批40万个GPU即将上线。​

9月6日，CNBC报道了业界日益加剧的“模型疲劳”。仅一周之内：Anthropic更新了Fable和Mythos（9月1日），Meta发布了Muse Spark 1.3（9月2日），谷歌推出了Gemini 3.8 Flash（9月2日），OpenAI发布了GPT-6 Astra（9月4日），阿布扎比的穆罕默德·本·扎耶德人工智能大学(MBZUAI)则开源了K2 Horizon系列。Gartner预测2026年AI支出将达到2.59万亿美元，较2025年增长47%，其中一半以上将投入基础设施。Runpod首席执行官Zhen Lu指出，模型疲劳“无疑已成为一个切实问题”，而Clockwork Systems首席执行官Suresh Vasudevan则观察到，“现在每次发布都强大得令人难以置信，以至于很难判断什么才算真正的飞跃。”​

与此同时，Anthropic的Claude在Lean证明助手中完成了费马大定理的首个端到端形式化证明，自主运行了11天。该系统从命题陈述到内核类型检查生成了完整的Lean代码，在证明分解环节无需人工干预。帝国理工学院数学家Kevin Buzzard评论称，这代表着“朝整个现代数学文献的自动形式化迈出的重要一步。”