發佈者 Dogpay ·
趨勢一:GPT-6 Astra 觸發 AGI 辯論——OpenAI的內部矛盾浮現
9月4日,OpenAI发布了GPT-6 Astra,迄今最強大的模型。輝達(NVIDIA)執行長黃仁勳在X上發文稱「AGI已經到來」,OpenAI總裁Greg Brockman在電話會議中宣告「歡迎來到AGI時代」。據報導,Astra是在超過10萬枚輝達 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日),Google推出了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評論稱,這代表「朝著自動形式化整個現代數學文獻邁出的重要一步」。