感谢你的大致概述！我有兴趣将其扩展成一个更详细的证明。我听说首先考虑超图是线性的情况会很有帮助——即任意两条超边不会共享两个顶点。你能将你的概述扩展成一个更精确的论证，专门针对线性情况吗？

恰逢Google也发布了Gemini 2.0 Flash Thinking。我们于是亲自上手，对 o3-mini、DeepSeek R1 和 Gemini 2.0 Flash Thinking 这三款当前最具代表性的推理模型进行了实测。

2025年2月18日，OpenAI首席执行官萨姆·奥尔特曼在社交媒体上向社区征求意见，以确定公司下一个开源项目的方向。他在讨论中提出了一个核心问题：对于公司的下一个开源项目，哪一种选择更具意义：开发一个仍然需要GPU的相对较小的模型（o3-mini），还是创建一个能够在手机上运行的移动优化模型？这一问题引发了广泛的讨论，项目选择将对未来人工智能技术的发展产生深远的影响。

微软今日宣布加强 Copilot Think Deeper 深度思考功能， 现在由 OpenAI 的 o3-mini-high 模型提供支持 。从本质上讲，微软正在将相当于 ChatGPT Pro 的等效推理模型下放到所有 Copilot 用户。