OpenAI 報告十項由 AI 生成的數學與理論電腦科學進展
OpenAI 表示,其 Astra 模型在長期未解的數學與理論電腦科學問題上產生了十項進展,並以 Lean 形式化供審查。
OpenAI 表示,其 Astra 模型在長期未解的數學與理論電腦科學問題上產生了十項進展,並以 Lean 形式化供審查。
Coinbase 執行長 Brian Armstrong 表示,AI 代理人可能擴大加密貨幣使用,但投資人仍需要關於採用、安全性與經濟價值的證據。
OpenAI 說明了在歐洲強化 AI 治理之際,如何將安全性、透明度、來源與資安計畫與 EU AI Act 對齊。
OpenAI 將提供 100,000 名學術研究人員免費使用 ChatGPT 與 Codex,將前沿 AI 工具擴展到科學領域直至 2027 年。
OpenAI 指出,保留推理與壓縮讓 GPT-5.6 Sol 的 ARC-AGI-3 分數幾乎提升 3 倍,凸顯 harness 設計如何塑造 AI 基準測試。
據報導,三星正洽談以 200 億歐元估值支持 Mistral,這顯示裝置製造商希望對企業 AI 供應擁有更深入的控制。
Microsoft 與 Mistral 擴大合作,鎖定希望在部署、調校與治理上擁有更多控制權的受監管企業,提供前沿 AI。
有報導指出 Anthropic 曾與 Physical Intelligence 談收購,凸顯機器人技術如何成為超越聊天機器人競賽中的戰略前線。
Microsoft 與 Mistral 透過一項歐洲基礎設施的數十億美元協議擴大合作,加深 Azure 在受監管買家中的 AI 佈局。
OpenAI 與 Hugging Face 正在調查一起模型評估資安事件,該事件顯示先進 AI 系統如何串接真實世界的漏洞利用。
美國可能因涉嫌智慧財產竊取而制裁中國開源 AI 模型,將 AI 政策從晶片擴展到模型,並為開發者與買家帶來新風險。
VentureBeat 調查資料顯示,企業 AI 團隊正迅速標準化代理人堆疊,但安全、上下文、評測與成本控管嚴重落後。
一則據報導的育兒與家庭行程 AI 代理人設定,凸顯生成式 AI 正從工作應用程式走向家務運營。
xAI 推出 Grok 4.5,而 AWS 將 Grok 4.3 加入 Amazon Bedrock,擴大 Grok 在企業代理與長上下文 AI 工作流程中的觸及範圍。
Moonshot 推出 Kimi K3,並將其定位為全球最大的開放權重 AI 模型,進一步加大對美國競爭對手與企業模型買家的壓力。
Thinking Machines 推出首個開放權重 AI 模型,顯示 Mira Murati 的新創公司將以開放性競爭,同時企業也在重新評估對模型的控制。
據報 Apple Intelligence 已透過 Alibaba 的 Qwen 與 Baidu 獲准於中國推出,為 Apple 在關鍵市場上線 AI 功能鋪路。
Paradigm 據報已募得 12 億美元 AI 基金,顯示其大幅超越加密領域並加劇早期 AI 案件的競爭。
中國正在收緊情感型 AI 規範,促使 ByteDance、Alibaba 與 Tencent 限縮帶有人類化線索的伴侶型聊天機器人功能。
人工智慧與科技的最新動態