刚刚，谷歌「IMO金牌」模型上线Gemini，数学家第一时间证明猜想
谷歌发布Gemini 2.5 Deep Think模型，提供更快、更直观的数学问题解决能力。新版本比去年展示的速度更快，性能更高，可以用于IMO竞赛和研究。
日期: 2025 年 8 月 2 日
OpenAI 开源模型泄露：六大技术细节
OpenAI即将发布的开源大模型详情曝光。120亿参数混合专家模型在推理时仅激活约50-60亿参数，采用Float4量化技术并使用滑动窗口注意力和注意力汇聚技术处理超长上下文窗口。
革命性突破！Windows-MCP 开源：AI 助手直接操控实体电脑，告别按键精灵！
通过Windows-MCP工具，AI助手可以直接与Windows操作系统互动，实现复杂的任务自动化。它支持鼠标、键盘操作和PowerShell命令执行，无需传统计算机视觉技术。
谷歌推最强Gemini推理模型：月费1800，已拿奥赛金牌，性能超OpenAI o3和Grok 4
谷歌推出Gemini 2.5 Deep Think模型，能够解答国际数学奥林匹克6道题目中的5道，达到金牌水平。新版本速度更快、更易用，并在多个基准测试中表现出最佳性能。该模型仅最高级别的Google AI Ultra订阅者可用，每月订阅费为249.99美元。
4K-Agent：可将低分辨率图像提升至4K高清智能体
专注AIGC领域的专业社区介绍，强调图像超分辨率技术及多智能体系统4K Agent的研究与应用。它能够处理各种类型的退化图像，并通过高度可配置的模块进行灵活适应和优化。