OpenAI 模型解决一道困扰数学界 80 年的著名难题
I tried to explain OpenAI’s solution more clearly than OpenAI did.
Ars Technica 解读了 OpenAI 模型给出的证明，并尝试用更通俗的方式解释其思路。
原文来源：Ars Technica（arstechnica.com）。本页摘要与要点整理自公开来源，版权归原作者所有，完整内容请阅读原文。
OpenAI frontier models and Codex are now available on AWSOpenAI 前沿模型与 Codex 正式登陆 AWS
OpenAI · 2026-06-01
Introducing Mellum2: A 12B Mixture-of-Experts Model by JetBrainsJetBrains 发布 Mellum2：12B 参数的开放 MoE 模型
Hugging Face · 2026-06-01
How Cosmos 3 Helps Physical AI Think Before It Acts英伟达发布开放世界基础模型 Cosmos 3，让物理 AI「先想后做」
NVIDIA · 2026-06-01
NVIDIA Levels Up Local AI Agents Across RTX PCs and DGX Spark英伟达升级 RTX PC 与 DGX Spark 上的本地 AI 智能体支持
NVIDIA · 2026-06-01
AI costs how much? GitHub Copilot users react to new usage-based pricing system.GitHub Copilot 改为按用量计费，用户反馈额度消耗过快
Ars Technica · 2026-06-02
NVIDIA Jetson Brings Agentic AI to the Physical World英伟达 JetPack 7.2 发布，Jetson 支持智能体 AI 与 NemoClaw
NVIDIA · 2026-06-02